Stephen Magill
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2000–2019
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | PLDI | An inductive synthesis framework for verifiable reinforcement learning. | He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan |
| 2018 | CAV | Continuous Formal Verification of Amazon s2n. | Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCrthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook |
| 2018 | PLDI | A data-driven CHC solver. | He Zhu, Stephen Magill, Suresh Jagannathan |
| 2012 | OOPSLA | Automating object transformations for dynamic software updating. | Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley |
| 2010 | POPL | Automatic numeric abstractions for heap-manipulating programs. | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay |
| 2009 | FMCAD | Finding heap-bounds for hardware synthesis. | Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jir Simsa, Satnam Singh, Viktor Vafeiadis |
| 2008 | CAV | THOR: A Tool for Reasoning about Shape and Arithmetic. | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay |
| 2007 | SAS | Arithmetic Strengthening for Shape Analysis. | Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook |
| 2004 | LPAR | The Inverse Method for the Logic of Bunched Implications. | Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park |
| 2002 | DBSEC | Implementation and Verification of Programmable Security. | Stephen Magill, Bradley Skaggs, Mauricio Papa, John Hale |
| 2000 | DBSEC | Simulation and Analysis of Cryptographic Protocols. | Mauricio Papa, Oliver Bremer, Stephen Magill, John Hale, Sujeet Shenoi |