Mark H. Liffiton
Orcid: 0009-0004-1512-7829
According to our database1,
Mark H. Liffiton
authored at least 23 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
1
1
1
1
1
1
1
1
1
1
1
1
2
1
2
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Patterns of Student Help-Seeking When Using a Large Language Model-Powered Programming Assistant.
Proceedings of the 26th Australasian Computing Education Conference, 2024
2023
Efficient Classification of Student Help Requests in Programming Courses Using Large Language Models.
CoRR, 2023
CodeHelp: Using Large Language Models with Guardrails for Scalable Support in Programming Classes.
Proceedings of the 23rd Koli Calling International Conference on Computing Education Research, 2023
2017
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017
2016
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016
2015
Proceedings of the Principles and Practice of Constraint Programming, 2015
2014
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets.
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014
2013
Constraints An Int. J., 2013
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013
2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the Hardware and Software: Verification and Testing, 2012
2009
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas.
Constraints An Int. J., 2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
2008
J. Autom. Reason., 2008
Proceedings of the Theory and Applications of Satisfiability Testing, 2008
Proceedings of the Logic for Programming, 2008
2007
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007
2006
Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006
2005
Proceedings of the Theory and Applications of Satisfiability Testing, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
2004
Proceedings of the 41th Design Automation Conference, 2004