1 citations · 2 across the 11 of their papers we have counts for
5 papers · 1 filter
Explorable Proofs: Making Written Proofs Explorable by Grounding Them in Formal Representations
Hita Kambhamettu, Will Crichton, Sean Welleck +2
LLM-generated explanations can make technical content more accessible, but there is a ceiling on what they can support interactively. Because LLM outputs are static text, they cann…
Decision-Oriented Programming with Aporia
Saketh Ram Kasibatla, Raven Rothkopf, Hila Peleg +4
AI agents help developers express computational intent abstractly, but at a cost: developers cede decision-making authority to agents, often without realizing that important design…
DIRT: Database-Integrated Random Testing
Alperen Keles, Ethan Chou, Harrison Goldstein +1
Database management systems (DBMSs) are notoriously complex, making them difficult to test effectively, especially during early development when many features are incomplete. Tradi…
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…
Programmable Property-Based Testing
Alperen Keles, Justine Frank, Ceren Mert +2
Property-based testing (PBT) is a popular technique for establishing confidence in software, where users write properties -- i.e., executable specifications -- that can be checked…