Antal Spector-Zabusky

13 papers A* 1A 1B 1C 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2021 J jnl
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.
J. Funct. Program.
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Joshua M. Cohen, Stephanie Weirich
2019 J jnl
Embracing a mechanized formalization gap.
CoRR
Antal Spector-Zabusky, Joachim Breitner, Yao Li, Stephanie Weirich
2018 J jnl
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.
CoRR
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich
2018 J jnl
Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report).
Proc. ACM Program. Lang.
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich
2018 B conf
Total Haskell is reasonable Coq.
CPP
Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich
2017 C conf
Ode on a random urn (functional pearl).
Haskell
Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner
2017 J jnl
Total Haskell is Reasonable Coq.
CoRR
Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich
2016 J jnl
Testing noninterference, quickly.
J. Funct. Program.
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
2016 — conf
choose your own derivative (extended abstract).
TyDe@ICFP
Jennifer Paykin, Antal Spector-Zabusky, Kenneth Foner
2015 A* conf
Micro-Policies: Formally Verified, Tag-Based Security Monitors.
IEEE Symposium on Security and Privacy
Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
2015 J jnl
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components.
CoRR
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
2014 J jnl
Testing Noninterference, Quickly.
CoRR
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
2013 A conf
Testing noninterference, quickly.
ICFP
Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos