Peter Schachte
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
35
Venues
23
Active years
1994–2026
Best venue rank
A*
Where they publish
- BSAS4 papers
- BAPLAS3 papers
- BCPAIOR3 papers
- AESOP2 papers
- CLOPSTR2 papers
- ATACAS2 papers
- BVMCAI2 papers
- A*PLDI2 papers
- BSEFM1 paper
- AECAI1 paper
- CARITH1 paper
- A*IJCAI1 paper
- ASAT1 paper
- A*AAAI1 paper
- ACP1 paper
- AustralasianDICTA1 paper
- ACADE1 paper
- A*POPL1 paper
- BRV1 paper
- BAINA1 paper
- BICPADS1 paper
- CPADL1 paper
- BICLP1 paper
Papers
35 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | The Memorist Tale: Every Thunk Every Cost All At Once. | Xing Li, Yao Li, Peter Schachte, Christine Rizkallah |
| 2025 | APLAS | Memory Safety: Uniqueness as Separation. | Pilar Selene Linares-Arvalo, Arthur Azevedo de Amorim, Vincent Jackson, Liam O'Connor, Peter Schachte, Christine Rizkallah |
| 2021 | SAS | Disjunctive Interval Analysis. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2021 | SEFM | Lightweight Nontermination Inference with CHCs. | Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2020 | ECAI | String Constraint Solving: Past, Present and Future. | Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2020 | LOPSTR | Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. | Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2019 | APLAS | Dissecting Widening: Separating Termination from Information. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2019 | ARITH | Optimal Bounds for Floating-Point Addition in Constant Time. | Mak Andrlon, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2019 | CPAIOR | Constraint Programming for Dynamic Symbolic Execution of JavaScript. | Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2018 | IJCAI | Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. | Diego de Ua, Nataliia Rmmele, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2017 | CPAIOR | Minimizing Landscape Resistance for Habitat Conservation. | Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2017 | SAT | A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. | Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2017 | TACAS | Combining String Abstract Domains for JavaScript Analysis: An Evaluation. | Roberto Amadini, Alexander Jordan, Graeme Gange, Franois Gauthier, Peter Schachte, Harald Sndergaard, Peter J. Stuckey, Chenyi Zhang |
| 2016 | AAAI | Steiner Tree Problems with Side Constraints Using Constraint Programming. | Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2016 | CP | A Bounded Path Propagator on Directed Graphs. | Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2016 | CPAIOR | Weighted Spanning Tree Constraint with Explanations. | Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2016 | SAS | Exploiting Sparsity in Difference-Bound Matrices. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2016 | VMCAI | An Abstract Domain of Uninterpreted Functions. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2015 | DICTA | Dauphin: A Signal Processing Language - Statistical Signal Processing Made Easy. | Ross Kyprianou, Peter Schachte, Bill Moran |
| 2014 | LOPSTR | Analyzing Array Manipulating Programs by Program Transformation. | J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2013 | CADE | Solving Difference Constraints over Modular Arithmetic. | Graeme Gange, Harald Sndergaard, Peter J. Stuckey, Peter Schachte |
| 2013 | PLDI | A low overhead method for recovering unused memory inside regions. | Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Sndergaard |
| 2013 | SAS | Abstract Interpretation over Non-lattice Abstract Domains. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2013 | TACAS | Unbounded Model-Checking with Interpolation for Regular Language Constraints. | Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Sndergaard, Peter Schachte |
| 2012 | APLAS | Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. | Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2012 | PLDI | Towards region-based memory management for Go. | Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Sndergaard |
| 2012 | POPL | Controlling loops in parallel mercury code. | Paul Bone, Zoltan Somogyi, Peter Schachte |
| 2009 | RV | State Joining and Splitting for the Symbolic Execution of Binaries. | Trevor Hansen, Peter Schachte, Harald Sndergaard |
| 2007 | AINA | A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications. | Amy Beth Corman, Peter Schachte, Vanessa Teague |
| 2007 | ICPADS | Secure random number agreement for peer-to-peer applications. | Amy Beth Corman, Peter Schachte, Vanessa Teague |
| 2006 | ESOP | Size-Change Termination Analysis in | Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey |
| 2006 | VMCAI | Closure Operators for ROBDDs. | Peter Schachte, Harald Sndergaard |
| 2003 | PADL | Sequence Quantification. | Peter Schachte |
| 1997 | ICLP | Global Variables in Logic Programming. | Peter Schachte |
| 1994 | SAS | Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. | Tania Armstrong, Kim Marriott, Peter Schachte, Harald Sndergaard |