Peter Schachte

Orcid: 0000-0001-5959-3769

Affiliations:
  • University of Melbourne, School of Computing and Information Systems, Australia


According to our database1, Peter Schachte authored at least 64 papers between 1994 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A lightweight approach to nontermination inference using Constrained Horn Clauses.
Softw. Syst. Model., April, 2024

2021
Transformation-Enabled Precondition Inference.
Theory Pract. Log. Program., 2021

A Fresh Look at Zones and Octagons.
ACM Trans. Program. Lang. Syst., 2021

Lightweight Nontermination Inference with CHCs.
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

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

2020
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

String Constraint Solving: Past, Present and Future.
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.
Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2019
Compiling CP subproblems to MDDs and d-DNNFs.
Constraints An Int. J., 2019

Constraint Programming for Dynamic Symbolic Execution of JavaScript.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Optimal Bounds for Floating-Point Addition in Constant Time.
Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019

Dissecting Widening: Separating Termination from Information.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018
An iterative approach to precondition inference using constrained Horn clauses.
Theory Pract. Log. Program., 2018

Reference Abstract Domains and Applications to String Analysis.
Fundam. Informaticae, 2018

Precondition Inference via Partitioning of Initial States.
CoRR, 2018

Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017
Combining String Abstract Domains for JavaScript Analysis: An Evaluation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic.
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.
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.
Theor. Comput. Sci., 2016

Adtpp: lightweight efficient safe polymorphic algebraic data types for C.
Softw. Pract. Exp., 2016

An Abstract Domain of Uninterpreted Functions.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Exploiting Sparsity in Difference-Bound Matrices.
Proceedings of the Static Analysis - 23rd International Symposium, 2016

Weighted Spanning Tree Constraint with Explanations.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

A Bounded Path Propagator on Directed Graphs.
Proceedings of the Principles and Practice of Constraint Programming, 2016

Steiner Tree Problems with Side Constraints Using Constraint Programming.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Horn clauses as an intermediate representation for program analysis and transformation.
Theory Pract. Log. Program., 2015

A Tool for Intersecting Context-Free Grammars and Its Applications.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Dauphin: A Signal Processing Language - Statistical Signal Processing Made Easy.
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.
ACM Trans. Program. Lang. Syst., 2014

A Partial-Order Approach to Array Content Analysis.
CoRR, 2014

Analyzing Array Manipulating Programs by Program Transformation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2013
Failure tabled constraint logic programming by interpolation.
Theory Pract. Log. Program., 2013

Unbounded Model-Checking with Interpolation for Regular Language Constraints.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Abstract Interpretation over Non-lattice Abstract Domains.
Proceedings of the Static Analysis - 20th International Symposium, 2013

A low overhead method for recovering unused memory inside regions.
Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, 2013

Solving Difference Constraints over Modular Arithmetic.
Proceedings of the Automated Deduction - CADE-24, 2013

2012
Controlling loops in parallel mercury code.
Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012

Towards region-based memory management for Go.
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.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011
Estimating the overlap between dependent computations for automatic parallelization.
Theory Pract. Log. Program., 2011

2010
An Algorithm for Affine Approximation of Binary Decision Diagrams.
Chic. J. Theor. Comput. Sci., 2010

Information loss in knowledge compilation: A comparison of Boolean envelopes.
Artif. Intell., 2010

2009
State Joining and Splitting for the Symbolic Execution of Binaries.
Proceedings of the Runtime Verification, 9th International Workshop, 2009

Boolean Affine Approximation with Binary Decision Diagrams.
Proceedings of the Theory of Computing 2009, 2009

ParaAJ: toward Reusable and Maintainable Aspect Oriented Programs.
Proceedings of the Computer Science 2009, 2009

2008
Binary Decision Diagrams for Affine Approximation
CoRR, 2008

2007
Un-Kleene Boolean equation Solving.
Int. J. Found. Comput. Sci., 2007

Boolean Approximation Revisited.
Proceedings of the Abstraction, 2007

Secure random number agreement for peer-to-peer applications.
Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

Suitability of Object and Aspect Oriented Languages for Software Maintenance.
Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications.
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.
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.
Proceedings of the Verification, 2006

Size-Change Termination Analysis in <i>k</i>-Bits.
Proceedings of the Programming Languages and Systems, 2006

Boolean equation solving as graph traversal.
Proceedings of the Theory of Computing 2006, 2006

A Secure Event Agreement (SEA) protocol for peer-to-peer games.
Proceedings of the The First International Conference on Availability, 2006

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

2001
Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs.
Proceedings of the Computing: The Australasian Theory Symposium, 2001

1998
Two Classes of Boolean Functions for Dependency Analysis.
Sci. Comput. Program., 1998

Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997
Global Variables in Logic Programming.
Proceedings of the Logic Programming, 1997

1995
Efficient Object-Oriented Programming in Prolog.
Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1994
Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation.
Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994


  Loading...