A Non-prenex, Non-clausal QBF Solver with Game-State Learning. - William Klieber; Samir Sapra; Sicun Gao; Edmund M. Clarke (SAT, 2010)

Model Checking and the State Explosion Problem. - Edmund M. Clarke; William Klieber; Milos Novácek; Paolo Zuliani (LASER Summer School, 2011)

Solving QBF with Free Variables. - William Klieber; Mikolás Janota; João Marques-Silva 001; Edmund M. Clarke (CP, 2013)

Android taint flow analysis for app sets. - William Klieber; Lori Flynn; Amar Bhosale; Limin Jia 001; Lujo Bauer (SOAP@PLDI, 2014)

The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games. - Mikolas Janota; Charles Jordan; Will Klieber; Florian Lonsing; Martina Seidl; Allen Van Gelder (J. Satisf. Boolean Model. Comput., 2014)

On Conflicts and Strategies in QBF. - Nikolaj S. Bjørner; Mikolás Janota; William Klieber (LPAR (short papers), 2015)

Smartphone Security. - Lori Flynn; William Klieber (IEEE Pervasive Comput., 2015)

Non-CNF QBF Solving with QCIR. - Charles Jordan; Will Klieber; Martina Seidl (AAAI Workshop: Beyond NP, 2016)

An Architecture-Centric Process for MILS Development. - Julien Delange; Min-Young Nam; Peter H. Feiler; Will Klieber (MILS@HiPEAC, 2016)

Automated Code Repair Based on Inferred Specifications. - William Klieber; Will Snavely (SecDev, 2016)

Solving QBF with counterexample guided refinement. - Mikolás Janota; William Klieber; João Marques-Silva 001; Edmund M. Clarke (Artif. Intell., 2016)

Practical Precise Taint-flow Static Analysis for Android App Sets. - William Klieber; Lori Flynn; Will Snavely; Michael Zheng (ARES, 2018)

Detecting Leaks of Sensitive Data Due to Stale Reads. - Will Snavely; William Klieber; Ryan Steele; David Svoboda; Andrew Kotov (SecDev, 2018)

GhostQ. - William Klieber (J. Satisf. Boolean Model. Comput., 2019)

Automated Code Repair to Ensure Spatial Memory Safety. - William Klieber; Ruben Martins; Ryan Steele; Matt Churilla; Mike McCall; David Svoboda (APR@ICSE, 2021)