| 2024 | CHI | Beyond Dark Patterns: A Concept-Based Framework for Ethical Software Design. | Evan Caragay, Katherine Xiong, Jonathan Zong, Daniel Jackson |
| 2024 | ENASE | Keynote Lecture. | Daniel Jackson |
| 2024 | UIST | Bluefish: Composing Diagrams with Declarative Relations. | Josh Pollock, Catherine Mei, Grace Huang, Elliot Evans, Daniel Jackson, Arvind Satyanarayan |
| 2023 | Onward | Concept-Centric Software Development: An Experience Report. | Peter A. Wilczynski, Taylor Gregoire-Wright, Daniel Jackson |
| 2023 | UIST | Riffle: Reactive Relational State for Local-First Applications. | Geoffrey Litt, Nicholas Schiefer, Johannes Schickling, Daniel Jackson |
| 2022 | EuroSys | Merge what you can, fork what you can't: managing data integrity in local-first software. | Nicholas Schiefer, Geoffrey Litt, Daniel Jackson |
| 2020 | OOPSLA | Demystifying dependence. | James Koppel, Daniel Jackson |
| 2020 | OOPSLA | End-user software customization by direct manipulation of tabular data. | Geoffrey Litt, Daniel Jackson, Tyler Millis, Jessica Ayeley Quaye |
| 2019 | CogSci | Individual spatial reasoning skills support different kinds of physics tasks. | Ilyse Resnick, Daniel Jackson |
| 2019 | OOPSLA | Declarative assembly of web applications from predefined concepts. | Santiago Perez De Rosso, Daniel Jackson, Maryam Archie, Czarina Lao, Barry A. McNamara III |
| 2016 | CHI | Challenges for Designing new Technology for Health and Wellbeing in a Complex Mental Healthcare Context. | Anja Thieme, John C. McCarthy, Paula Johnson, Stephanie Phillips, Jayne Wallace, Sin E. Lindley, Karim Ladha, Daniel Jackson, Diana Nowacka, Ashur Rafiev, Cassim Ladha, Thomas Nappey, Mathew Kipling, Peter C. Wright, Thomas D. Meyer, Patrick Olivier |
| 2016 | ICSE | Model-based security analysis of a water treatment system. | Eunsuk Kang, Sridhar Adepu, Daniel Jackson, Aditya P. Mathur |
| 2016 | ICSE | Finding security bugs in web applications using a catalog of access control patterns. | Joseph P. Near, Daniel Jackson |
| 2016 | OOPSLA | Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift. | Ivan Kuraj, Daniel Jackson |
| 2016 | OOPSLA | Object spreadsheets: a new computational model for end-user development of data-centric web applications. | Matt McCutchen, Shachar Itzhaky, Daniel Jackson |
| 2016 | OOPSLA | Purposes, concepts, misfits, and a redesign of git. | Santiago Perez De Rosso, Daniel Jackson |
| 2015 | CHI | Designing for and with People with Parkinson's: A Focus on Exergaming. | Roisin McNaney, Madeline Balaam, Amey Holden, Guy Schofield, Daniel Jackson, Mary Webster, Brook Galna, Gillian Barry, Lynn Rochester, Patrick Olivier |
| 2015 | FM | Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification. | Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson |
| 2015 | ICSE | Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. | Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson |
| 2015 | OOPSLA | Towards a theory of conceptual design for software. | Daniel Jackson |
| 2015 | OOPSLA | Programming with enumerable sets of structures. | Ivan Kuraj, Viktor Kuncak, Daniel Jackson |
| 2014 | CCS | Adaptive Defending Strategy for Smart Grid Attacks. | Jianye Hao, Eunsuk Kang, Daniel Jackson, Jun Sun |
| 2014 | CHI | Panopticon as an eLearning support search tool. | James Nicholson, Mark Huber, Daniel Jackson, Patrick Olivier |
| 2014 | SENSYS | Occupancy monitoring using environmental & context sensors and a hierarchical analysis framework. | Aftab Khan, James Nicholson, Sebastian Mellor, Daniel Jackson, Karim Ladha, Cassim Ladha, Jon Hand, Joseph Clarke, Patrick Olivier, Thomas Pltz |
| 2013 | CHI | Touchbugs: actuated tangibles on multi-touch tables. | Diana Nowacka, Karim Ladha, Nils Y. Hammerla, Daniel Jackson, Cassim Ladha, Enrico Rukzio, Patrick Olivier |
| 2013 | OOPSLA | Model-based, event-driven programming paradigm for interactive web applications. | Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov |
| 2013 | OOPSLA | What's wrong with git?: a conceptual design analysis. | Santiago Perez De Rosso, Daniel Jackson |
| 2013 | UIST | Panopticon: a parallel video overview system. | Daniel Jackson, James Nicholson, Gerrit Stoeckigt, Rebecca Wrobel, Anja Thieme, Patrick Olivier |
| 2012 | CHI | Empathy, participatory design and people with dementia. | Stephen Lindsay, Katie Brittain, Daniel Jackson, Cassim Ladha, Karim Ladha, Patrick Olivier |
| 2012 | CHI | Engaging older people using participatory design. | Stephen Lindsay, Daniel Jackson, Guy Schofield, Patrick Olivier |
| 2012 | GPCE | Synthesizing iterators from abstraction functions. | Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson |
| 2011 | CHI | Cueing for drooling in Parkinson's disease. | Roisin McNaney, Stephen Lindsay, Karim Ladha, Cassim Ladha, Guy Schofield, Thomas Pltz, Nils Y. Hammerla, Daniel Jackson, Richard Walker, Nick Miller, Patrick Olivier |
| 2011 | ICSE | Unifying execution of imperative and declarative code. | Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson |
| 2011 | ICSE | A lightweight code analysis and its role in evaluation of a dependability case. | Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson |
| 2010 | PLOP | Patterns for building dependable systems with trusted bases. | Eunsuk Kang, Daniel Jackson |
| 2010 | RE | Dependability Arguments with Trusted Bases. | Eunsuk Kang, Daniel Jackson |
| 2009 | CHI | iBookmark: locative texts and place-based authoring. | Johannes Schning, Tom Bartindale, Patrick Olivier, Daniel Jackson, Antonio Krger, Jim Kitson |
| 2009 | ICSE | Equality and hashing for (almost) free: Generating implementations from abstraction functions. | Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson |
| 2009 | OOPSLA | Agile specifications. | Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson |
| 2008 | FM | Finding Minimal Unsatisfiable Cores of Declarative Specifications. | Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson |
| 2007 | TACAS | Kodkod: A Relational Model Finder. | Emina Torlak, Daniel Jackson |
| 2006 | ICSE | Symbolic model checking of declarative relational models. | Felix Sheng-Ho Chang, Daniel Jackson |
| 2006 | ICSE | Problem frame transformations: deriving specifications from requirements. | Robert Seater, Daniel Jackson |
| 2006 | ISSTA | Modular verification of code with SAT. | Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson |
| 2006 | RE | Requirement Progression in Problem Frames Applied to a Proton Therapy System. | Robert Seater, Daniel Jackson |
| 2005 | OOPSLA | Using dependency models to manage complex software architecture. | Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson |
| 2005 | OOPSLA | Using dependency models to manage software architecture. | Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson |
| 2005 | RE | Dependable Software: An Oxymoron&. | Daniel Jackson |
| 2004 | ISSTA | Automating commutativity analysis at the design level. | Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson |
| 2004 | ISSTA | Faster constraint solving with subtypes. | Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung |
| 2004 | ISSTA | Software assurance by bounded exhaustive testing. | Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson |
| 2003 | FORTE | A Lightweight Formal Analysis of a Multicast Key Management Scheme. | Mana Taghdiri, Daniel Jackson |
| 2003 | SAFECOMP | Critical Feature Analysis of a Radiotherapy Machine. | Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman |
| 2003 | SAT | A Case for Efficient Solution Enumeration. | Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson |
| 2003 | TACAS | Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. | Mandana Vaziri, Daniel Jackson |
| 2002 | OOPSLA | An analyzable annotation language. | Sarfraz Khurshid, Darko Marinov, Daniel Jackson |
| 2002 | TACAS | Alloy: A New Technology for Software Modelling. | Daniel Jackson |
| 2001 | FM | Lightweight Formal Methods. | Daniel Jackson |
| 2000 | ICSE | Software analysis: a roadmap: a roadmap. | Daniel Jackson, Martin C. Rinard |
| 2000 | ICSE | Alcoa: the alloy constraint analyzer. | Daniel Jackson, Ian Schechter, Ilya Shlyakhter |
| 2000 | ISSTA | Finding bugs with a constraint solver. | Daniel Jackson, Mandana Vaziri |
| 2000 | SAS | Enforcing Design Constraints with Object Logic. | Daniel Jackson |
| 1999 | ICSE | Lightweight Extraction of Object Models from Bytecode. | Daniel Jackson, Allison Waingold |
| 1997 | ICSE | Lackwit: A Program Understanding Tool Based on Type Inference. | Robert O'Callahan, Daniel Jackson |
| 1996 | ISSTA | Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. | Daniel Jackson, Craig Damon |
| 1996 | POPL | Faster Checking of Software Specifications by Eliminating Isomorphs. | Daniel Jackson, Somesh Jha, Craig Damon |
| 1996 | TACAS | Efficient Search as a Means of Executing Specifications. | Craig Damon, Daniel Jackson |
| 1994 | FM | Abstract Model Checking of Infinite Specifications. | Daniel Jackson |
| 1993 | ISSTA | Abstract Analysis with Aspect. | Daniel Jackson |
| 1991 | ICSE | Aspect: An Economical Bug-Detector. | Daniel Jackson |