Peter Schachte

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 28

Top Topics

Interval Analysis

Intermediate Representations

Constraint Programming

Top Venues

Theory Pract. Log. Program.

Publications

Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A lightweight approach to nontermination inference using Constrained Horn Clauses. Softw. Syst. Model. 23 (2) (2024)
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. 21 (6) (2021)
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
Transformation-Enabled Precondition Inference. CoRR (2021)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Disjunctive Interval Analysis. SAS (2021)
Graeme Gange, Zequn Ma, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Fresh Look at Zones and Octagons. ACM Trans. Program. Lang. Syst. 43 (3) (2021)
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Lightweight Nontermination Inference with CHCs. SEFM (2021)
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. LOPSTR (2020)
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Abstract Interpretation, Symbolic Execution and Constraints. Gabbrielli's Festschrift (2020)
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
String Constraint Solving: Past, Present and Future. ECAI (2020)
Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Constraint Programming for Dynamic Symbolic Execution of JavaScript. CPAIOR (2019)
Mak Andrlon, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Optimal Bounds for Floating-Point Addition in Constant Time. ARITH (2019)
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
Compiling CP subproblems to MDDs and d-DNNFs. Constraints An Int. J. 24 (1) (2019)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Dissecting Widening: Separating Termination from Information. APLAS (2019)
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Precondition Inference via Partitioning of Initial States. CoRR (2018)
Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
Reference Abstract Domains and Applications to String Analysis. Fundam. Informaticae 158 (4) (2018)
Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
An iterative approach to precondition inference using constrained Horn clauses. CoRR (2018)
Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
An iterative approach to precondition inference using constrained Horn clauses. Theory Pract. Log. Program. 18 (3-4) (2018)
Diego de Uña, Nataliia Rümmele, Graeme Gange, Peter Schachte, Peter J. Stuckey
Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. IJCAI (2018)
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. SAT (2017)
Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
Combining String Abstract Domains for JavaScript Analysis: An Evaluation. TACAS (1) (2017)
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
Minimizing Landscape Resistance for Habitat Conservation. CPAIOR (2017)
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
Weighted Spanning Tree Constraint with Explanations. CPAIOR (2016)
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
Steiner Tree Problems with Side Constraints Using Constraint Programming. AAAI (2016)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A complete refinement procedure for regular separability of context-free languages. Theor. Comput. Sci. 625 (2016)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
An Abstract Domain of Uninterpreted Functions. VMCAI (2016)
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
A Bounded Path Propagator on Directed Graphs. CP (2016)
Lee Naish, Peter Schachte, Aleck M. MacNally
Adtpp: lightweight efficient safe polymorphic algebraic data types for C. Softw. Pract. Exp. 46 (12) (2016)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Exploiting Sparsity in Difference-Bound Matrices. SAS (2016)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Tool for Intersecting Context-Free Grammars and Its Applications. NFM (2015)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation. CoRR (2015)
Ross Kyprianou, Peter Schachte, Bill Moran
Dauphin: A Signal Processing Language - Statistical Signal Processing Made Easy. DICTA (2015)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Horn clauses as an intermediate representation for program analysis and transformation. Theory Pract. Log. Program. 15 (4-5) (2015)
J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Analyzing Array Manipulating Programs by Program Transformation. LOPSTR (2014)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. ACM Trans. Program. Lang. Syst. 37 (1) (2014)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Complete Refinement Procedure for Regular Separability of Context-Free Languages. CoRR (2014)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Partial-Order Approach to Array Content Analysis. CoRR (2014)
Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Søndergaard
A low overhead method for recovering unused memory inside regions. MSPC@PLDI (2013)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Failure tabled constraint logic programming by interpolation. Theory Pract. Log. Program. 13 (4-5) (2013)
Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte
Unbounded Model-Checking with Interpolation for Regular Language Constraints. TACAS (2013)
Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte
Solving Difference Constraints over Modular Arithmetic. CADE (2013)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Abstract Interpretation over Non-lattice Abstract Domains. SAS (2013)
Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Søndergaard
Towards region-based memory management for Go. MSPC (2012)
Paul Bone, Zoltan Somogyi, Peter Schachte
Controlling loops in parallel mercury code. DAMP (2012)
Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. APLAS (2012)
Paul Bone, Zoltan Somogyi, Peter Schachte
Estimating the overlap between dependent computations for automatic parallelization. Theory Pract. Log. Program. 11 (4-5) (2011)
Paul Bone, Zoltan Somogyi, Peter Schachte
Estimating the overlap between dependent computations for automatic parallelization CoRR (2011)
Peter Schachte, Harald Søndergaard, Leigh Whiting, Kevin Henshall
Information loss in knowledge compilation: A comparison of Boolean envelopes. Artif. Intell. 174 (9-10) (2010)
Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting
An Algorithm for Affine Approximation of Binary Decision Diagrams. Chic. J. Theor. Comput. Sci. 2010 (2010)
Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting
Boolean Affine Approximation with Binary Decision Diagrams. CATS (2009)
Khalid Al-Jasser, Peter Schachte
ParaAJ: toward Reusable and Maintainable Aspect Oriented Programs. ACSC (2009)
Trevor Hansen, Peter Schachte, Harald Søndergaard
State Joining and Splitting for the Symbolic Execution of Binaries. RV (2009)
Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting
Binary Decision Diagrams for Affine Approximation CoRR (2008)
Khalid Al-Jasser, Peter Schachte, Edmund Kazmierczak
Suitability of Object and Aspect Oriented Languages for Software Maintenance. ASWEC (2007)
Brian Herlihy, Peter Schachte, Harald Søndergaard
Un-Kleene Boolean equation Solving. Int. J. Found. Comput. Sci. 18 (2) (2007)
Amy Beth Corman, Peter Schachte, Vanessa Teague
A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications. AINA Workshops (1) (2007)
Amy Beth Corman, Peter Schachte, Vanessa Teague
QUIP: A Protocol For Securing Content in Peer-To-Peer Publish/Subscribe Overlay Networks. ACSC (2007)
Amy Beth Corman, Peter Schachte, Vanessa Teague
Secure random number agreement for peer-to-peer applications. ICPADS (2007)
Peter Schachte, Harald Søndergaard
Boolean Approximation Revisited. SARA (2007)
Brian Herlihy, Peter Schachte, Harald Søndergaard
Boolean equation solving as graph traversal. CATS (2006)
Peter Schachte, Harald Søndergaard
Closure Operators for ROBDDs. VMCAI (2006)
Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey
-Bits. ESOP (2006)
Amy Beth Corman, Scott Douglas, Peter Schachte, Vanessa Teague
A Secure Event Agreement (SEA) protocol for peer-to-peer games. ARES (2006)
Peter Schachte
Sequence Quantification. PADL (2003)
Peter Schachte
Precise goal-independent abstract interpretation of constraint logic programs. Theor. Comput. Sci. 293 (3) (2003)
Peter Schachte
Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs. Electron. Notes Theor. Comput. Sci. 42 (2001)
Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard
Two Classes of Boolean Functions for Dependency Analysis. Sci. Comput. Program. 31 (1) (1998)
Roberto Bagnara, Peter Schachte
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. APPIA-GULP-PRODE (1998)
Roberto Bagnara, Peter Schachte
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. AMAST (1998)
Peter Schachte
Global Variables in Logic Programming. ICLP (1997)
Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard
Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. SAS (1994)