Výsledky vyhledávání - Code Type inference

Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving Autor 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…”
Získat plný text

GraphTyper: Neural Types Inference from Code Represented as Graph Autor 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…”
Získat plný text

CKTyper: Enhancing Type Inference for Java Code Snippets by Leveraging Crowdsourcing Knowledge in Stack Overflow Autor 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…”
Získat plný text

SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets Autor 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…”
Získat plný text

iJTyper: An effective type inference framework for incomplete java codes by integrating constraint- and statistics-based methods Autor 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…”
Získat plný text

Source Code Analysis and Type Inference for R Autor 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…”
Získat plný text

Combining type inference techniques for semi-automatic UML generation from Pharo code Autor 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…”
Získat plný text

TypeEvalPy: A Micro-Benchmarking Framework for Python Type Inference Tools Autor 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…”
Získat plný text

Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code Autor 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…”
Získat plný text

Static analysis driven enhancements for comprehension in machine learning notebooks Autor 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…”
Získat plný text

Two Approaches to Fast Bytecode Frontend for Static Analysis Autor 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…”
Získat plný text

DeepPep: Deep proteome inference from peptide profiles Autor 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…”
Získat plný text

A data type inference method based on long short-term memory by improved feature for weakness analysis in binary code Autor 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…”
Získat plný text

Practical type inference for arbitrary-rank types Autor 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…”
Získat plný text

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

“… One important aspect of a programming language concerning the automation of refactoring is the type system…”
Získat plný text

Polymorphic Type Inference for Machine Code Autor 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…”
Získat plný text

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

“… Inspired by the success of type inference…”
Získat plný text

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

Získat plný text

Pluggable Type Inference for Free Autor 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…”
Získat plný text

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

Získat plný text