Benjamin C. Pierce

机构：California University of Pennsylvania, University of Pennsylvania, Philadelphia University · ORCID：0000-0001-7839-1636

发表论文 370 篇 · 总被引 16121 次 · h-index 63

代表论文

• A view of the sustainable computing landscape (2025 · Patterns · 被引 7)
• Tyche: Making Sense of PBT Effectiveness (2024 · 被引 3)
• Bennet: Randomized Specification Testing for Heap-Manipulating Programs (2025 · Proceedings of the ACM on Programming Languages · 被引 2)
• QED in Context: An Observation Study of Proof Assistant Users (2025 · Proceedings of the ACM on Programming Languages · 被引 2)
• Artifact: Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows (2026 · Zenodo (CERN European Organization for Nuclear Research) · 被引 1)
• Artifact for Fail Faster: Staging and Fast Randomness for High-Performance PBT (2026 · Zenodo (CERN European Organization for Nuclear Research) · 被引 1)