Jedd: a BDD-based relational extension of Java

No abstract is available for this paper.

• Publication year

  2004

• Venue

  ACM-SIGPLAN Symposium on Programming Language Design and Implementation

• Publication date

  2004-06-09

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/996841.996861
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams

  2004influential reference
• Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

  2004cited by this paper
• Incremental execution of transformation specifications

  2004influential reference
• Symbolic pointer analysis revisited

  2004cited by this paper
• Polyglot: An Extensible Compiler Framework for Java

  2003cited by this paper
• Validating SAT solvers using an independent resolution-based checker: practical implementations and other applications

  2003cited by this paper
• Simple and efficient relational querying of software structures

  2003influential reference
• Unifying Tables, Objects and Documents

  2003cited by this paper
• Points-to analysis using BDDs

  2003cited by this paper
• Compactly Representing First-Order Structures for Static Analysis

  2002cited by this paper
• Bebop: a path-sensitive interprocedural dataflow engine

  2001influential reference
• Wins and losses of algebraic transformations of software architectures

  2001influential reference
• Chaff: engineering an efficient SAT solver

  2001cited by this paper
• Implementation of Relational Algebra Using Binary Decision Diagrams

  2001cited by this paper
• Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?

  2000cited by this paper
• A Relational Model of Data Large Shared Data Banks

  2000cited by this paper
• Parametric shape analysis via 3-valued logic

  1999influential reference
• BuDDy : A binary decision diagram package.

  1999cited by this paper
• Arithmetic Boolean Expression Manipulator Using BDDs

  1997cited by this paper
• The Java Language Specification

  1996cited by this paper
• SWIG: An Easy to Use Tool for Integrating Scripting Languages with C and C++

  1996cited by this paper
• Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems

  1993cited by this paper
• Symbolic Boolean manipulation with ordered binary-decision diagrams

  1992cited by this paper
• Programming in Prolog

  1987cited by this paper
• Programming with Sets: An Introduction to SETL

  1986cited by this paper

• RBAC protection-impacting changes identification: A case study of the security evolution of two PHP applications

  2021cites this paper
• JavaDL: automatically incrementalizing Java bug pattern detection

  2021cites this paper
• On the scalability of building binary decision diagrams for current feature models

  2021cites this paper
• SIGMOD officers, committees, and awardees

  2018cites this paper
• A user-guided approach to program analysis

  2015cites this paper
• Auto-parallelization of data structure operations for GPUs

  2014cites this paper
• On abstraction refinement for program analyses in Datalog

  2014cites this paper
• REVERSE-ENGINEERING AND ANALYSIS OF ACCESS CONTROL MODELS IN

  2014cites this paper
• Implementation of the relation domain for constraint programming

  2013cites this paper
• Field-Sensitive Pointer Analysis for C Programs with Integer/Pointer Conversions

  2013cites this paper
• Alias Analysis for Object-Oriented Programs

  2013cites this paper
• ACTION FAILURE RECOVERY VIA MODEL‐BASED DIAGNOSIS AND CONFORMANT PLANNING

  2013cites this paper
• Techniques to facilitate symbolic execution of real-world programs

  2012cites this paper
• Alias-Aware Propagation of Simple Pattern-Based Properties in PHP Applications

  2012cites this paper
• Synthesizing Concurrent Graph Data Structures: A Case Study

  2011cites this paper
• Assisting Programmers Resolving Vulnerabilities in Java Web Applications

  2011cites this paper
• Decisions: Algebra and Implementation

  2011cites this paper
• Large program trace analysis and compression with ZDDs

  2010cites this paper
• Sigmod Officers, Committees, and Awardees Chair Vice-chair Secretary/treasurer Sigmod Executive Com Mittee: Advisory Board: Infor Mation Director: Associate Infor Mation Directors: Sigmod Record Associate Editors: Sigmod Disc and Sigmod Anthology Editor: Awards Com Mittee: Jim Gray Doctoral Disserta

  2010cites this paper
• The declarative imperative: experiences and conjectures in distributed logic

  2010cites this paper
• On aspect-oriented programming for enforcing software design rules

  2010cites this paper
