Sotabase

Career

· Assistant Professor, University of Maryland, College Park2020–
· Researcher (co-author of papers), University of Pennsylvania2020–

Publications (38)

Measuring Neural Net Robustness with Constraints
Neural Information Processing Systems · 2016
445
cited
Foundational Property-Based Testing
International Conference on Interactive Theorem Proving · 2015
85
cited
Testing noninterference, quickly
Journal of functional programming · 2013
62
cited
Coverage guided, property based testing
Proc. ACM Program. Lang. · 2019
61
cited
Generating good generators for inductive relations
Proc. ACM Program. Lang. · 2017
54
cited
Beginner's luck: a language for property-based generators
ACM-SIGACT Symposium on Principles of Programming Languages · 2016
51
cited
Achieving Safety Incrementally with Checked C
The post · 2019
26
cited
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq
ACM SIGPLAN Symposium/Workshop on Haskell · 2017
23
cited
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services
International Workshop on Automated Specification and Verification of Web Sites · 2012
22
cited
Computing correctly with inductive relations
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2022
16
cited
Do Judge a Test by its Cover
European Symposium on Programming · 2021
15
cited
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
Proc. ACM Program. Lang. · 2023
12
cited
A formal model of Checked C
IEEE Computer Security Foundations Symposium · 2022
11
cited
Random Testing for Language Design
2018
9
cited
Random testing of a higher-order blockchain language (experience report)
Proc. ACM Program. Lang. · 2022
7
cited
Generating Well-Typed Terms That Are Not “Useless”
Proc. ACM Program. Lang. · 2024
6
cited
Keep your laziness in check
Proc. ACM Program. Lang. · 2018
6
cited
Formalizing Stack Safety as a Security Property
IEEE Computer Security Foundations Symposium · 2021
5
cited
Ode on a random urn (functional pearl)
ACM SIGPLAN Symposium/Workshop on Haskell · 2017
4
cited
A Coq Framework For Verified Property-Based Testing ( Extended Abstract )
2014
3
cited
Sotabase