引用次数
引用: 1,518
H-指数: 12
I10-指数 : 12
出版物: 20
Practical Precise Taint-flow Static Analysis for Android App Sets
William Klieber , Lori Flynn , Will Snavely , Michael Zheng
availability, reliability and security 56
2
2018
A non-prenex, non-clausal QBF solver with game-state learning
William Klieber , Samir Sapra , Sicun Gao , Edmund Clarke
theory and applications of satisfiability testing 128 -142
69
2010
Detecting Leaks of Sensitive Data Due to Stale Reads
Will Snavely , William Klieber , Ryan Steele , David Svoboda
2018 IEEE Cybersecurity Development (SecDev) 37 -44
1
2018
Solving QBF with counterexample guided refinement
Mikoláš Janota , William Klieber , Joao Marques-Silva , Edmund Clarke
Artificial Intelligence 234 1 -25
118
2016
Android taint flow analysis for app sets
William Klieber , Lori Flynn , Amar Bhosale , Limin Jia
Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis - SOAP '14 1 -6
152
2014
Solving QBF with Free Variables
William Klieber , Mikoláš Janota , Joao Marques-Silva , Edmund Clarke
principles and practice of constraint programming 415 -431
10
2013
On Conflicts and Strategies in QBF.
Nikolaj S Bjørner , Mikolás Janota , William Klieber
LPAR (short papers) 35 28 -41
20
2015
Extending DPLL-Based QBF Solvers to Handle Free Variables
William Klieber , Mikoláš Janota , Joao Marques-Silva , Edmund Clarke
International Workshop on Quantified Boolean Formulas 20131 Informal Workshop Report2 30 -30
2013
Automated code repair to ensure spatial memory safety
William Klieber , Ruben Martins , Ryan Steele , Matt Churilla
2021 IEEE/ACM International Workshop on Automated Program Repair (APR) 23 -30
5
2021
Making didfail succeed: Enhancing the cert static taint analyzer for android app sets
Jonathan Burket , Lori Flynn , William Klieber , Jonathan Lim
Software Engineering Institute, Carnegie Mellon University, Tech. Rep. CMU/SEI-2015-TR-001
17
2015
Model Checking and the State Explosion Problem
Edmund M Clarke , William Klieber , Miloš Nováček , Paolo Zuliani
Springer Berlin Heidelberg 1 -30
465
2012
Formal Verification Using Quantified Boolean Formulas (QBF)
William Klieber
Carnegie Mellon University
6
2014
GhostQ
William Klieber
Journal on Satisfiability, Boolean Modeling and Computation 11 ( 1) 65 -72
3
2019
GhostQ QBF Solver System Description
William Klieber
2012
Smartphone Security
Will Klieber , Lori Flynn
IEEE Pervasive Computing
5
2015
Non-CNF QBF Solving with QCIR
Will Klieber , Martina Seidl , Charles Jordan
national conference on artificial intelligence
26
2016
QBF Gallery 2014: The QBF Competition at the FLoC 2014 Olympic Games
Mikoláš Janota , Charles Jordan , Will Klieber , Florian Lonsing
Journal on Satisfiability, Boolean Modeling and Computation 9 ( 1) 187 -206
18
2014
Efficient CNF encoding for selecting 1 from N objects
Will Klieber , Gihwon Kwon
International Workshop on Constraints in Formal Verification
77
2007
Adaptive simulations of two-phase flow by discontinuous Galerkin methods
W. Klieber , B. Rivière
Computer Methods in Applied Mechanics and Engineering 196 404 -419
60
2006
Automated Code Repair Based on Inferred Specifications
Snavely Will , Klieber William
IEEE Conference Proceedings 2016 137
6
2016