research
∙
08/16/2023
Epicure: Distilling Sequence Model Predictions into Patterns
Most machine learning models predict a probability distribution over con...
share
research
∙
07/20/2023
Software Product Line Engineering via Software Transplantation
For companies producing related products, a Software Product Line (SPL) ...
research
∙
04/13/2023
Improving Few-Shot Prompts with Relevant Static Analysis Products
Large Language Models (LLM) are a new class of computation engines, "pro...
research
∙
04/06/2020
Typilus: Neural Type Hints
Type inference over partial contexts in dynamically typed languages is c...
research
∙
04/01/2020
OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints
We present a new approach to the type inference problem for dynamic lang...
research
∙
05/29/2019
Sub-Turing Islands in the Wild
Recently, there has been growing debate as to whether or not static anal...
research
∙
05/24/2019
Perturbed Model Validation: A New Framework to Validate Model Relevance
This paper introduces PMV (Perturbed Model Validation), a new technique ...
research
∙
04/25/2019
SafeStrings: Representing Strings as Structured Data
Strings are ubiquitous in code. Not all strings are created equal, some ...
research
∙
06/26/2018
Indexing Operators to Extend the Reach of Symbolic Execution
Traditional program analysis analyses a program language, that is, all p...
research
∙
06/12/2018
Deep Learning to Detect Redundant Method Comments
Comments in software are critical for maintenance and reuse. But apart f...
research
∙
09/18/2017