Antal Spector-Zabusky

Identifiers

• name variant Antal Spector-Zabusky 0.60 · backfill

Papers (4)

1. Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code cs.PL · 2018 · author #2
2. Total Haskell is Reasonable Coq cs.PL · 2017 · author #1
3. Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components cs.PL · 2015 · author #5
4. Testing Noninterference, Quickly cs.PL · 2014 · author #3

Mentions

• 1510.00697 #5 · backfill · confidence 0.70 Antal Spector-Zabusky
• 1409.0393 #3 · backfill · confidence 0.70 Antal Spector-Zabusky

Frequent Coauthors

• Arthur Azevedo de Amorim 2 shared papers
• Benjamin C. Pierce 2 shared papers
• Catalin Hritcu 2 shared papers
• Christine Rizkallah 2 shared papers
• Joachim Breitner 2 shared papers
• Stephanie Weirich 2 shared papers
• Andrew Tolmach 1 shared papers
• Dimitrios Vytiniotis 1 shared papers
• John Hughes 1 shared papers
• John Wiegley 1 shared papers
• Leonidas Lampropoulos 1 shared papers
• Maxime D\'en\`es 1 shared papers
• Yannis Juglaret 1 shared papers
• Yao Li 1 shared papers