research
∙
02/25/2023
Absynthe: Abstract Interpretation-Guided Synthesis
Synthesis tools have seen significant success in recent times. However, ...
share
research
∙
02/25/2021
RbSyn: Type- and Effect-Guided Program Synthesis
In recent years, researchers have explored component-based synthesis, wh...
research
∙
12/01/2019
An Observational Investigation of Reverse Engineers' Processes
Reverse engineering is a complex process essential to software-security ...
research
∙
06/23/2019
Making the Cut: A Bandit-based Approach to Tiered Interviewing
Given a huge set of applicants, how should a firm allocate sequential re...
research
∙
04/06/2019
Type-Level Computations for Ruby Libraries
Many researchers have explored ways to bring static typing to dynamic la...
research
∙
03/28/2019
iGen: Dynamic Interaction Inference for Configurable Software
To develop, analyze, and evolve today's highly configurable software sys...
research
∙
02/24/2018
Evaluating Design Tradeoffs in Numeric Static Analysis for Java
Numeric static analysis for Java has a broad range of potentially useful...
research
∙
11/25/2017
