Suchergebnisse - Code Type inference

Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving von 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 …”
Volltext

GraphTyper: Neural Types Inference from Code Represented as Graph von 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 …”
Volltext

CKTyper: Enhancing Type Inference for Java Code Snippets by Leveraging Crowdsourcing Knowledge in Stack Overflow von 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 …”
Volltext

SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets von 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 …”
Volltext

iJTyper: An effective type inference framework for incomplete java codes by integrating constraint- and statistics-based methods von 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 …”
Volltext

Source Code Analysis and Type Inference for R von 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 …”
Volltext

Combining type inference techniques for semi-automatic UML generation from Pharo code von 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 …”
Volltext

TypeEvalPy: A Micro-Benchmarking Framework for Python Type Inference Tools von 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 …”
Volltext

Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code von 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 …”
Volltext

Static analysis driven enhancements for comprehension in machine learning notebooks von 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 …”
Volltext

Two Approaches to Fast Bytecode Frontend for Static Analysis von 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 …”
Volltext

DeepPep: Deep proteome inference from peptide profiles von 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 …”
Volltext

A data type inference method based on long short-term memory by improved feature for weakness analysis in binary code von 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 …”
Volltext

Practical type inference for arbitrary-rank types von 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 …”
Volltext

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

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

Polymorphic Type Inference for Machine Code von 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 …”
Volltext

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

“… Inspired by the success of type inference …”
Volltext

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

Volltext

Pluggable Type Inference for Free von 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 …”
Volltext

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

Volltext