Joxan Jaffar - RankMe

103 papers A* 15A 11B 23C 2Misc 2Journal 27Unranked 19

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