Alex Knauth

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 3

Top Topics

Symbolic Execution

Test Generation

Specification Language

Top Venues

Proc. ACM Program. Lang.

Publications

Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt
Rhombus: A New Spin on Macros without All the Parentheses. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Stephen Chang, Alex Knauth, Emina Torlak
Symbolic types for lenient symbolic execution. Proc. ACM Program. Lang. 2 (POPL) (2018)
Stephen Chang, Alex Knauth, Ben Greenman
Type systems as macros. POPL (2017)