Stephen Magill

23 papers A* 4A 2B 5Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2024 J jnl
Characterizing Dependency Update Practice of NPM, PyPI and Cargo Packages.
CoRR
Imranur Rahman, Nusrat Zahan, Stephen Magill, William Enck, Laurie A. Williams
2020 — ch.
Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy.
Foundations of Probabilistic Programming
José Manuel Calderón Trilla, Michael Hicks, Stephen Magill, Piotr Mardziel, Ian Sweet
2020 — conf
Tutorial: Static Analysis at Scale with Muse.
SecDev
Stephen Magill, Thomas Dubuisson
2019 J jnl
An Inductive Synthesis Framework for Verifiable Reinforcement Learning.
CoRR
He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan
2019 A* conf
An inductive synthesis framework for verifiable reinforcement learning.
PLDI
He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan
2018 A* conf
A data-driven CHC solver.
PLDI
He Zhu, Stephen Magill, Suresh Jagannathan
2018 — conf
Continuous Formal Verification of Amazon s2n.
CAV (2)
Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCárthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook
2018 — conf
Tutorial: Continuous Verification of Critical Software.
SecDev
Mike Dodds, Stephen Magill, Aaron Tomb
2018 — conf
What's the Over/Under? Probabilistic Bounds on Information Leakage.
POST
Ian Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks, Stephen Magill
2018 J jnl
What's the Over/Under? Probabilistic Bounds on Information Leakage.
CoRR
Ian Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks, Stephen Magill
2015 J jnl
Refining Existential Properties in Separation Logic Analyses.
CoRR
Matko Botincan, Mike Dodds, Stephen Magill
2013 J jnl
Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation.
J. Comput. Secur.
Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa
2012 A conf
Automating object transformations for dynamic software updating.
OOPSLA
Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley
2012 — conf
Specifying and Verifying the Correctness of Dynamic Software Updates.
VSTTE
Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster
2011 A conf
Dynamic Enforcement of Knowledge-Based Security Policies.
CSF
Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa
2010 A* conf
Automatic numeric abstractions for heap-manipulating programs.
POPL
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay
2010 — —
Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs.
Stephen Magill
2009 B conf
Finding heap-bounds for hardware synthesis.
FMCAD
Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis
2008 A* conf
THOR: A Tool for Reasoning about Shape and Arithmetic.
CAV
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay
2007 B conf
Arithmetic Strengthening for Shape Analysis.
SAS
Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook
2004 B conf
The Inverse Method for the Logic of Bunched Implications.
LPAR
Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park
2002 B conf
Implementation and Verification of Programmable Security.
DBSec
Stephen Magill, Bradley Skaggs, Mauricio Papa, John Hale
2000 B conf
Simulation and Analysis of Cryptographic Protocols.
DBSec
Mauricio Papa, Oliver Bremer, Stephen Magill, John Hale, Sujeet Shenoi