Conference papers (through 2016):

• Automated Code Repair Based on Inferred Specifications
  [preprint] [slides: pptx]
  William Klieber, Will Snavely.
  In SecDev 2016.
• Non-CNF QBF Solving with QCIR
  [preprint]
  Charles Jordan, Will Klieber, and Martina Seidl.
  In Beyond NP 2016.
• Android Taint Flow Analysis for App Sets
  [preprint] [abstract] [tool souce code] [slides: pptx | pdf ] [DBLP BibTeX]
  William Klieber, Lori Flynn, Amar Bhosale, Limin Jia, Lujo Bauer.
  In SOAP 2014.
• Solving QBF with Free Variables
  [preprint] [QBF'13 slides] [DBLP BibTeX Record]
  William Klieber, Mikoláš Janota, Joao Marques-Silva, and Edmund M. Clarke.
  In CP 2013.
• Solving QBF with Counterexample Guided Refinement.
  [preprint] [SAT'12 slides] [alternate slides] [DBLP BibTeX Record]
  Mikoláš Janota, William Klieber, Joao Marques-Silva, and Edmund M. Clarke.
  In SAT 2012.
• A Non-Prenex, Non-Clausal QBF Solver with Game-State Learning
  [preprint] [Slides] [DBLP BibTeX Record]
  William Klieber, Samir Sapra, Sicun Gao, and Edmund Clarke.
  In SAT 2010, LNCS 6175.