Joxan Jaffar

According to our database1, Joxan Jaffar authored at least 94 papers between 1981 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Inter-theory dependency analysis for SMT string solvers.
Proc. ACM Program. Lang., 2020

TracerX: Dynamic Symbolic Execution with Interpolation.
CoRR, 2020

TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution).
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019
Optimal MC/DC test case generation.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018
Shape Neutral Analysis of Graph-based Data-structures.
Theory Pract. Log. Program., 2018

2017
Model Counting for Recursively-Defined Strings.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Incremental Quantitative Analysis on Dynamic Costs.
CoRR, 2016

Precise Cache Timing Analysis via Symbolic Execution.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Symbolic execution for memory consumption analysis.
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016

Progressive Reasoning over Recursively-Defined Strings.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Local Reasoning with First-Class Heaps, and a New Frame Rule.
CoRR, 2015

Automatic induction proofs of data-structures in imperative programs.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014
Automating Proofs of Data-Structure Properties in Imperative Programs.
CoRR, 2014

A path-sensitively sliced control flow graph.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Lazy Symbolic Execution for Enhanced Learning.
Proceedings of the Runtime Verification - 5th International Conference, 2014

A Framework to Synergize Partial Order Reduction with State Interpolation.
Proceedings of the Hardware and Software: Verification and Testing, 2014

S3: A Symbolic String Solver for Vulnerability Detection in Web Applications.
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013
Boosting concolic testing via interpolation.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Path-sensitive resource analysis compliant with assertions.
Proceedings of the International Conference on Embedded Software, 2013

Constraint-Based Program Reasoning with Heaps and Separation.
Proceedings of the Principles and Practice of Constraint Programming, 2013

2012
Path-Sensitive Backward Slicing.
Proceedings of the Static Analysis - 19th International Symposium, 2012

TRACER: A Symbolic Execution Tool for Verification.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

A Complete Method for Symmetry Reduction in Safety Verification.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Symbolic Execution for Verification.
CoRR, 2011

Unbounded Symbolic Execution for Program Verification.
Proceedings of the Runtime Verification - Second International Conference, 2011

Symbolic simulation on complicated loops for WCET path analysis.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
Abstraction Learning.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
Recursive Abstractions for Parameterized Systems.
Proceedings of the FM 2009: Formal Methods, 2009

An Interpolation Method for CLP Traversal.
Proceedings of the Principles and Practice of Constraint Programming, 2009

2008
A Coinduction Rule for Entailment of Recursively Defined Properties.
Proceedings of the Principles and Practice of Constraint Programming, 2008

Constraint Logic Programming for program analysis.
Proceedings of the Computer Science 2008, 2008

Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Generalized Committed Choice.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006
Relative Safety.
Proceedings of the Verification, 2006

A CLP Method for Compositional and Intermittent Predicate Abstraction.
Proceedings of the Verification, 2006

Instruction Scheduling with Release Times and Deadlines on ILP Processors.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Indexing for Dynamic Abstract Regions.
Proceedings of the 22nd International Conference on Data Engineering, 2006

2005
Coordination of Many Agents.
Proceedings of the Logic Programming, 21st International Conference, 2005

Modeling Systems in CLP.
Proceedings of the Logic Programming, 21st International Conference, 2005

2004
A CLP Proof Method for Timed Automata.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Scalable Distributed Depth-First Search with Greedy Work Stealing.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

A CLP Approach to Modelling Systems.
Proceedings of the Formal Methods and Software Engineering, 2004

2002
An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model.
IEEE Trans. Software Eng., 2002

Guest Editorial.
Constraints An Int. J., 2002

Two processor scheduling with real release times and deadlines.
Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2002

2001
An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Processors.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

2000
A Framework for Combining Analysis and Verification.
Proceedings of the POPL 2000, 2000

Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies.
Proceedings of the Principles and Practice of Constraint Programming, 2000

An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

Conditional Analysis and Verification.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors.
Proceedings of the 2000 International Conference on Parallel Architectures and Compilation Techniques (PACT'00), 2000

1999
An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems.
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

Functional Elimination and 0/1/All Constraints.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998
The Semantics of Constraint Logic Programs.
J. Log. Program., 1998

Open Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming, 1998

1997
Constraint Programming 2000: A Position Paper.
Constraints An Int. J., 1997

Toward Practical Query Evaluation for Constraint Databases.
Constraints An Int. J., 1997

Forward and Backward Chaining in Constraint Programming (Abstract).
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

1996
Constraint Programming 2000.
ACM Comput. Surv., 1996

Using Constraints to Model Disjunctions in Rule-Based Reasoning.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
Logic Programming and Object Modelling: A Case Study (Abstract).
Proceedings of the Logic Programming, 1995

A Generic Algorithm for CLP Analysis.
Proceedings of the Logic Programming, 1995

1994
Constraint Logic Programming: A Survey.
J. Log. Program., 1994

Beyond Finite Domains.
Proceedings of the Principles and Practice of Constraint Programming, 1994

Set Constraints and Set-Based Analysis.
Proceedings of the Principles and Practice of Constraint Programming, 1994

1993
Projecting CLP (R) Constraints.
New Gener. Comput., 1993

Toward Practical Constraint Databases.
Proceedings of the 19th International Conference on Very Large Data Bases, 1993

1992
The CLP(R) Language and System.
ACM Trans. Program. Lang. Syst., 1992

An Abstract Machine for CLP(R).
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

An Engine for Logic Program Analysis
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Output in CLP.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Semantic Types for Logic Programs.
Proceedings of the Types in Logic Programming., 1992

1991
A Methodology for Managing Hard Constraints in CLP Systems.
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

The CLP(R) language and system: an overview.
Proceedings of the Compcon Spring '91, San Francisco, 1991

1990
Minimal and Complete Word Unification
J. ACM, January, 1990

A Finite Presentation Theorem for Approximating Logic Programs.
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

A Decision Procedure for a Class of Set Constraints (Extended Abstract)
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1987
On Parallel Unification for Prolog.
New Gener. Comput., 1987

Constraint Logic Programming.
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

From Unification to Constraints.
Proceedings of the Logic Programming '87, 1987

PROLOG - II as an instance of the logic programming language scheme.
Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

Methodology and Implementation of a CLP System.
Proceedings of the Logic Programming, 1987

1986
Semantics of Infinite Tree Logic Programming.
Theor. Comput. Sci., 1986

Canonical Logic Programs.
J. Log. Program., 1986

Comments on "General Failure of Logic Programs".
J. Log. Program., 1986

Logic Program Semantics for Programming with Equations.
Proceedings of the Third International Conference on Logic Programming, 1986

Invited Talk: Some Issues and Trends in the Semantics of Logic Programming.
Proceedings of the Third International Conference on Logic Programming, 1986

Logic Programming Language Scheme.
Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1984
Efficient Unification over Infinite Terms.
New Gener. Comput., 1984

A Theory of Complete Logic Programs with Equality.
J. Log. Program., 1984

1983
A Correctness Proof of an Indenting Program.
Softw. Pract. Exp., 1983

Completeness of the Negation as Failure Rule.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
Reasoning about Array Segments.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982

1981
Presburger Arithmetic With Array Segments.
Inf. Process. Lett., 1981


  Loading...