research
∙
01/08/2020
Deep Static Modeling of invokedynamic
Java 7 introduced programmable dynamic linking in the form of the invoke...
share
research
∙
05/06/2019
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
Static analyses aspire to explore all possible executions in order to ac...
research
∙
05/01/2019
Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?
The dream of programming language design is to bring about orders-of-mag...
research
∙
04/07/2018
Symbolic Reasoning for Automatic Signal Placement (Extended Version)
Explicit signaling between threads is a perennial cause of bugs in concu...
research
∙
09/05/2017