Joxan Jaffar

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 13

Top Topics

Symbolic Execution

Top Venues

ICSE (Companion Volume)

Publications

Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). FASE (2024)
Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, Arpita Dutta
Toward optimal mc/dc test case generation. ISSTA (2021)
Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha
TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). FASE (2020)
Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
Inter-theory dependency analysis for SMT string solvers. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha
TracerX: Dynamic Symbolic Execution with Interpolation. CoRR (2020)
Joxan Jaffar, Sangharatna Godboley, Rasool Maghareh
Optimal MC/DC test case generation. ICSE (Companion Volume) (2019)
Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap
Shape Neutral Analysis of Graph-based Data-structures. CoRR (2018)
Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap
Shape Neutral Analysis of Graph-based Data-structures. Theory Pract. Log. Program. 18 (3-4) (2018)
Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
Model Counting for Recursively-Defined Strings. CAV (2) (2017)
Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali
Incremental Quantitative Analysis on Dynamic Costs. CoRR (2016)
Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
Progressive Reasoning over Recursively-Defined Strings. CAV (1) (2016)
Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh
Symbolic execution for memory consumption analysis. LCTES (2016)
Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh
Precise Cache Timing Analysis via Symbolic Execution. RTAS (2016)
Duc-Hiep Chu, Joxan Jaffar
Local Reasoning with First-Class Heaps, and a New Frame Rule. CoRR (2015)
Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh
Automatic induction proofs of data-structures in imperative programs. PLDI (2015)
Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh
Automating Proofs of Data-Structure Properties in Imperative Programs. CoRR (2014)
Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali
Lazy Symbolic Execution for Enhanced Learning. RV (2014)
Duc-Hiep Chu, Joxan Jaffar
A Framework to Synergize Partial Order Reduction with State Interpolation. CoRR (2014)
Duc-Hiep Chu, Joxan Jaffar
A Framework to Synergize Partial Order Reduction with State Interpolation. Haifa Verification Conference (2014)
Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
S3: A Symbolic String Solver for Vulnerability Detection in Web Applications. CCS (2014)
Joxan Jaffar, Vijayaraghavan Murali
A path-sensitively sliced control flow graph. SIGSOFT FSE (2014)
Duc-Hiep Chu, Joxan Jaffar
Path-sensitive resource analysis compliant with assertions. EMSOFT (2013)
Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas
Boosting concolic testing via interpolation. ESEC/SIGSOFT FSE (2013)
Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh
Constraint-Based Program Reasoning with Heaps and Separation. CP (2013)
Duc-Hiep Chu, Joxan Jaffar
A Complete Method for Symmetry Reduction in Safety Verification. CAV (2012)
Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa
Path-Sensitive Backward Slicing. SAS (2012)
Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa
TRACER: A Symbolic Execution Tool for Verification. CAV (2012)
Duc-Hiep Chu, Joxan Jaffar
Symbolic simulation on complicated loops for WCET path analysis. EMSOFT (2011)
Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa
Unbounded Symbolic Execution for Program Verification. RV (2011)
Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa
Symbolic Execution for Verification. CoRR (2011)
Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa
Abstraction Learning. ATVA (2010)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
An Interpolation Method for CLP Traversal. CP (2009)
Joxan Jaffar, Andrew E. Santosa
Recursive Abstractions for Parameterized Systems. FM (2009)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
A Coinduction Rule for Entailment of Recursively Defined Properties. CP (2008)
Joxan Jaffar
Constraint Logic Programming for program analysis. ACSC (2008)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. AAAI (2008)
Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
Generalized Committed Choice. COORDINATION (2007)
Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
Indexing for Dynamic Abstract Regions. ICDE (2006)
Hui Wu, Joxan Jaffar, Jingling Xue
Instruction Scheduling with Release Times and Deadlines on ILP Processors. RTCSA (2006)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
A CLP Method for Compositional and Intermittent Predicate Abstraction. VMCAI (2006)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
Relative Safety. VMCAI (2006)
Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
Coordination of Many Agents. ICLP (2005)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
Modeling Systems in CLP. ICLP (2005)
Joxan Jaffar
A CLP Approach to Modelling Systems. ICFEM (2004)
Joxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu
Scalable Distributed Depth-First Search with Greedy Work Stealing. ICTAI (2004)
Joxan Jaffar
A CLP Approach to Modelling Systems. APLAS (2004)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
A CLP Proof Method for Timed Automata. RTSS (2004)
Hui Wu, Wei-Ngan Chin, Joxan Jaffar
An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model. IEEE Trans. Software Eng. 28 (1) (2002)
Joxan Jaffar, Michael J. Maher
Guest Editorial. Constraints An Int. J. 7 (3-4) (2002)
Hui Wu, Joxan Jaffar
Two processor scheduling with real release times and deadlines. SPAA (2002)
Hui Wu, Joxan Jaffar
An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Processors. RTSS (2001)
Hui Wu, Joxan Jaffar, Roland H. C. Yap
Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies. CP (2000)
Nevin Heintze, Joxan Jaffar, Razvan Voicu
A Framework for Combining Analysis and Verification. POPL (2000)
Nevin Heintze, Joxan Jaffar, Razvan Voicu
Conditional Analysis and Verification. APLAS (2000)
Hui Wu, Joxan Jaffar
An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines. APLAS (2000)
Hui Wu, Joxan Jaffar, Roland H. C. Yap
A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors. IEEE PACT (2000)
Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar
Functional Elimination and 0/1/All Constraints. AAAI/IAAI (1999)
Joxan Jaffar, Michael J. Maher, Gustaf Neumann
An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems. HICSS (1999)
Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey
The Semantics of Constraint Logic Programs. J. Log. Program. 37 (1-3) (1998)
Joxan Jaffar, Roland H. C. Yap
Open Constraint Programming. CP (1998)
Alexander Brodsky, Joxan Jaffar, Michael J. Maher
Toward Practical Query Evaluation for Constraint Databases. Constraints An Int. J. 2 (3/4) (1997)
Joxan Jaffar, Roland H. C. Yap
Constraint Programming 2000: A Position Paper. Constraints An Int. J. 2 (1) (1997)
Joxan Jaffar, Bing Liu, Roland H. C. Yap
Forward and Backward Chaining in Constraint Programming (Abstract). LPNMR (1997)
Joxan Jaffar, Roland H. C. Yap
Constraint Programming 2000. ACM Comput. Surv. 28 (4es) (1996)
Bing Liu, Joxan Jaffar
Using Constraints to Model Disjunctions in Rule-Based Reasoning. AAAI/IAAI, Vol. 2 (1996)
Nevin Heintze, Joxan Jaffar
A Generic Algorithm for CLP Analysis. ICLP (1995)
Joxan Jaffar, Michael J. Maher, Gustaf Neumann
Logic Programming and Object Modelling: A Case Study (Abstract). ILPS (1995)
Nevin Heintze, Joxan Jaffar
Set Constraints and Set-Based Analysis. PPCP (1994)
Joxan Jaffar, Michael J. Maher
Constraint Logic Programming: A Survey. J. Log. Program. (1994)
Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
Beyond Finite Domains. PPCP (1994)
Alexander Brodsky, Joxan Jaffar, Michael J. Maher
Toward Practical Constraint Databases. VLDB (1993)
Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
Projecting CLP (R) Constraints. New Gener. Comput. 11 (3) (1993)
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
An Abstract Machine for CLP(R). PLDI (1992)
Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
Output in CLP. FGCS (1992)
Nevin Heintze, Joxan Jaffar
An Engine for Logic Program Analysis LICS (1992)
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
The CLP(R) Language and System. ACM Trans. Program. Lang. Syst. 14 (3) (1992)
Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap
A Methodology for Managing Hard Constraints in CLP Systems. PLDI (1991)
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
The CLP(R) language and system: an overview. Compcon (1991)
Joxan Jaffar
Minimal and Complete Word Unification J. ACM 37 (1) (1990)
Nevin Heintze, Joxan Jaffar
A Decision Procedure for a Class of Set Constraints (Extended Abstract) LICS (1990)
Nevin Heintze, Joxan Jaffar
A Finite Presentation Theorem for Approximating Logic Programs. POPL (1990)
Joxan Jaffar, Jean-Louis Lassez
Constraint Logic Programming. POPL (1987)
James Harland, Joxan Jaffar
On Parallel Unification for Prolog. New Gener. Comput. 5 (3) (1987)
Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
PROLOG - II as an instance of the logic programming language scheme. Formal Description of Programming Concepts (1987)
Joxan Jaffar, Jean-Louis Lassez
From Unification to Constraints. LP (1987)
Joxan Jaffar, Spiro Michaylov
Methodology and Implementation of a CLP System. ICLP (1987)
Joxan Jaffar, Peter J. Stuckey
Logic Program Semantics for Programming with Equations. ICLP (1986)
Joxan Jaffar, Peter J. Stuckey
Canonical Logic Programs. J. Log. Program. 3 (2) (1986)
Joxan Jaffar, Peter J. Stuckey
Semantics of Infinite Tree Logic Programming. Theor. Comput. Sci. 46 (3) (1986)
Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
Comments on "General Failure of Logic Programs". J. Log. Program. 3 (2) (1986)
Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. ICLP (1986)
Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
A Theory of Complete Logic Programs with Equality. J. Log. Program. 1 (3) (1984)
Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
A Theory of Complete Logic Programs with Equality. FGCS (1984)
Joxan Jaffar
Efficient Unification over Infinite Terms. New Gener. Comput. 2 (3) (1984)
Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd
Completeness of the Negation as Failure Rule. IJCAI (1983)
Prabhaker Mateti, Joxan Jaffar
A Correctness Proof of an Indenting Program. Softw. Pract. Exp. 13 (3) (1983)
Joxan Jaffar, Jean-Louis Lassez
Reasoning about Array Segments. ECAI (1982)
Joxan Jaffar
Presburger Arithmetic With Array Segments. Inf. Process. Lett. 12 (2) (1981)