Search Results - Code Type inference

Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving by Ye, Fangke, Zhao, Jisheng, Shirako, Jun, Sarkar, Vivek

“…Despite the widespread popularity of dynamically typed languages such as Python, it is well known that they pose significant challenges to code optimization due to the lack of concrete type information…”
Get full text

GraphTyper: Neural Types Inference from Code Represented as Graph by Arutyunov, German Arsenovich, Avdoshin, Sergey Mikchailovitch

“…% of code in the company. Copilot is based on Codex, a Transformer model trained on code as a sequence…”
Get full text

CKTyper: Enhancing Type Inference for Java Code Snippets by Leveraging Crowdsourcing Knowledge in Stack Overflow by Li, Anji, Zhang, Neng, Zou, Ying, Chen, Zhixiang, Wang, Jian, Zheng, Zibin

“…, the descriptions of similar code snippets) that could potentially improve the performance. In this paper, we propose a novel type inference approach, named CKTyper, by leveraging…”
Get full text

SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets by Dong, Yiwen, Gu, Tianxiao, Tian, Yongqiang, Sun, Chengnian

“… This paper proposes SnR, a precise, efficient, constraint-based technique to automatically infer the exact types used in code snippets and the libraries containing the inferred types, to compile…”
Get full text

iJTyper: An effective type inference framework for incomplete java codes by integrating constraint- and statistics-based methods by Chen, Zhixiang, Li, Anji, Zhang, Neng, Chen, Jianguo, Huang, Yuan, Zheng, Zibin

“…), e.g., those on Q&A forums, is a prerequisite step required to work with the codes. Existing type inference methods proposed for incomplete Java codes can be primarily categorized as constraint-based or statistics-based…”
Get full text

Source Code Analysis and Type Inference for R by Ulle, Nick

“… This dissertation presents a collection of strategies and software for static analysis of R code. Two of the three parts focus on type inference, a specific kind of static…”
Get full text

Combining type inference techniques for semi-automatic UML generation from Pharo code by Blizničenko, Jan, Pergl, Robert

“… to its extensive industrial legacy and modern adaptations like Pharo. We propose a way to create UML diagrams from Smalltalk code, focusing on using type inference to determine UML associations…”
Get full text

TypeEvalPy: A Micro-Benchmarking Framework for Python Type Inference Tools by Venkatesh, Ashwin Prasad S., Sabu, Samkutty, Wang, Jiawei, Mir, Amir M., Li, Li, Bodden, Eric

“…In light of the growing interest in type inference research for Python, both researchers and practitioners require a standardized process to assess the performance of various type inference techniques…”
Get full text

Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code by Huang, Qing, Yuan, Zhiqiang, Xing, Zhenchang, Xu, Xiwei, Zhu, Liming, Lu, Qinghua

“… In this paper, we formulate type inference as a cloze-style fill-in-blank language task. Built on source code naturalness, our approach fine-tunes a code masked language model (MLM…”
Get full text

Static analysis driven enhancements for comprehension in machine learning notebooks by Venkatesh, Ashwin Prasad Shivarpatna, Sabu, Samkutty, Chekkapalli, Mouli, Wang, Jiawei, Li, Li, Bodden, Eric

“… that automatically augments code cells in these notebooks with descriptive markdown headers, derived…”
Get full text

Two Approaches to Fast Bytecode Frontend for Static Analysis by Li, Chenxi, Lin, Haoran, Tan, Tian, Li, Yue

“…In static analysis frameworks for Java, the bytecode frontend serves as a critical component, transforming complex, stack-based Java bytecode into a more analyzable register-based, typed 3-address code representation…”
Get full text

DeepPep: Deep proteome inference from peptide profiles by Kim, Minseung, Eetemadi, Ameen, Tagkopoulos, Ilias

“…Protein inference, the identification of the protein set that is the origin of a given peptide profile, is a fundamental challenge in proteomics…”
Get full text

A data type inference method based on long short-term memory by improved feature for weakness analysis in binary code by Jeong, Junho, Lim, Joong Yeon, Son, Yunsik

“… However, because the third-party library is generally of the binary code form, the variables, variable data type, program syntax, and semantic information in the source code are removed…”
Get full text

Practical type inference for arbitrary-rank types by JONES, SIMON PEYTON, VYTINIOTIS, DIMITRIOS, WEIRICH, STEPHANIE, SHIELDS, MARK

“… Complete type inference is known to be undecidable for higher-rank (impredicative) type systems, but in practice programmers are more than willing to add type annotations to guide the type inference engine, and to document their code…”
Get full text

Improving refactoring tools in Smalltalk using static type inference by Unterholzner, Martin

“… One important aspect of a programming language concerning the automation of refactoring is the type system…”
Get full text

Polymorphic Type Inference for Machine Code by Noonan, Matthew, Loginov, Alexey, Cok, David

“… The problem of recovering high-level types by performing type inference over stripped machine code is called type reconstruction, and offers a useful capability in support of reverse engineering and decompilation…”
Get full text

Static Inference of Regular Grammars for Ad Hoc Parsers by Schröder, Michael, Cito, Jürgen

“… Inspired by the success of type inference…”
Get full text

Microsoft (MSFT) issued patent titled "Compiler with type inference and target code generation"

Get full text

Pluggable Type Inference for Free by Kellogg, Martin, Daskiewicz, Daniel, Duc Nguyen, Loi Ngo, Ahmed, Muyeed, Ernst, Michael D.

“… Type inference can solve this problem. Traditional approaches to type inference are type-system-specific…”
Get full text

US Patent Issued to GRAMMATECH on March 9 for "Systems and/or methods for type inference from machine code" (New York Inventors)

Get full text