26 citations · 33 across the 3 of their papers we have counts for
5 papers · 1 filter
Deep Static Modeling of invokedynamic
George Fourtounis, Yannis Smaragdakis
Java 7 introduced programmable dynamic linking in the form of the invokedynamic framework. Static analysis of code containing programmable dynamic linking has often been cited as a…
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
Neville Grech, George Fourtounis, Adrian Francalanza +1
Static analyses aspire to explore all possible executions in order to achieve soundness. Yet, in practice, they fail to capture common dynamic behavior. Enhancing static analyses w…
Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?
Yannis Smaragdakis
The dream of programming language design is to bring about orders-of-magnitude productivity improvements in software development tasks. Designers can endlessly debate on how this d…
Symbolic Reasoning for Automatic Signal Placement (Extended Version)
Kostas Ferles, Jacob Van Geffen, Isil Dillig +1
Explicit signaling between threads is a perennial cause of bugs in concurrent programs. While there are several run-time techniques to automatically notify threads upon the availab…
jUCM: Universal Class Morphing (position paper)
Aggelos Biboudis, George Fourtounis, Yannis Smaragdakis
We extend prior work on class-morphing to provide a more expressive pattern-based compile-time reflection language. Our MorphJ language offers a disciplined form of metaprogramming…