| 2026 | SIGCSE | Focused Tutors: Assigning Custom, Targeted Chatbots to Students. | Mark H. Liffiton |
| 2024 | ACE | Patterns of Student Help-Seeking When Using a Large Language Model-Powered Programming Assistant. | Brad Sheese, Mark H. Liffiton, Jaromr Savelka, Paul Denny |
| 2017 | ICTAI | Finding Graph Decompositions via SAT. | Wenting Zhao, Mark H. Liffiton, Peter Jeavons, Dan Roberts |
| 2016 | ICTAI | Parallelizing Partial MUS Enumeration. | Wenting Zhao, Mark H. Liffiton |
| 2015 | CP | Smallest MUS Extraction with Minimal Hitting Set Dualization. | Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, Joo Marques-Silva |
| 2014 | RTAS | Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets. | Bernard Blackham, Mark H. Liffiton, Gernot Heiser |
| 2013 | CPAIOR | Enumerating Infeasibility: Finding Multiple MUSes Quickly. | Mark H. Liffiton, Ammar Malik |
| 2012 | SAT | A Cardinality Solver: More Expressive Constraints for Free - (Poster Presentation). | Mark H. Liffiton, Jordyn C. Maglalang |
| 2009 | SAT | Generalizing Core-Guided Max-SAT. | Mark H. Liffiton, Karem A. Sakallah |
| 2008 | LPAR | Reveal: A Formal Verification Tool for Verilog Designs. | Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah |
| 2008 | SAT | Searching for Autarkies to Trim Unsatisfiable Clause Sets. | Mark H. Liffiton, Karem A. Sakallah |
| 2007 | FMCAD | Improved Design Debugging Using Maximum Satisfiability. | Sean Safarpour, Hratch Mangassarian, Andreas G. Veneris, Mark H. Liffiton, Karem A. Sakallah |
| 2006 | ASPDAC | Refinement strategies for verification methods based on datapath abstraction. | Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah |
| 2005 | IJCAI | Identifying Conflicts in Overconstrained Temporal Problems. | Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, Karem A. Sakallah |
| 2005 | SAT | On Finding All Minimally Unsatisfiable Subformulas. | Mark H. Liffiton, Karem A. Sakallah |
| 2004 | DAC | Exploiting structure in symmetry detection for CNF. | Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov |