Travelled to:1 × Australia
1 × Canada
1 × China
1 × France
1 × Germany
1 × Ireland
1 × Japan
1 × Russia
1 × Spain
1 × The Netherlands
1 × United Kingdom
9 × USA
Collaborated with:N.Heintze A.E.Santosa D.Chu V.Murali R.Voicu S.Michaylov M.Trinh M.J.Maher R.H.C.Yap J.A.Navas J.Lassez P.J.Stuckey K.Q.Zhu G.Neumann A.Brodsky
Talks about:program (8) logic (6) clp (6) constraint (4) system (4) abstract (3) analysi (3) recurs (3) verif (3) model (3)
Person: Joxan Jaffar
DBLP: Jaffar:Joxan
Facilitated 1 volumes:
EdContributed to:
2015
2014
2013
2012
2012
2009
20062005
200019951995
1993
1992199219911990199019871987198620162017Wrote 26 papers:
- PLDI-2015-ChuJT #automation #imperative #induction #proving #source code
- Automatic induction proofs of data-structures in imperative programs (DHC, JJ, MTT), pp. 457–466.
- FSE-2014-JaffarM #control flow #graph #slicing
- A path-sensitively sliced control flow graph (JJ, VM), pp. 133–143.
- ESEC-FSE-2013-JaffarMN #testing
- Boosting concolic testing via interpolation (JJ, VM, JAN), pp. 48–58.
- CAV-2012-ChuJ #reduction #safety #symmetry #verification
- A Complete Method for Symmetry Reduction in Safety Verification (DHC, JJ), pp. 616–633.
- CAV-2012-JaffarMNS #execution #named #symbolic computation #verification
- TRACER: A Symbolic Execution Tool for Verification (JJ, VM, JAN, AES), pp. 758–766.
- SAS-2012-JaffarMNS #slicing
- Path-Sensitive Backward Slicing (JJ, VM, JAN, AES), pp. 231–247.
- FM-2009-JaffarS #abstraction #recursion
- Recursive Abstractions for Parameterized Systems (JJ, AES), pp. 72–88.
- VMCAI-2006-JaffarSV #abstraction #composition
- A CLP Method for Compositional and Intermittent Predicate Abstraction (JJ, AES, RV), pp. 17–32.
- VMCAI-2006-JaffarSV06a #safety
- Relative Safety (JJ, AES, RV), pp. 282–297.
- ICLP-2005-JaffarSV #modelling
- Modeling Systems in CLP (JJ, AES, RV), pp. 412–413.
- ICLP-2005-JaffarYZ #coordination
- Coordination of Many Agents (JJ, RHCY, KQZ), pp. 98–112.
- POPL-2000-HeintzeJV #analysis #framework #verification
- A Framework for Combining Analysis and Verification (NH, JJ, RV), pp. 26–39.
- ICLP-1995-HeintzeJ #algorithm #analysis
- A Generic Algorithm for CLP Analysis (NH, JJ), pp. 49–63.
- ILPS-1995-JaffarMN #case study #logic programming #modelling
- Logic Programming and Object Modelling: A Case Study (JJ, MJM, GN), p. 48.
- VLDB-1993-BrodskyJM #constraints #database #towards
- Toward Practical Constraint Databases (AB, JJ, MJM), pp. 567–580.
- LICS-1992-HeintzeJ #logic programming #program analysis
- An Engine for Logic Program Analysis (NH, JJ), pp. 318–328.
- PLDI-1992-JaffarMSY #automaton
- An Abstract Machine for CLP(R) (JJ, SM, PJS, RHCY), pp. 128–139.
- PLDI-1991-JaffarMY #constraints
- A Methodology for Managing Hard Constraints in CLP Systems (JJ, SM, RHCY), pp. 306–316.
- LICS-1990-HeintzeJ #constraints #set
- A Decision Procedure for a Class of Set Constraints (NH, JJ), pp. 42–51.
- POPL-1990-HeintzeJ #approximate #finite #logic programming #source code #theorem
- A Finite Presentation Theorem for Approximating Logic Programs (NH, JJ), pp. 197–209.
- ICLP-1987-JaffarM87 #implementation
- Methodology and Implementation of a CLP System (JJ, SM), pp. 196–218.
- POPL-1987-JaffarL #constraints #logic programming
- Constraint Logic Programming (JJ, JLL), pp. 111–119.
- ICLP-1986-JaffarLM86 #logic programming #roadmap #semantics
- Invited Talk: Some Issues and Trends in the Semantics of Logic Programming (JJ, JLL, MJM), pp. 223–241.
- ICLP-1986-JaffarS86 #equation #logic programming #semantics
- Logic Program Semantics for Programming with Equations (JJ, PJS), pp. 313–326.
- CAV-2016-TrinhCJ #reasoning #recursion #string
- Progressive Reasoning over Recursively-Defined Strings (MTT, DHC, JJ), pp. 218–240.
- CAV-2017-TrinhCJ #recursion #string
- Model Counting for Recursively-Defined Strings (MTT, DHC, JJ), pp. 399–418.