• An Optimal Encoding to Represent a Single Set in an ROBDD

  2010cites this paper
• Analyzing recursive programs using a fixed-point calculus

  2009cites this paper
• Strictly declarative specification of sophisticated points-to analyses

  2009cites this paper
• Using XBDDs and ZBDDs in points‐to analysis

  2009cites this paper
• A 3 M: an agent architecture for automated manufacturing

  2009cites this paper
• Exception analysis and points-to analysis: better together

  2009cites this paper
• Analyzing recursive programs using a fixed-point calculus

  2009cites this paper
• Parse Table Composition

  2009cites this paper
• From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode

  2009cites this paper
• Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis

  2009cites this paper
• Relations as an abstraction for BDD-based program analysis

  2008cites this paper
• SPaC: a symbolic pareto calculator

  2008cites this paper
• Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation

  2008cites this paper
• Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis

  2008cites this paper
• Conditional correlation analysis for safe region-based memory management

  2008cites this paper
• A language to script refactoring transformations

  2008cites this paper
• Parse Table Composition : Separate Compilation and Binary Extensibility of Grammars

  2008cites this paper
• GENETIC ALGORITHM FOR VARIABLE ORDERING OF ORDERED BINARY DECISION DIAGRAMS

  2008cites this paper
• Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

  2007cites this paper
• Using ZBDDs in Points-to Analysis

  2007cites this paper
• Refinement-Based Program Analysis Tools

  2007cites this paper
• .QL: Object-Oriented Queries Made Easy

  2007cites this paper
• Type qualifier inference for java

  2007cites this paper
• Regularly annotated set constraints

  2007cites this paper
• Context-sensitive pointer analysis using binary decision diagrams

  2007influential citation
• Inferring aliasing and encapsulation properties for java

  2007cites this paper
• Light context-sensitive points-to analysis for java

  2007cites this paper
• Type-Dependence Analysis and Program Transformation for Symbolic Execution

  2007cites this paper
• Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data

  2007cites this paper
• LEARNING EFFECTIVE BDD VARIABLE ORDERS FOR BDD-BASED PROGRAM ANALYSIS

  2006cites this paper
• JunGL: a scripting language for refactoring

  2006influential citation
• Program analysis using binary decision diagrams

  2006cites this paper
• Effective static race detection for Java

  2006cites this paper
• Refinement-based context-sensitive points-to analysis for Java

  2006influential citation
• How is aliasing used in systems software?

  2006cites this paper
• Pointer analysis for Java programs: novel techniques and applications

  2006influential citation
• Context-Sensitive Points-to Analysis: Is It Worth It?

  2006cites this paper
• PointsTo Analysis

  2005cites this paper
• Banshee : A Practical Constraint-Based Analysis Toolkit

  2005cites this paper
• Points-To Analysis

  2005cites this paper
• Banshee: A Scalable Constraint-Based Analysis Toolkit

  2005cites this paper
• Some directed graph algorithms and their application to pointer analysis

  2005cites this paper
• Error checking with client-driven pointer analysis

  2005cites this paper
• Demand-driven points-to analysis for Java

  2005cites this paper
• Optimising aspectJ

  2005cites this paper
• Using Datalog with Binary Decision Diagrams for Program Analysis

  2005cites this paper
• SYMBOLIC CONTEXT-SENSITIVE POINTER ANALYSIS

  2005cites this paper
• Path slicing

  2005cites this paper
• Towards scalable flow and context sensitive pointer analysis

  2005cites this paper
• Context-sensitive program analysis as database queries

  2005influential citation
• Context sensitive symbolic pointer analysis

  2005cites this paper
• IGR : Compiler Tools and Techniques for Object-Oriented and Aspect-Oriented Programs

  2004cites this paper
• The abc Group

  2004cites this paper
• Symbolic pointer analysis revisited

  2004influential citation
• Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

  2004cites this paper
• The abc Group Optimising AspectJ abc Technical Report No . abc-2004-3

  2004cites this paper
• Symbolic pointer analysis revisited

  2004cites this paper
• about the Internet and Networking : 2010 – 2019

  2003cites this paper