Fausto Spoto

Identifiers

• name variant Fausto Spoto 0.60 · backfill

Papers (3)

1. Semantics for Locking Specifications cs.PL · 2015 · author #4
2. Non-Termination Analysis of Java Bytecode cs.PL · 2014 · author #3
3. Deriving Escape Analysis by Abstract Interpretation: Proofs of results cs.PL · 2006 · author #2

Mentions

• 1501.05338 #4 · backfill · confidence 0.70 Fausto Spoto
• 1401.5292 #3 · backfill · confidence 0.70 Fausto Spoto

Frequent Coauthors

• Damiano Macedonio 1 shared papers
• \'Etienne Payet 1 shared papers
• Fred Mesnard 1 shared papers
• Massimo Merro 1 shared papers
• Michael Ernst 1 shared papers
• Patricia M. Hill 1 shared papers