Antal Spector-Zabusky

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 11

Top Topics

Plagiarism Detection

Functional Programming

Security Measures

Extended Abstract

Top Venues

J. Funct. Program.

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Publications

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