Peter Schachte

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