Sean McLaughlin

According to our database, Sean McLaughlin authored at least 12 papers between 2003 and 2020.

Collaborative distances:

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

2020

Stratified Abstraction of Access Control Policies.

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

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Reachability Analysis for AWS-Based Networks.

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

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2015

A formal proof of the Kepler conjecture.

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

CoRR, 2015

2010

A Revision of the Proof of the Kepler Conjecture.

Thomas C. Hales, John Harrison, Sean McLaughlin, Tobias Nipkow, Steven Obua, Roland Zumkeller

Discret. Comput. Geom., 2010

2009

Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method.

Sean McLaughlin, Frank Pfenning

Proceedings of the Automated Deduction, 2009

2008

Flyspeck in a Semantic Wiki.

Christoph Lange, Sean McLaughlin, Florian Rabe

Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), 2008

Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic.

Sean McLaughlin, Frank Pfenning

Proceedings of the Logic for Programming, 2008

2006

An Interpretation of Isabelle/HOL in HOL Light.

Sean McLaughlin

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite.

Sean McLaughlin, Clark W. Barrett, Yeting Ge

Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005

Tool Building Requirements for an API to First-Order Solvers.

Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin

Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005

A Proof-Producing Decision Procedure for Real Arithmetic.

Sean McLaughlin, John Harrison

Proceedings of the Automated Deduction, 2005

2003

Object Oriented XML Query by Example.

Kathy Bohrer, Xuan Liu, Sean McLaughlin, Edith Schonberg, Moninder Singh

Proceedings of the Conceptual Modeling for Novel Application Domains, 2003