Travelled to:1 × Denmark
1 × Spain
2 × USA
Collaborated with:He Zhu 0001 S.Jagannathan M.Tsai P.Lee Y.Tsay B.Cook M.Hicks S.Subramanian K.S.McKinley J.Berdine E.M.Clarke Zikang Xiong A.Chudnov N.Collins J.Dodds B.Huffman C.MacCárthaigh E.Mertens E.Mullen S.Tasiran A.Tomb E.Westbrook
Talks about:arithmet (2) shape (2) strengthen (1) transform (1) framework (1) synthesi (1) reinforc (1) abstract (1) softwar (1) program (1)
Person: Stephen Magill
DBLP: Magill:Stephen
Contributed to:
2012
2010
2008
20072018
20182019Wrote 7 papers:
- OOPSLA-2012-MagillHSM #automation
- Automating object transformations for dynamic software updating (SM, MH, SS, KSM), pp. 265–280.
- POPL-2010-MagillTLT #abstraction #automation #source code
- Automatic numeric abstractions for heap-manipulating programs (SM, MHT, PL, YKT), pp. 211–222.
- CAV-2008-MagillTLT #named #reasoning
- THOR: A Tool for Reasoning about Shape and Arithmetic (SM, MHT, PL, YKT), pp. 428–432.
- SAS-2007-MagillBCC #analysis
- Arithmetic Strengthening for Shape Analysis (SM, JB, EMC, BC), pp. 419–436.
- CAV-2018-ChudnovCCDHMMMM #verification
- Continuous Formal Verification of Amazon s2n (AC, NC, BC, JD, BH, CM, SM, EM, EM, ST, AT, EW), pp. 430–446.
- PLDI-2018-ZhuMJ #data-driven
- A data-driven CHC solver (HZ0, SM, SJ), pp. 707–721.
- PLDI-2019-ZhuXMJ #framework #induction #learning #synthesis
- An inductive synthesis framework for verifiable reinforcement learning (HZ0, ZX, SM, SJ), pp. 686–701.