Alex Knauth

According to our database, Alex Knauth authored at least 3 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Rhombus: A New Spin on Macros without All the Parentheses.

Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay A. McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt

Proc. ACM Program. Lang., October, 2023

2018

Symbolic types for lenient symbolic execution.

Stephen Chang, Alex Knauth, Emina Torlak

Proc. ACM Program. Lang., 2018

2017

Type systems as macros.

Stephen Chang, Alex Knauth, Ben Greenman

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017