William Klieber

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