Benjamin C. Pierce

Identifiers

No identifiers captured yet.

Papers (13)

1. Decision-Oriented Programming with Aporia cs.HC · 2026 · author #4
2. The Search for Constrained Random Generators cs.PL · 2025 · author #6
3. Fail Faster: Staging and Fast Randomness for High-Performance PBT cs.PL · 2025 · author #4
4. Fuzzi: A Three-Level Logic for Differential Privacy cs.PL · 2019 · author #4
5. Synthesizing Symmetric Lenses cs.PL · 2018 · author #4
6. Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract) cs.CR · 2017 · author #7
7. Synthesizing Bijective Lenses cs.PL · 2017 · author #3
8. The Meaning of Memory Safety cs.PL · 2017 · author #3
9. Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation cs.CR · 2016 · author #5
10. Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components cs.PL · 2015 · author #4
11. A Verified Information-Flow Architecture cs.PL · 2015 · author #7
12. Testing Noninterference, Quickly cs.PL · 2014 · author #7
13. Differential Privacy: An Economic Method for Choosing Epsilon cs.DB · 2014 · author #6

Mentions

No mention provenance yet.

Frequent Coauthors

• Arthur Azevedo de Amorim 6 shared papers
• Catalin Hritcu 6 shared papers
• Andrew Tolmach 3 shared papers
• Harrison Goldstein 3 shared papers
• Aaron Roth 2 shared papers
• Anders Miltner 2 shared papers
• Andreas Haeberlen 2 shared papers
• Antal Spector-Zabusky 2 shared papers
• David Walker 2 shared papers
• Hila Peleg 2 shared papers
• Kathleen Fisher 2 shared papers
• Leonidas Lampropoulos 2 shared papers
• Steve Zdancewic 2 shared papers
• Yannis Juglaret 2 shared papers
• Ana Nora Evans 1 shared papers
• Andr\'e DeHon 1 shared papers
• Arjun Narayan 1 shared papers
• Boris Eng 1 shared papers
• Cassia Torczon 1 shared papers
• Cynthia Richey 1 shared papers