Antal Spector-Zabusky
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2013–2018
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CPP | Total Haskell is reasonable Coq. | Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich |
| 2017 | HASKELL | Ode on a random urn (functional pearl). | Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner |
| 2016 | ICFP | choose your own derivative (extended abstract). | Jennifer Paykin, Antal Spector-Zabusky, Kenneth Foner |
| 2015 | SP | Micro-Policies: Formally Verified, Tag-Based Security Monitors. | Arthur Azevedo de Amorim, Maxime Dns, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach |
| 2013 | ICFP | Testing noninterference, quickly. | Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos |