|
Will Klieber
(pronounced “KLEE′ ber”)
Computer Science Department Carnegie Mellon University wklieber 
Office: GHC 7511Office Phone: 412-268-2582 Voicemail: 775-227-7793 |
|
|
I'm a sixth-year Ph.D. student in the Computer Science Dept
at Carnegie Mellon University. My advisor is
Prof. Edmund Clarke.
My primary research interests include automated software verification and
related technologies, such as SAT/QBF solvers.
|
Recent papers:
- 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. [Slides]
William Klieber, Samir Sapra, Sicun Gao, and Edmund Clarke.
In SAT 2010, LNCS 6175. DBLP BibTeX Record
Conferences/Workshops:
- Program Committee member, Pragmatics of SAT Workshop 2012.
Teaching:
- TA for 15-453: Formal Languages, Automata, and Computation (Spring 2009).
- TA for 15-212: Principles of Programming (Fall 2010).
Miscellaneous:
- Thesis Proposal
- SAT Solver Slides (PDF)
- Directions to Schenley Park Skating Rink Banquet Hall
- Notes for 15-212 (Principles of Programming)
- Pictures from Korea
