Benjamin C. Pierce
University of Pennsylvania
H-index: 69
North America-United States
Top articles of Benjamin C. Pierce
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Stream Types | arXiv preprint arXiv:2307.09553 | Joseph W Cutler Christopher Watson Phillip Hilliard Harrison Goldstein Caleb Stanford | 2023/7/18 |
Formalizing Stack Safety as a Security Property | Sean Noble Anderson Roberto Blanco Leonidas Lampropoulos Benjamin C Pierce Andrew Tolmach | 2023/7/10 | |
Towards a Science of Interactive Proof Reading | Jessica Shi Benjamin Pierce Andrew Head | 2023 | |
Tyche: In Situ Analysis of Random Testing Effectiveness | Harrison Goldstein Benjamin C Pierce Andrew Head | 2023/10/29 | |
Reflecting on Random Generation | Proceedings of the ACM on Programming Languages | Harrison Goldstein Samantha Frohlich Meng Wang Benjamin C Pierce | 2023/8/30 |
Etna: An Evaluation Platform for Property-Based Testing (Experience Report) | Proceedings of the ACM on Programming Languages | Jessica Shi Alperen Keles Harrison Goldstein Benjamin C Pierce Leonidas Lampropoulos | 2023/8/30 |
Parsing Randomness: Unifying and Differentiating Parsers and Random Generators | arXiv preprint arXiv:2203.00652 | Harrison Goldstein Benjamin C Pierce | 2022/3/1 |
Some Problems with Properties | Proc. Workshop on the Human Aspects of Types and Reasoning Assistants (HATRA) | Harrison Goldstein Joseph W Cutler Adam Stein Benjamin C Pierce Andrew Head | 2022 |
On being a PhD student of Robert Harper | Journal of Functional Programming | Derek Dreyer Benjamin C Pierce | 2022/1 |
Parsing randomness | Proceedings of the ACM on Programming Languages | Harrison Goldstein Benjamin C Pierce | 2022/10/31 |
C4: verified transactional objects | Proceedings of the ACM on Programming Languages | Mohsen Lesani Li-yao Xia Anders Kaseorg Christian J Bell Adam Chlipala | 2022/4/29 |
Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing | Harrison Goldstein John Hughes Leonidas Lampropoulos Benjamin C Pierce | 2021/3/23 | |
ICFP 2020 Post-Conference Report | arXiv preprint arXiv:2104.01239 | Stephanie Weirich Benjamin Pierce | 2021/3/15 |
Engaging with Climate Change: Possible Steps for SIGPLAN | Preliminary Report of the SIGPLAN Climate Committee Version | Michael Hicks Crista Lopes Benjamin C Pierce | 2021 |
High-Level Concurrent Languages (Dagstuhl Seminar 97041) | Kohei Honda Martin Odersky Benjamin Pierce Gert Smolla Philip Wadler | 2021 | |
Model-based testing of networked applications | Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis | Yishuai Li Benjamin C Pierce Steve Zdancewic | 2021/7/11 |
Verifying an HTTP key-value server with interaction trees and VST | 12th International Conference on Interactive Theorem Proving (ITP 2021) | Hengchu Zhang Wolf Honoré Nicolas Koh Yao Li Yishuai Li | 2021/6/21 |
Confluence in Lens Synthesis | 9th International Workshop on Confluence | Anders Miltner Kathleen Fisher Benjamin C Pierce David Walker Steve Zdancewic | 2020/6/30 |
Conferences in an era of expensive carbon | Communications of the ACM | Benjamin C Pierce Michael Hicks Crista Lopes Jens Palsberg | 2020/2/24 |
Interaction trees | Proceedings of the ACM on Programming Languages | Li-yao Xia Yannick Zakowski Paul He Chung-Kil Hur Gregory Malecha | 2020 |