BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Magill:Stephen

Contributed to:

OOPSLA 20122012
POPL 20102010
CAV 20082008
SAS 20072007
CAV (2) 20182018
PLDI 20182018
PLDI 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.