Collaborated with:D.V.Horn P.C.Nguyen S.Tobin-Hochstadt Steven Lyde M.D.A.0001 M.Might
Talks about:contract (2) program (2) termin (2) higher (2) order (2) pushdown (1) control (1) analysi (1) static (1) enforc (1)
Person: Thomas Gilray
DBLP: Gilray:Thomas
Contributed to:
20162018
2019Wrote 3 papers:
- POPL-2016-GilrayL0MH #analysis #automaton #control flow #for free
- Pushdown control-flow analysis for free (TG, SL, MDA0, MM, DVH), pp. 691–704.
- POPL-2018-NguyenGTH #contract #higher-order #source code #verification
- Soft contract verification for higher-order stateful programs (PCN, TG, STH, DVH), p. 30.
- PLDI-2019-NguyenGTH #contract #higher-order #source code #termination
- Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs (PCN, TG, STH, DVH), pp. 845–859.