Peter Schachte

According to our database, Peter Schachte authored at least 63 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Transformation-Enabled Precondition Inference.

Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard

Theory Pract. Log. Program., 2021

A Fresh Look at Zones and Octagons.

Graeme Gange, Zequn Ma, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

ACM Trans. Program. Lang. Syst., 2021

Lightweight Nontermination Inference with CHCs.

Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Disjunctive Interval Analysis.

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the Static Analysis - 28th International Symposium, 2021

2020

Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study.

Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

String Constraint Solving: Past, Present and Future.

Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Abstract Interpretation, Symbolic Execution and Constraints.

Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2019

Compiling CP subproblems to MDDs and d-DNNFs.

Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey

Constraints An Int. J., 2019

Constraint Programming for Dynamic Symbolic Execution of JavaScript.

Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Optimal Bounds for Floating-Point Addition in Constant Time.

Mak Andrlon, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019

Dissecting Widening: Separating Termination from Information.

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

An iterative approach to precondition inference using constrained Horn clauses.

Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Theory Pract. Log. Program., 2018

Reference Abstract Domains and Applications to String Analysis.

Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang

Fundam. Informaticae, 2018

Precondition Inference via Partitioning of Initial States.

Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

CoRR, 2018

Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping.

Diego de Uña, Nataliia Rümmele, Graeme Gange, Peter Schachte, Peter J. Stuckey

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Combining String Abstract Domains for JavaScript Analysis: An Evaluation.

Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic.

Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Minimizing Landscape Resistance for Habitat Conservation.

Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

2016

A complete refinement procedure for regular separability of context-free languages.

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Theor. Comput. Sci., 2016

Adtpp: lightweight efficient safe polymorphic algebraic data types for C.

Lee Naish, Peter Schachte, Aleck M. MacNally

Softw. Pract. Exp., 2016

An Abstract Domain of Uninterpreted Functions.

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Exploiting Sparsity in Difference-Bound Matrices.

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Weighted Spanning Tree Constraint with Explanations.

Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

A Bounded Path Propagator on Directed Graphs.

Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming, 2016

Steiner Tree Problems with Side Constraints Using Constraint Programming.

Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Horn clauses as an intermediate representation for program analysis and transformation.

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Theory Pract. Log. Program., 2015

A Tool for Intersecting Context-Free Grammars and Its Applications.

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Dauphin: A Signal Processing Language - Statistical Signal Processing Made Easy.

Ross Kyprianou, Peter Schachte, Bill Moran

Proceedings of the 2015 International Conference on Digital Image Computing: Techniques and Applications, 2015

2014

Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss.

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

ACM Trans. Program. Lang. Syst., 2014

A Partial-Order Approach to Array Content Analysis.

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

CoRR, 2014

Analyzing Array Manipulating Programs by Program Transformation.

J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2013

Failure tabled constraint logic programming by interpolation.

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Theory Pract. Log. Program., 2013

Unbounded Model-Checking with Interpolation for Regular Language Constraints.

Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Abstract Interpretation over Non-lattice Abstract Domains.

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the Static Analysis - 20th International Symposium, 2013

A low overhead method for recovering unused memory inside regions.

Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Søndergaard

Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, 2013

Solving Difference Constraints over Modular Arithmetic.

Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Controlling loops in parallel mercury code.

Paul Bone, Zoltan Somogyi, Peter Schachte

Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012

Towards region-based memory management for Go.

Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Søndergaard

Proceedings of the 2012 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '12, 2012

Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code.

Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Estimating the overlap between dependent computations for automatic parallelization.

Paul Bone, Zoltan Somogyi, Peter Schachte

Theory Pract. Log. Program., 2011

2010

An Algorithm for Affine Approximation of Binary Decision Diagrams.

Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting

Chic. J. Theor. Comput. Sci., 2010

Information loss in knowledge compilation: A comparison of Boolean envelopes.

Peter Schachte, Harald Søndergaard, Leigh Whiting, Kevin Henshall

Artif. Intell., 2010

2009

State Joining and Splitting for the Symbolic Execution of Binaries.

Trevor Hansen, Peter Schachte, Harald Søndergaard

Proceedings of the Runtime Verification, 9th International Workshop, 2009

Boolean Affine Approximation with Binary Decision Diagrams.

Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting

Proceedings of the Theory of Computing 2009, 2009

ParaAJ: toward Reusable and Maintainable Aspect Oriented Programs.

Khalid Al-Jasser, Peter Schachte

Proceedings of the Computer Science 2009, 2009

2008

Binary Decision Diagrams for Affine Approximation

Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting

CoRR, 2008

2007

Un-Kleene Boolean equation Solving.

Brian Herlihy, Peter Schachte, Harald Søndergaard

Int. J. Found. Comput. Sci., 2007

Boolean Approximation Revisited.

Peter Schachte, Harald Søndergaard

Proceedings of the Abstraction, 2007

Secure random number agreement for peer-to-peer applications.

Amy Beth Corman, Peter Schachte, Vanessa Teague

Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

Suitability of Object and Aspect Oriented Languages for Software Maintenance.

Khalid Al-Jasser, Peter Schachte, Edmund Kazmierczak

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications.

Amy Beth Corman, Peter Schachte, Vanessa Teague

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

QUIP: A Protocol For Securing Content in Peer-To-Peer Publish/Subscribe Overlay Networks.

Amy Beth Corman, Peter Schachte, Vanessa Teague

Proceedings of the Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30, 2007

2006

Closure Operators for ROBDDs.

Peter Schachte, Harald Søndergaard

Proceedings of the Verification, 2006

Size-Change Termination Analysis in <i>k</i>-Bits.

Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey

Proceedings of the Programming Languages and Systems, 2006

Boolean equation solving as graph traversal.

Brian Herlihy, Peter Schachte, Harald Søndergaard

Proceedings of the Theory of Computing 2006, 2006

A Secure Event Agreement (SEA) protocol for peer-to-peer games.

Amy Beth Corman, Scott Douglas, Peter Schachte, Vanessa Teague

Proceedings of the The First International Conference on Availability, 2006

2003

Sequence Quantification.

Peter Schachte

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

2001

Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs.

Peter Schachte

Proceedings of the Computing: The Australasian Theory Symposium, 2001

1998

Two Classes of Boolean Functions for Dependency Analysis.

Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard

Sci. Comput. Program., 1998

Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos.

Roberto Bagnara, Peter Schachte

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Global Variables in Logic Programming.

Peter Schachte

Proceedings of the Logic Programming, 1997

1995

Efficient Object-Oriented Programming in Prolog.

Peter Schachte, Georges Saab

Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1994

Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation.

Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994