26 citations · 27 across the 2 of their papers we have counts for
3 papers
cs.PL2019★ 26 cited
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…
cs.PL2019
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…
cs.PL2015★ 1 cited
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…