research
∙
06/21/2023
Automatic Inference of Resource Leak Specifications
A resource leak occurs when a program fails to free some finite resource...
share
research
∙
09/14/2022
Automated Synthesis of Asynchronizations
Asynchronous programming is widely adopted for building responsive and e...
research
∙
11/18/2021
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript
Static analysis has established itself as a weapon of choice for detecti...
research
∙
08/31/2021
MergeBERT: Program Merge Conflict Resolution via Neural Transformers
Collaborative software development is an integral part of the modern sof...
research
∙
03/02/2021
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis
Forking structure is widespread in the open-source repositories and that...
research
∙
08/10/2018
VeriFi: Model-Driven Runtime Verification Framework for Wireless Protocol Implementations
Validating wireless protocol implementations is challenging. Today's app...
research
∙
07/10/2018
Datalog-based Scalable Semantic Diffing of Concurrent Programs
When an evolving program is modified to address issues related to thread...
research
∙
03/18/2018
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
With the rise of machine learning, there is a great deal of interest in ...
research
∙
02/19/2018