Will Klieber

According to our database, Will Klieber authored at least 15 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Automated Code Repair to Ensure Spatial Memory Safety.

William Klieber, Ruben Martins, Ryan Steele, Matt Churilla, Mike McCall, David Svoboda

Proceedings of the 2nd IEEE/ACM International Workshop on Automated Program Repair, 2021

2019

GhostQ.

William Klieber

J. Satisf. Boolean Model. Comput., 2019

2018

Detecting Leaks of Sensitive Data Due to Stale Reads.

Will Snavely, William Klieber, Ryan Steele, David Svoboda, Andrew Kotov

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

Practical Precise Taint-flow Static Analysis for Android App Sets.

William Klieber, Lori Flynn, Will Snavely, Michael Zheng

Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018

2016

Solving QBF with counterexample guided refinement.

Mikolás Janota, William Klieber, João Marques-Silva, Edmund M. Clarke

Artif. Intell., 2016

Automated Code Repair Based on Inferred Specifications.

William Klieber, Will Snavely

Proceedings of the IEEE Cybersecurity Development, 2016

An Architecture-Centric Process for MILS Development.

Julien Delange, Min-Young Nam, Peter H. Feiler, Will Klieber

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2016

Non-CNF QBF Solving with QCIR.

Charles Jordan, Will Klieber, Martina Seidl

Proceedings of the Beyond NP, 2016

2015

Smartphone Security.

Lori Flynn, William Klieber

IEEE Pervasive Comput., 2015

On Conflicts and Strategies in QBF.

Nikolaj S. Bjørner, Mikolás Janota, William Klieber

Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015

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

Android taint flow analysis for app sets.

William Klieber, Lori Flynn, Amar Bhosale, Limin Jia, Lujo Bauer

Proceedings of the 3rd ACM SIGPLAN International Workshop on the State Of the Art in Java Program analysis, 2014

2013

Solving QBF with Free Variables.

William Klieber, Mikolás Janota, João Marques-Silva, Edmund M. Clarke

Proceedings of the Principles and Practice of Constraint Programming, 2013

2011

Model Checking and the State Explosion Problem.

Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani

Proceedings of the Tools for Practical Software Verification, 2011

2010

A Non-prenex, Non-clausal QBF Solver with Game-State Learning.

William Klieber, Samir Sapra, Sicun Gao, Edmund M. Clarke

Proceedings of the Theory and Applications of Satisfiability Testing, 2010