default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter Schachte
Person information
- affiliation: University of Melbourne, School of Computing and Information Systems, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j17]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): 319-342 (2024)- 2021
- [j16]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): 11:1-11:51 (2021) - [j15]Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard:
Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. 21(6): 700-716 (2021) - [c45]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Disjunctive Interval Analysis. SAS 2021: 144-165 - [c44]Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Lightweight Nontermination Inference with CHCs. SEFM 2021: 383-402 - [i8]Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard:
Transformation-Enabled Precondition Inference. CoRR abs/2108.03178 (2021) - 2020
- [c43]Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Abstract Interpretation, Symbolic Execution and Constraints. Gabbrielli's Festschrift 2020: 7:1-7:19 - [c42]Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
String Constraint Solving: Past, Present and Future. ECAI 2020: 2875-2876 - [c41]Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. LOPSTR 2020: 192-209
2010 – 2019
- 2019
- [j14]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): 56-93 (2019) - [c40]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Dissecting Widening: Separating Termination from Information. APLAS 2019: 95-114 - [c39]Mak Andrlon, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Optimal Bounds for Floating-Point Addition in Constant Time. ARITH 2019: 159-166 - [c38]Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Constraint Programming for Dynamic Symbolic Execution of JavaScript. CPAIOR 2019: 1-19 - 2018
- [j13]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): 297-326 (2018) - [j12]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): 553-570 (2018) - [c37]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: 1277-1283 - [i7]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 abs/1804.05989 (2018) - [i6]Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Precondition Inference via Partitioning of Initial States. CoRR abs/1811.06771 (2018) - 2017
- [c36]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Minimizing Landscape Resistance for Habitat Conservation. CPAIOR 2017: 113-130 - [c35]Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. SAT 2017: 380-397 - [c34]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: 41-57 - 2016
- [j11]Lee Naish, Peter Schachte, Aleck M. MacNally:
Adtpp: lightweight efficient safe polymorphic algebraic data types for C. Softw. Pract. Exp. 46(12): 1685-1703 (2016) - [j10]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: 1-24 (2016) - [c33]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Steiner Tree Problems with Side Constraints Using Constraint Programming. AAAI 2016: 3383-3389 - [c32]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
A Bounded Path Propagator on Directed Graphs. CP 2016: 189-206 - [c31]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Weighted Spanning Tree Constraint with Explanations. CPAIOR 2016: 98-107 - [c30]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Exploiting Sparsity in Difference-Bound Matrices. SAS 2016: 189-211 - [c29]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
An Abstract Domain of Uninterpreted Functions. VMCAI 2016: 85-103 - 2015
- [j9]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): 526-542 (2015) - [c28]Ross Kyprianou, Peter Schachte, Bill Moran:
Dauphin: A Signal Processing Language - Statistical Signal Processing Made Easy. DICTA 2015: 1-8 - [c27]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: 422-428 - [i5]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 abs/1507.05762 (2015) - 2014
- [j8]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): 1:1-1:35 (2014) - [c26]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: 3-20 - [i4]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Partial-Order Approach to Array Content Analysis. CoRR abs/1408.1754 (2014) - [i3]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 abs/1411.5131 (2014) - 2013
- [j7]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): 593-607 (2013) - [c25]Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte:
Solving Difference Constraints over Modular Arithmetic. CADE 2013: 215-230 - [c24]Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Søndergaard:
A low overhead method for recovering unused memory inside regions. MSPC@PLDI 2013: 4:1-4:10 - [c23]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Abstract Interpretation over Non-lattice Abstract Domains. SAS 2013: 6-24 - [c22]Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte:
Unbounded Model-Checking with Interpolation for Regular Language Constraints. TACAS 2013: 277-291 - 2012
- [c21]Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. APLAS 2012: 115-130 - [c20]Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Søndergaard:
Towards region-based memory management for Go. MSPC 2012: 58-67 - [c19]Paul Bone, Zoltan Somogyi, Peter Schachte:
Controlling loops in parallel mercury code. DAMP 2012: 11-20 - 2011
- [j6]Paul Bone, Zoltan Somogyi, Peter Schachte:
Estimating the overlap between dependent computations for automatic parallelization. Theory Pract. Log. Program. 11(4-5): 575-591 (2011) - [i2]Paul Bone, Zoltan Somogyi, Peter Schachte:
Estimating the overlap between dependent computations for automatic parallelization. CoRR abs/1109.1420 (2011) - 2010
- [j5]Peter Schachte, Harald Søndergaard, Leigh Whiting, Kevin Henshall:
Information loss in knowledge compilation: A comparison of Boolean envelopes. Artif. Intell. 174(9-10): 585-596 (2010) - [j4]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)
2000 – 2009
- 2009
- [c18]Khalid Al-Jasser, Peter Schachte:
ParaAJ: toward Reusable and Maintainable Aspect Oriented Programs. ACSC 2009: 53-62 - [c17]Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting:
Boolean Affine Approximation with Binary Decision Diagrams. CATS 2009: 119-127 - [c16]Trevor Hansen, Peter Schachte, Harald Søndergaard:
State Joining and Splitting for the Symbolic Execution of Binaries. RV 2009: 76-92 - 2008
- [i1]Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting:
Binary Decision Diagrams for Affine Approximation. CoRR abs/0804.0066 (2008) - 2007
- [j3]Brian Herlihy, Peter Schachte, Harald Søndergaard:
Un-Kleene Boolean equation Solving. Int. J. Found. Comput. Sci. 18(2): 227-250 (2007) - [c15]Amy Beth Corman, Peter Schachte, Vanessa Teague:
QUIP: A Protocol For Securing Content in Peer-To-Peer Publish/Subscribe Overlay Networks. ACSC 2007: 35-40 - [c14]Amy Beth Corman, Peter Schachte, Vanessa Teague:
A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications. AINA Workshops (1) 2007: 24-29 - [c13]Khalid Al-Jasser, Peter Schachte, Edmund Kazmierczak:
Suitability of Object and Aspect Oriented Languages for Software Maintenance. ASWEC 2007: 117-128 - [c12]Amy Beth Corman, Peter Schachte, Vanessa Teague:
Secure random number agreement for peer-to-peer applications. ICPADS 2007: 1-8 - [c11]Peter Schachte, Harald Søndergaard:
Boolean Approximation Revisited. SARA 2007: 329-343 - 2006
- [c10]Amy Beth Corman, Scott Douglas, Peter Schachte, Vanessa Teague:
A Secure Event Agreement (SEA) protocol for peer-to-peer games. ARES 2006: 34-41 - [c9]Brian Herlihy, Peter Schachte, Harald Søndergaard:
Boolean equation solving as graph traversal. CATS 2006: 123-132 - [c8]Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey:
Size-Change Termination Analysis in k-Bits. ESOP 2006: 230-245 - [c7]Peter Schachte, Harald Søndergaard:
Closure Operators for ROBDDs. VMCAI 2006: 1-16 - 2003
- [j2]Peter Schachte:
Precise goal-independent abstract interpretation of constraint logic programs. Theor. Comput. Sci. 293(3): 557-577 (2003) - [c6]Peter Schachte:
Sequence Quantification. PADL 2003: 128-144 - 2001
- [c5]Peter Schachte:
Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs. CATS 2001: 249-265
1990 – 1999
- 1998
- [j1]Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard:
Two Classes of Boolean Functions for Dependency Analysis. Sci. Comput. Program. 31(1): 3-45 (1998) - [c4]Roberto Bagnara, Peter Schachte:
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. APPIA-GULP-PRODE 1998: 227-240 - [c3]Roberto Bagnara, Peter Schachte:
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. AMAST 1998: 471-485 - 1997
- [c2]Peter Schachte:
Global Variables in Logic Programming. ICLP 1997: 3-17 - 1995
- [p1]Peter Schachte, Georges Saab:
Efficient Object-Oriented Programming in Prolog. Logic Programming: Formal Methods and Practical Applications 1995: 205-243 - 1994
- [c1]Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard:
Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. SAS 1994: 266-280
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
