Collaborated with:A.Mycroft M.J.Parkinson D.Vytiniotis K.Vaswani M.Costa P.Deligiannis Aaron Blankstein Jonathan Balkind
Talks about:snowflak (1) project (1) program (1) reason (1) memori (1) manual (1) extend (1) effect (1) order (1) manag (1)
Person: Dylan McDermott
DBLP: McDermott:Dylan
Contributed to:
2019
2017Wrote 2 papers:
- ESOP-2019-McDermottM #call-by #evaluation #order #reasoning #source code
- Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order (DM, AM), pp. 235–262.
- OOPSLA-2017-ParkinsonVVCDMB #dot-net #memory management
- Project snowflake: non-blocking safe manual memory management in .NET (MJP, DV, KV, MC, PD, DM, AB, JB), p. 25.