Benjamin C. Pierce - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Benjamin C. Pierce' as author, editor, or advisor:

Conferences in an era of expensive carbonBenjamin C. Pierce, Michael Hicks 0001, Crista Lopes, Jens Palsberg. CACM, 63(3):35-37, 2020. [doi]
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos. PACMPL, 7(ICFP):878-894, August 2023. [doi]
Tyche: In Situ Analysis of Random Testing EffectivenessHarrison Goldstein, Benjamin C. Pierce, Andrew Head. uist 2023: [doi]
POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update ProblemJ. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt. SIGPLAN, 50(8s):49-62, 2015. [doi]
Interaction trees: representing recursive and impure programs in CoqLi-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic. PACMPL, 4(POPL), 2020. [doi]
On being a PhD student of Robert HarperDerek Dreyer, Benjamin C. Pierce. JFP, 32, 2022. [doi]
Formalizing Stack Safety as a Security PropertySean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach. csfw 2023: 356-371 [doi]
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic CompromiseCarmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach. ccs 2018: 1351-1368 [doi]
From C to interaction trees: specifying, verifying, and testing a networked serverNicolas Koh, Yao Li 0004, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic. CPP 2019: 234-248 [doi]
Orchard: Differentially Private Analytics at ScaleEdo Roth, Hengchu Zhang, Andreas Haeberlen, Benjamin C. Pierce. osdi 2020: 1065-1081 [doi]
Parsing randomnessHarrison Goldstein, Benjamin C. Pierce. PACMPL, 6(OOPSLA2):89-113, 2022. [doi]
Synthesizing symmetric lensesAnders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic. PACMPL, 3(ICFP), 2019. [doi]
Social Presence in Virtual Event SpacesMatthew J. Bietz, Nitesh Goyal, Nicole Immorlica, Blair MacIntyre, Andrés Monroy-Hernández, Benjamin C. Pierce, Sean Rintel, Donghee Yvette Wohn. CHI 2022: [doi]
Testing differential privacy with dual interpretersHengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth 0001. PACMPL, 4(OOPSLA), 2020. [doi]
Fuzzi: a three-level logic for differential privacyHengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth 0001. PACMPL, 3(ICFP), 2019. [doi]
3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998Uwe Nestmann, Benjamin C. Pierce, editors, Volume 16 of Electronic Notes in Theoretical Computer Science, Elsevier, 1998. [doi]
Do Judge a Test by its Cover - Combining Combinatorial and Property-Based TestingHarrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce. ESOP 2021: 264-291 [doi]
Synthesizing quotient lensesSolomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic. PACMPL, 2(ICFP), 2018. [doi]
Verifying an HTTP Key-Value Server with Interaction Trees and VSTHengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li 0004, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic. itp 2021: [doi]
Coverage guided, property based testingLeonidas Lampropoulos, Michael Hicks 0001, Benjamin C. Pierce. PACMPL, 3(OOPSLA), 2019. [doi]
Reflecting on Random GenerationHarrison Goldstein, Samantha Frohlich, Meng Wang 0002, Benjamin C. Pierce. PACMPL, 7(ICFP):322-355, August 2023. [doi]
C4: verified transactional objectsMohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic. PACMPL, 6(OOPSLA):1-31, 2022. [doi]
Model-based testing of networked applicationsYishuai Li, Benjamin C. Pierce, Steve Zdancewic. ISSTA 2021: 529-539 [doi]

runs on WebDSL