Antal Spector-Zabusky

According to our database, Antal Spector-Zabusky authored at least 11 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.

Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Joshua M. Cohen, Stephanie Weirich

J. Funct. Program., 2021

2019

Embracing a mechanized formalization gap.

Antal Spector-Zabusky, Joachim Breitner, Yao Li, Stephanie Weirich

CoRR, 2019

2018

Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report).

Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich

Proc. ACM Program. Lang., 2018

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.

Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich

CoRR, 2018

Total Haskell is reasonable Coq.

Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Ode on a random urn (functional pearl).

Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016

Testing noninterference, quickly.

Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis

J. Funct. Program., 2016

choose your own derivative (extended abstract).

Jennifer Paykin, Antal Spector-Zabusky, Kenneth Foner

Proceedings of the 1st International Workshop on Type-Driven Development, 2016

2015

Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components.

Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach

CoRR, 2015

Micro-Policies: Formally Verified, Tag-Based Security Monitors.

Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

2013

Testing noninterference, quickly.

Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013