According to our database1, Will Klieber authored at least 13 papers between 2010 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Detecting Leaks of Sensitive Data Due to Stale Reads.
Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018
Practical Precise Taint-flow Static Analysis for Android App Sets.
Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018
Automated Code Repair Based on Inferred Specifications.
Proceedings of the IEEE Cybersecurity Development, 2016
An Architecture-Centric Process for MILS Development.
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2016
Non-CNF QBF Solving with QCIR.
Proceedings of the Beyond NP, 2016
IEEE Pervasive Computing, 2015
On Conflicts and Strategies in QBF.
Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015
The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games.
Android taint flow analysis for app sets.
Proceedings of the 3rd ACM SIGPLAN International Workshop on the State Of the Art in Java Program analysis, 2014
Solving QBF with Free Variables.
Proceedings of the Principles and Practice of Constraint Programming, 2013
Solving QBF with Counterexample Guided Refinement.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Model Checking and the State Explosion Problem.
Proceedings of the Tools for Practical Software Verification, 2011
A Non-prenex, Non-clausal QBF Solver with Game-State Learning.
Proceedings of the Theory and Applications of Satisfiability Testing, 2010