Search Results - "Code Type inference"

Type Inference on Executables.

Authors: CABALLERO, JUAN ZHIQIANG LIN

Source: ACM Computing Surveys; May2016, Vol. 48 Issue 4, p65:1-65:35, 35p, 3 Diagrams, 5 Charts

Subject Terms: INFERENCE engines (Computer science), SOURCE code, DEBUGGING, BINARY codes, COMPUTER software execution, DATA types (Computer science), DATA structures

FQN Inference in Partial Code by Prompt-tuned Language Model of Code.

Authors: Huang, Qing Yuan, Zhiqiang Xing, Zhenchang et al.

Source: ACM Transactions on Software Engineering & Methodology; Feb2024, Vol. 33 Issue 2, p1-32, 32p

Subject Terms: LANGUAGE models, INFERENCE (Logic), PROGRAMMING languages, WEB development, SOURCE code, BLOCK ciphers

• Easier to

Authors: Cormac Flanagan The Pennsylvania State University CiteSeerX Archives

Contributors: Cormac Flanagan The Pennsylvania State University CiteSeerX Archives

Source: http://www.soe.ucsc.edu/classes/cmps203/Fall04/lecture02.pdf.

Subject Terms: Code Type inference

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.1149; http://www.soe.ucsc.edu/classes/cmps203/Fall04/lecture02.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.1149
http://www.soe.ucsc.edu/classes/cmps203/Fall04/lecture02.pdf

Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code

Authors: Huang, Qing Yuan, Zhiqiang Xing, Zhenchang et al.

Index Terms: Computer Science - Software Engineering, text

URL: http://arxiv.org/abs/2208.05361

Exception Handlers as Extensible Cases.

Authors: Blume, Matthias Acar, Umut A. Chae, Wonseok

Source: Programming Languages & Systems (9783540893295); 2008, p273-289, 17p

Ask Me Any Type: Type Inference Plugin for Partial Code on the Web and in the Integrated Development Environment.

Authors: CHENG Yu HUANG Guanming WU Yishun et al.

Source: Wuhan University Journal of Natural Sciences; Aug2024, Vol. 29 Issue 4, p349-356, 8p

FQN Inference in Partial Code by Prompt-tuned Language Model of Code

Authors: Qing Huang Zhiqiang Yuan Zhenchang Xing et al.

Source: ACM Transactions on Software Engineering and Methodology. 33:1-32

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Polymorphic Type Inference for Machine Code

Authors: Noonan, Matthew Loginov, Alexey Cok, David

Index Terms: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, F.3.2, D.2.7, D.3.3, F.4.3, text

URL: http://arxiv.org/abs/1603.05495

Potential of the Julia Programming Language for High Energy Physics Computing.

Authors: Eschle, Jonas Gál, Tamás Giordano, Mosè et al.

Source: Computing & Software for Big Science; 10/5/2023, Vol. 7 Issue 1, p1-24, 24p

Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code

Authors: Qing Huang Zhiqiang Yuan Zhenchang Xing et al.

Source: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering. :1-13

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://arxiv.org/abs/2208.05361

A Survey of Binary Code Similarity.

Authors: HAQ, IRFAN UL CABALLERO, JUAN

Source: ACM Computing Surveys; Apr2022, Vol. 54 Issue 3, p1-38, 38p

Subject Terms: BINARY codes, MALWARE

Relational abstract interpretation of arrays in assembly code.

Authors: Ballabriga, Clément Forget, Julien Ruiz, Jordy

Source: Formal Methods in System Design; 2022, Vol. 59 Issue 1-3, p103-135, 33p

Subject Terms: BINARY codes, SOURCE code, COMPILERS (Computer programs), INFORMATION resources

Exploring the architectural impact of possible dependencies in Python software

Authors: Gang Zhang Qinghua Zheng Yuanfang Cai et al.

Source: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering. :758-770

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://dblp.uni-trier.de/db/conf/kbse/ase2020.html#JinCKZZL20
http://dblp.uni-trier.de/db/conf/kbse/ase2020.html#JinCKZZL20
https://ieeexplore.ieee.org/document/9286085
https://dl.acm.org/doi/pdf/10.1145/3324884.3416619

PyLog: An Algorithm-Centric Python-Based FPGA Programming and Synthesis Flow.

Authors: Huang, Sitao Wu, Kun Jeong, Hyunmin et al.

Source: IEEE Transactions on Computers; Dec2021, Vol. 70 Issue 12, p2015-2028, 14p

Subject Terms: PYTHON programming language, FIELD programmable gate arrays, ALGORITHMS

Learning Types for Binaries

Authors: Xu, Zhiwu Wen, Cheng Qin, Shengchao

Source: Xu, Z, Wen, C & Qin, S 2017, 'Learning Types for Binaries', Lecture Notes in Computer Science, pp. -. https://doi.org/10.1007/978-3-319-68690-5_26

File Description: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/pissn/0302-9743; info:eu-repo/semantics/altIdentifier/eissn/1611-3349

Availability: https://research.tees.ac.uk/en/publications/c980e969-e754-4e31-aa49-cbba165cab1f
https://doi.org/10.1007/978-3-319-68690-5_26
https://research.tees.ac.uk/ws/files/5962684/621527.pdf
https://www.scopus.com/pages/publications/85032471121
https://hdl.handle.net/10149/621527

Analyzing and Securing Software via Robust and Generalizable Learning

Authors: Pei, Kexin

Subject Terms: Computer science, Computer software, Security measures, Computer security, Computer programs, Deep learning (Machine learning), Neural networks (Computer science)

Polymorphic type inference for machine code

Authors: Matt Noonan David Cok Alexey Loginov

Source: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. :27-41

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, F.3.2, D.2.7, D.3.3, F.4.3, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Access URL: http://dl.acm.org/ft_gateway.cfm?id=2908119&type=pdf
http://arxiv.org/abs/1603.05495
https://dl.acm.org/doi/10.1145/2908080.2908119
https://core.ac.uk/display/42692174
https://dblp.uni-trier.de/db/journals/corr/corr1603.html#NoonanLC16
https://arxiv.org/abs/1603.05495
https://arxiv.org/pdf/1603.05495v2
https://dl.acm.org/doi/pdf/10.1145/2908080.2908119

Polymorphic type inference for machine code

Authors: Noonan, Matt Loginov, Alexey Cok, David et al.

Contributors: Noonan, Matt Loginov, Alexey Cok, David et al.

Source: ACM SIGPLAN Notices ; volume 51, issue 6, page 27-41 ; ISSN 0362-1340 1558-1160

Availability: https://doi.org/10.1145/2980983.2908119
https://dl.acm.org/doi/10.1145/2980983.2908119
https://dl.acm.org/doi/pdf/10.1145/2980983.2908119

Exception handlers as extensible cases

Authors: Matthias Blume Umut A. Acar Wonseok Chae et al.

Contributors: Matthias Blume Umut A. Acar Wonseok Chae et al.

Source: http://people.cs.uchicago.edu/~blume/papers/aplas08-exceptions-submitted.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.4291

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.4291
http://people.cs.uchicago.edu/~blume/papers/aplas08-exceptions-submitted.pdf

TS: an optimizing compiler for smalltalk.

Authors: Johnson, Ralph E. Graver, Justin O. Zurawski, Laurance W.

Source: Conference Proceedings: Object-oriented Programming Systems, Languages & Applications; 1/1/1988, p18-26, 9p