research
∙
07/04/2023
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty
Principled accountability for autonomous decision-making in uncertain en...
share
research
∙
05/09/2023
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions
Principled accountability in the aftermath of harms is essential to the ...
research
∙
04/04/2023
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code
Although cryptographic algorithms may be mathematically secure, it is of...
research
∙
09/29/2022
Repairing Bugs in Python Assignments Using Large Language Models
Students often make mistakes on their introductory programming assignmen...
research
∙
06/03/2022
Automated Feedback Generation for Competition-Level Code
Competitive programming has become a popular way for programmers to test...
research
∙
02/06/2022
IVeri: Privacy-Preserving Interdomain Verification
In an interdomain network, autonomous systems (ASes) often establish pee...
research
∙
01/27/2022
ETAP: Energy-aware Timing Analysis of Intermittent Programs
Energy harvesting battery-free embedded devices rely only on ambient ene...
research
∙
11/23/2021
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts?
Program merging is standard practice when developers integrate their ind...
research
∙
10/13/2020
Succinct Explanations With Cascading Decision Trees
Classic decision tree learning is a binary classification algorithm that...
research
∙
02/07/2020
Grammar Filtering For Syntax-Guided Synthesis
Programming-by-example (PBE) is a synthesis paradigm that allows users t...
research
∙
03/20/2019
Identifying Maximal Non-Redundant Integer Cone Generators
A non-redundant integer cone generator (NICG) of dimension d is a set S ...
research
∙
05/11/2018
Statically Verifying Continuous Integration Configurations
Continuous Integration (CI) testing is a popular software development te...
research
∙
03/28/2018
Vehicle Platooning Simulations with Functional Reactive Programming
Functional languages have provided major benefits to the verification co...
research
∙
12/01/2017