William Klieber

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 8

Top Topics

Quantified Boolean Formulae

Top Venues

J. Satisf. Boolean Model. Comput.

Publications

William Klieber, Ruben Martins, Ryan Steele, Matt Churilla, Mike McCall, David Svoboda
Automated Code Repair to Ensure Spatial Memory Safety. APR@ICSE (2021)
William Klieber
GhostQ. J. Satisf. Boolean Model. Comput. 11 (1) (2019)
William Klieber, Lori Flynn, Will Snavely, Michael Zheng
Practical Precise Taint-flow Static Analysis for Android App Sets. ARES (2018)
Will Snavely, William Klieber, Ryan Steele, David Svoboda, Andrew Kotov
Detecting Leaks of Sensitive Data Due to Stale Reads. SecDev (2018)
Mikolás Janota, William Klieber, João Marques-Silva, Edmund M. Clarke
Solving QBF with counterexample guided refinement. Artif. Intell. 234 (2016)
William Klieber, Will Snavely
Automated Code Repair Based on Inferred Specifications. SecDev (2016)
Nikolaj Bjørner, Mikolás Janota, William Klieber
On Conflicts and Strategies in QBF. LPAR (short papers) (2015)
Lori Flynn, William Klieber
Smartphone Security. IEEE Pervasive Comput. 14 (4) (2015)
William Klieber, Lori Flynn, Amar Bhosale, Limin Jia, Lujo Bauer
Android taint flow analysis for app sets. SOAP@PLDI (2014)
William Klieber, Mikolás Janota, João Marques-Silva, Edmund M. Clarke
Solving QBF with Free Variables. CP (2013)
Mikolás Janota, William Klieber, João Marques-Silva, Edmund M. Clarke
Solving QBF with Counterexample Guided Refinement. SAT (2012)
Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani
Model Checking and the State Explosion Problem. LASER Summer School (2011)
William Klieber, Samir Sapra, Sicun Gao, Edmund M. Clarke
A Non-prenex, Non-clausal QBF Solver with Game-State Learning. SAT (2010)