Search Results - code type (inference OR reference)

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

Type4Py: Practical Deep Similarity Learning-Based Type Inference for Python by Mir, Amir M., Latoskinas, Evaldas, Proksch, Sebastian, Gousios, Georgios

“… To alleviate these issues, PEP 484 introduced optional type annotations for Python. As retrofitting types to existing code-bases is error-prone and laborious, machine learning (ML…”
Get full text

Generative Type Inference for Python by Peng, Yun, Wang, Chaozheng, Wang, Wenxuan, Gao, Cuiyun, Lyu, Michael R.

“… However, its dynamic type system can lead to potential type errors, leading researchers to explore automatic type inference approaches for Python programs…”
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

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

A brief introduction to mixed effects modelling and multi-model inference in ecology by Harrison, Xavier A., Donaldson, Lynda, Correa-Cano, Maria Eugenia, Evans, Julian, Fisher, David N., Goodwin, Cecily E.D., Robinson, Beth S., Hodgson, David J., Inger, Richard

“… Whilst LMMs offer a flexible approach to modelling a broad range of data types, ecological data are often complex and require complex model structures, and the fitting and interpretation…”
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

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

Bayesian inference with probabilistic population codes by Ma, Wei Ji, Beck, Jeffrey M, Latham, Peter E, Pouget, Alexandre

“… We argue that, in fact, this variability implies that populations of neurons automatically represent probability distributions over the stimulus, a type of code we call probabilistic population codes…”
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

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

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

Probabilistic inference of the genetic architecture underlying functional enrichment of complex traits by Patxot, Marion, Banos, Daniel Trejo, Kousathanas, Athanasios, Orliac, Etienne J., Ojavee, Sven E., Moser, Gerhard, Holloway, Alexander, Sidorenko, Julia, Kutalik, Zoltan, Mägi, Reedik, Visscher, Peter M., Rönnegård, Lars, Robinson, Matthew R.

“…% of the genetic variation captured for height, body mass index, cardiovascular disease, and type 2 diabetes is attributable to proximal regulatory regions within 10kb upstream of genes, while 12-25…”
Get full text

RepFTI: Representation-Fused Function-Type Inference for Vehicular Secure Software Systems by Yi, Xiaoyu, Li, Gaolei, Li, Jianhua, Ding, Ao

“… However, existing function-type inference (FTI) methods can only provide a suboptimal performance because of splitting binary files into multiple sub-blocks as inputs…”
Get full text

TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference by Wang, Chong, Zhang, Jian, Lou, Yiling, Liu, Mingwei, Sun, Weisong, Liu, Yang, Peng, Xin

“…Python's dynamic typing system offers flexibility and expressiveness but can lead to type-related errors, prompting the need for automated type inference to enhance type hinting…”
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

Statistical learning of API fully qualified names in code snippets of online forums by Phan, Hung, Nguyen, Hoan Anh, Tran, Ngoc M., Truong, Linh H., Nguyen, Anh Tuan, Nguyen, Tien N.

“… However, the code snippets in such a forum often contain undeclared, ambiguous, or largely unqualified external references…”
Get full text

Automatic Integer Error Repair by Proper-Type Inference by Cheng, Xi, Zhou, Min, Song, Xiaoyu, Gu, Ming, Sun, Jiaguang

“…C language plays a key role in system programming and applications. Integer error is a common yet important C program defect because arithmetic operations may produce unrepresentable values in certain integer types…”
Get full text

The Problem with "Magnitude-based Inference" by Sainani, Kristin L

“… I have performed a reanalysis to evaluate this claim. Using simulation code provided by MBI's proponents, I estimated type I and type II error rates for clinical and nonclinical MBI for a range of effect sizes, sample sizes, and smallest important effects…”
Get more information

Allesfitter: Flexible Star and Exoplanet Inference from Photometry and Radial Velocity by Günther, Maximilian N., Daylan, Tansu

“…We present allesfitter , a public and open-source Python software for flexible and robust inference of stars and exoplanets given photometric and radial velocity data…”
Get full text