Stephen Magill

According to our database, Stephen Magill authored at least 20 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Characterizing Dependency Update Practice of NPM, PyPI and Cargo Packages.

Imranur Rahman, Nusrat Zahan, Stephen Magill, William Enck, Laurie Williams

CoRR, 2024

2020

Tutorial: Static Analysis at Scale with Muse.

Stephen Magill, Thomas DuBuisson

Proceedings of the IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, 2020

2019

An inductive synthesis framework for verifiable reinforcement learning.

He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Tutorial: Continuous Verification of Critical Software.

Mike Dodds, Stephen Magill, Aaron Tomb

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

What's the Over/Under? Probabilistic Bounds on Information Leakage.

Ian Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks, Stephen Magill

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

A data-driven CHC solver.

He Zhu, Stephen Magill, Suresh Jagannathan

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Continuous Formal Verification of Amazon s2n.

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

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2015

Refining Existential Properties in Separation Logic Analyses.

Matko Botincan, Mike Dodds, Stephen Magill

CoRR, 2015

2013

Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation.

Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa

J. Comput. Secur., 2013

2012

Specifying and Verifying the Correctness of Dynamic Software Updates.

Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Automating object transformations for dynamic software updating.

Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011

Dynamic Enforcement of Knowledge-Based Security Policies.

Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

2010

Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs.

Stephen Magill

PhD thesis, 2010

Automatic numeric abstractions for heap-manipulating programs.

Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

Finding heap-bounds for hardware synthesis.

Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

THOR: A Tool for Reasoning about Shape and Arithmetic.

Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Arithmetic Strengthening for Shape Analysis.

Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook

Proceedings of the Static Analysis, 14th International Symposium, 2007

2004

The Inverse Method for the Logic of Bunched Implications.

Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park

Proceedings of the Logic for Programming, 2004

2002

Implementation and Verification of Programmable Security.

Stephen Magill, Bradley Skaggs, Mauricio Papa, John Hale

Proceedings of the Research Directions in Data and Applications Security, 2002

2000

Simulation and Analysis of Cryptographic Protocols.

Mauricio Papa, Oliver Bremer, Stephen Magill, John Hale, Sujeet Shenoi

Proceedings of the Data and Application Security, 2000