| 2024 | FASE | TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). | Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu |
| 2021 | ISSTA | Toward optimal mc/dc test case generation. | Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, Arpita Dutta |
| 2020 | FASE | TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). | Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha |
| 2019 | ICSE | Optimal MC/DC test case generation. | Joxan Jaffar, Sangharatna Godboley, Rasool Maghareh |
| 2017 | CAV | Model Counting for Recursively-Defined Strings. | Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar |
| 2016 | CAV | Progressive Reasoning over Recursively-Defined Strings. | Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar |
| 2016 | RTAS | Precise Cache Timing Analysis via Symbolic Execution. | Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh |
| 2015 | PLDI | Automatic induction proofs of data-structures in imperative programs. | Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh |
| 2014 | CCS | S3: A Symbolic String Solver for Vulnerability Detection in Web Applications. | Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar |
| 2014 | RV | Lazy Symbolic Execution for Enhanced Learning. | Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali |
| 2013 | CP | Constraint-Based Program Reasoning with Heaps and Separation. | Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh |
| 2013 | EMSOFT | Path-sensitive resource analysis compliant with assertions. | Duc-Hiep Chu, Joxan Jaffar |
| 2012 | CAV | A Complete Method for Symmetry Reduction in Safety Verification. | Duc-Hiep Chu, Joxan Jaffar |
| 2012 | CAV | TRACER: A Symbolic Execution Tool for Verification. | Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa |
| 2012 | SAS | Path-Sensitive Backward Slicing. | Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa |
| 2011 | EMSOFT | Symbolic simulation on complicated loops for WCET path analysis. | Duc-Hiep Chu, Joxan Jaffar |
| 2011 | RV | Unbounded Symbolic Execution for Program Verification. | Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa |
| 2010 | ATVA | Abstraction Learning. | Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa |
| 2009 | CP | An Interpolation Method for CLP Traversal. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2009 | FM | Recursive Abstractions for Parameterized Systems. | Joxan Jaffar, Andrew E. Santosa |
| 2008 | AAAI | Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2008 | CP | A Coinduction Rule for Entailment of Recursively Defined Properties. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2007 | Coordination | Generalized Committed Choice. | Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu |
| 2006 | ICDE | Indexing for Dynamic Abstract Regions. | Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu |
| 2006 | RTCSA | Instruction Scheduling with Release Times and Deadlines on ILP Processors. | Hui Wu, Joxan Jaffar, Jingling Xue |
| 2006 | VMCAI | A CLP Method for Compositional and Intermittent Predicate Abstraction. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2006 | VMCAI | Relative Safety. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2005 | ICLP | Modeling Systems in CLP. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2005 | ICLP | Coordination of Many Agents. | Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu |
| 2004 | APLAS | A CLP Approach to Modelling Systems. | Joxan Jaffar |
| 2004 | ICFEM | A CLP Approach to Modelling Systems. | Joxan Jaffar |
| 2004 | ICTAI | Scalable Distributed Depth-First Search with Greedy Work Stealing. | Joxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu |
| 2004 | RTSS | A CLP Proof Method for Timed Automata. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2002 | SPAA | Two processor scheduling with real release times and deadlines. | Hui Wu, Joxan Jaffar |
| 2001 | RTSS | An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Processors. | Hui Wu, Joxan Jaffar |
| 2000 | APLAS | Conditional Analysis and Verification. | Nevin Heintze, Joxan Jaffar, Razvan Voicu |
| 2000 | APLAS | An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines. | Hui Wu, Joxan Jaffar |
| 2000 | CP | Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies. | Hui Wu, Joxan Jaffar, Roland H. C. Yap |
| 2000 | POPL | A Framework for Combining Analysis and Verification. | Nevin Heintze, Joxan Jaffar, Razvan Voicu |
| 1999 | AAAI | Functional Elimination and 0/1/All Constraints. | Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar |
| 1998 | CP | Open Constraint Programming. | Joxan Jaffar, Roland H. C. Yap |
| 1997 | LPNMR | Forward and Backward Chaining in Constraint Programming (Abstract). | Joxan Jaffar, Bing Liu, Roland H. C. Yap |
| 1996 | AAAI | Using Constraints to Model Disjunctions in Rule-Based Reasoning. | Bing Liu, Joxan Jaffar |
| 1995 | ICLP | A Generic Algorithm for CLP Analysis. | Nevin Heintze, Joxan Jaffar |
| 1993 | VLDB | Toward Practical Constraint Databases. | Alexander Brodsky, Joxan Jaffar, Michael J. Maher |
| 1992 | LICS | An Engine for Logic Program Analysis | Nevin Heintze, Joxan Jaffar |
| 1992 | PLDI | An Abstract Machine for CLP(R). | Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap |
| 1991 | PLDI | A Methodology for Managing Hard Constraints in CLP Systems. | Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap |
| 1990 | LICS | A Decision Procedure for a Class of Set Constraints (Extended Abstract) | Nevin Heintze, Joxan Jaffar |
| 1990 | POPL | A Finite Presentation Theorem for Approximating Logic Programs. | Nevin Heintze, Joxan Jaffar |
| 1987 | ICLP | Methodology and Implementation of a CLP System. | Joxan Jaffar, Spiro Michaylov |
| 1987 | POPL | Constraint Logic Programming. | Joxan Jaffar, Jean-Louis Lassez |
| 1986 | ICLP | Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. | Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher |
| 1986 | ICLP | Logic Program Semantics for Programming with Equations. | Joxan Jaffar, Peter J. Stuckey |
| 1983 | IJCAI | Completeness of the Negation as Failure Rule. | Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd |
| 1982 | ECAI | Reasoning about Array Segments. | Joxan Jaffar, Jean-Louis Lassez |