279 citations · 532 across the 16 of their papers we have counts for
21 papers
Etna: An evaluation platform for property-based testing
Alperen Keles, Jessica Shi, Nikhil Kamath +5
Property-based testing is a mainstay of functional programming, boasting a rich literature, an enthusiastic user community, and an abundance of tools~ -- so many, indeed, that new…
Stream Types
Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh +4
We propose a rich foundational theory of typed data streams and stream transformers, motivated by two high-level goals: (1) The type of a stream should be able to express complex s…
Parsing Randomness: Unifying and Differentiating Parsers and Random Generators
Harrison Goldstein, Benjamin C. Pierce
"A generator is a parser of randomness." This perspective on generators for random data structures is well established as folklore in the programming languages community, but it ha…
Formalizing Stack Safety as a Security Property
Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos +2
The term stack safety is used to describe a variety of compiler, run-time, and hardware mechanisms for protecting stack memory. Unlike "the heap," the ISA-level stack does not corr…
Model-Based Testing of Networked Applications
Yishuai Li, Benjamin C. Pierce, Steve Zdancewic
We present a principled automatic testing framework for application-layer protocols. The key innovation is a domain-specific embedded language for writing nondeterministic models o…
Testing Differential Privacy with Dual Interpreters
Hengchu Zhang, Edo Roth, Andreas Haeberlen +2
Applying differential privacy at scale requires convenient ways to check that programs computing with sensitive data appropriately preserve privacy. We propose here a fully automat…