Sean McLaughlin

13 papers A* 1A 3B 1Journal 2Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Formally Verified Cloud-Scale Authorization. ICSE Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2020	—	`conf`	Stratified Abstraction of Access Control Policies. CAV (1) 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
2019	—	`conf`	Reachability Analysis for AWS-Based Networks. CAV (2) 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
2015	J	`jnl`	A formal proof of the Kepler conjecture. CoRR 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
2010	J	`jnl`	A Revision of the Proof of the Kepler Conjecture. Discret. Comput. Geom. Thomas C. Hales, John Harrison, Sean McLaughlin, Tobias Nipkow, Steven Obua, Roland Zumkeller
2009	A	`conf`	Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method. CADE Sean McLaughlin, Frank Pfenning
2008	—	`conf`	Flyspeck in a Semantic Wiki. SemWiki Christoph Lange, Sean McLaughlin, Florian Rabe
2008	B	`conf`	Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic. LPAR Sean McLaughlin, Frank Pfenning
2006	A	`conf`	An Interpretation of Isabelle/HOL in HOL Light. IJCAR Sean McLaughlin
2005	A	`conf`	A Proof-Producing Decision Procedure for Real Arithmetic. CADE Sean McLaughlin, John Harrison
2005	—	`conf`	Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. PDPAR@CAV Sean McLaughlin, Clark W. Barrett, Yeting Ge
2005	—	`conf`	Tool Building Requirements for an API to First-Order Solvers. PDPAR@CAV Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin
2003	—	`conf`	Object Oriented XML Query by Example. ER (Workshops) Kathy Bohrer, Xuan Liu, Sean McLaughlin, Edith Schonberg, Moninder Singh