2 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.PL2015
Semantics for Locking Specifications
Michael Ernst, Damiano Macedonio, Massimo Merro +1
To prevent concurrency errors, programmers need to obey a locking discipline. Annotations that specify that discipline, such as Java's @GuardedBy, are already widely used. Unfortun…
cs.PL2014★ 2 cited
Non-Termination Analysis of Java Bytecode
Étienne Payet, Fred Mesnard, Fausto Spoto
We introduce a fully automated static analysis that takes a sequential Java bytecode program P as input and attempts to prove that there exists an infinite execution of P. The tech…
cs.PL2006★ 2 cited
Deriving Escape Analysis by Abstract Interpretation: Proofs of results
Patricia M. Hill, Fausto Spoto
Escape analysis of object-oriented languages approximates the set of objects which do not escape from a given context. If we take a method as context, the non-escaping objects can…