BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jaffar:Joxan

Facilitated 1 volumes:

JICSLP 1998Ed

Contributed to:

PLDI 20152015
FSE 20142014
ESEC/FSE 20132013
CAV 20122012
SAS 20122012
FM 20092009
VMCAI 20062006
ICLP 20052005
POPL 20002000
ICLP 19951995
ILPS 19951995
VLDB 19931993
LICS 19921992
PLDI 19921992
PLDI 19911991
LICS 19901990
POPL 19901990
ICLP 19871987
POPL 19871987
ICLP 19861986
CAV (1) 20162016
CAV (2) 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.