John Sarracino

Identifiers

• name variant John Sarracino 0.60 · backfill

Papers (4)

1. Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs cs.PL · 2025 · author #2
2. Leapfrog: Certified Equivalence for Protocol Parsers cs.PL · 2022 · author #3
3. Targeted Synthesis for Programming with Data Invariants cs.PL · 2019 · author #1
4. JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript cs.PL · 2014 · author #6

Mentions

• 2509.09019 #2 · arxiv_oai · confidence 0.70 John Sarracino
• 2205.08762 #3 · arxiv_oai · confidence 0.70 John Sarracino
• 1904.13049 #1 · arxiv_oai · confidence 0.70 John Sarracino
• 1403.3996 #6 · arxiv_oai · confidence 0.70 John Sarracino
• 1403.3996 #6 · backfill · confidence 0.70 John Sarracino

Frequent Coauthors

• Ben Hardekopf 1 shared papers
• Ben Wiedermann 1 shared papers
• Ethan A. Kuefner 1 shared papers
• Greg Morrisett 1 shared papers
• Hila Peleg 1 shared papers
• John Wagner 1 shared papers
• Kevin Gibbons 1 shared papers
• Kyle Dewey 1 shared papers
• Mohit Tekriwal 1 shared papers
• Nadia Polikarpova 1 shared papers
• Nate Foster 1 shared papers
• Ryan Doenges 1 shared papers
• Shraddha Barke 1 shared papers
• Sorin Lerner 1 shared papers
• Tobias Kapp\'e 1 shared papers
• Vineeth Kashyap 1 shared papers