Collaborated with:S.Chang B.Greenman E.Torlak
Talks about:symbol (2) type (2) lenient (1) system (1) execut (1) macro (1)
Person: Alex Knauth
DBLP: Knauth:Alex
Contributed to:
20172018Wrote 2 papers:
- POPL-2017-ChangKG #metaprogramming #type system
- Type systems as macros (SC, AK, BG), pp. 694–705.
- POPL-2018-ChangKT #execution #symbolic computation
- Symbolic types for lenient symbolic execution (SC, AK, ET), p. 29.