Sean McLaughlin

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 2

Top Topics

Access Control Policies

Reachability Analysis

Top Venues

Publications

John Backes, Ulises Berrueco, Tyler Bray, Daniel Brim, Byron Cook, Andrew Gacek, Ranjit Jhala, Kasper Søe Luckow, Sean McLaughlin, Madhav Menon, Daniel Peebles, Ujjwal Pugalia, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, Deepa Viswanathan
Stratified Abstraction of Access Control Policies. CAV (1) (2020)
John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley
Reachability Analysis for AWS-Based Networks. CAV (2) (2019)
Thomas C. Hales, Mark Adams, Gertrud Bauer, Dat Tat Dang, John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean McLaughlin, Thang Tat Nguyen, Truong Quang Nguyen, Tobias Nipkow, Steven Obua, Joseph Pleso, Jason M. Rute, Alexey Solovyev, An Hoai Thi Ta, Trung Nam Tran, Diep Thi Trieu, Josef Urban, Ky Khac Vu, Roland Zumkeller
A formal proof of the Kepler conjecture. CoRR (2015)
Thomas C. Hales, John Harrison, Sean McLaughlin, Tobias Nipkow, Steven Obua, Roland Zumkeller
A Revision of the Proof of the Kepler Conjecture. Discret. Comput. Geom. 44 (1) (2010)
Sean McLaughlin, Frank Pfenning
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method. CADE (2009)
Christoph Lange, Sean McLaughlin, Florian Rabe
Flyspeck in a Semantic Wiki. SemWiki (2008)
Sean McLaughlin, Frank Pfenning
Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic. LPAR (2008)
Sean McLaughlin, Clark W. Barrett, Yeting Ge
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. Electron. Notes Theor. Comput. Sci. 144 (2) (2006)
Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin
Tool Building Requirements for an API to First-Order Solvers. Electron. Notes Theor. Comput. Sci. 144 (2) (2006)
Sean McLaughlin
An Interpretation of Isabelle/HOL in HOL Light. IJCAR (2006)
Sean McLaughlin, John Harrison
A Proof-Producing Decision Procedure for Real Arithmetic. CADE (2005)
Kathy Bohrer, Xuan Liu, Sean McLaughlin, Edith Schonberg, Moninder Singh
Object Oriented XML Query by Example. ER (Workshops) (2003)