Diego de Uña, Graeme Gange, Peter Schachte, and Peter J. Stuckey.
Minimizing landscape resistance for habitat conservation.
In Domenico Salvagnin and Michele Lombardi, editors, Integration
of AI and OR Techniques in Constraint Programming, pages 113–130, Cham,
2017. Springer International Publishing.
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, and
Peter J. Stuckey.
A Benders Decomposition Approach to Deciding Modular Linear
Integer Arithmetic, pages 380–397.
Springer International Publishing, Cham, 2017.
Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter
Schachte, Harald Søndergaard, Peter J. Stuckey, and Chenyi Zhang.
Combining string abstract domains for
javascript analysis: An evaluation.
In A. Legay and T. Margaria, editors, Tools and Algorithms for
the Construction and Analysis of Systems: Proceedings of the 23rd
International Conference (TACAS 2017), lncs, pages 41–57. Springer, 2017.
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and
Peter J. Stuckey.
Exploiting sparsity in difference-bound
matrices.
In Static Analysis - 23rd International Symposium, SAS 2016,
Edinburgh, UK, September 8-10, 2016, Proceedings, pages 189–211, 2016.
Diego de Uña, Graeme Gange, Peter Schachte, and Peter J Stuckey.
Weighted spanning tree constraint with
explanations.
In International Conference on AI and OR Techniques in
Constriant Programming for Combinatorial Optimization Problems, pages
98–107. Springer, 2016.
Diego de Uña, Graeme Gange, Peter Schachte, and Peter J Stuckey.
A bounded path propagator on directed graphs.
In International Conference on Principles and Practice of
Constraint Programming, pages 189–206. Springer, 2016.
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and
Peter J. Stuckey.
An abstract domain of uninterpreted
functions.
In Barbara Jobstmann and K. Rustan M. Leino, editors, Verification, Model Checking, and Abstract Interpretation, volume 9583 of
Lecture Notes in Computer Science, pages 85–103. Springer Berlin
Heidelberg, 2016.
Graeme Gange, Jorge Navas, Peter Schachte, Harald Søndergaard, and Peter J.
Stuckey.
A tool
for intersecting context-free grammars and its applications.
In K. Havelund, G. Holzmann, and R. Joshi, editors, NASA Formal
Methods: Proceedings of the Seventh International Symposium, volume 9058 of
Lecture Notes in Computer Science, pages 422–428. Springer
International, 2015.
J. Robert M. Cornish, Graeme Gange, Jorge Navas, Peter Schachte, Harald
Søndergaard, and Peter J. Stuckey.
Analyzing array manipulating
programs by program transformation.
In M. Proietti and H. Seki, editors, Logic-Based Program
Synthesis and Transformation: Proceedings of the 24th International
Symposium, volume 8981 of Lecture Notes in Computer Science, pages
3–20. Springer International, 2015.
Matthew Davis, Peter Schachte, Zoltan Somogyi, and Harald Søndergaard.
A low overhead method for
recovering unused memory inside regions.
In Proceedings of the 2013 ACM Workshop on Memory Systems
Performance and Correctness (MSPC 2013), pages 1–10. ACM Press, 2013.
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and
Peter J. Stuckey.
Abstract interpretation over
non-lattice abstract domains.
In F. Logozzo and M. Fähndrich, editors, Static Analysis,
volume 7935 of Lecture Notes in Computer Science, pages 6–24.
Springer, 2013.
Graeme Gange, Harald Søndergaard, Peter J. Stuckey, and Peter Schachte.
Solving difference constraints over modular
arithmetic.
In M. P. Bonacina, editor, CADE 2013: Proceedings of the 24th
International Conference on Automated Deduction, volume 7898 of Lecture
Notes in Artificial Intelligence, pages 215–230. Springer, 2013.
Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and
Peter Schachte.
Unbounded model-checking with interpolation
for regular language constraints.
In N. Piterman and S. Smolka, editors, TACAS 2013: Proceedings
of the 19th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, volume 7795 of Lecture Notes in
Computer Science, pages 279–293. Springer, 2013.
Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey.
Signedness-agnostic program analysis:
Precise integer bounds for low-level code.
In R. Jhala and A. Igarashi, editors, APLAS 2012: Proceedings of
the 10th Asian Symposium on Programming Languages and Systems, volume 7705
of Lecture Notes in Computer Science, pages 115–130. Springer, 2012.
Matthew Davis, Peter Schachte, Zoltan Somogyi, and Harald Søndergaard.
Towards region-based memory management for
go.
In Proceedings of the 2012 ACM SIGPLAN Workshop on Memory
Systems Performance and Correctness, MSPC ’12, pages 58–67, New York, NY,
USA, 2012. ACM.
Paul Bone, Zoltan Somogyi, and Peter Schachte.
Controlling loops in parallel mercury code.
In Proceedings of the 7th workshop on Declarative aspects and
applications of multicore programming, DAMP ’12, pages 11–20, New York, NY,
USA, 2012. ACM.
Trevor Hansen, Peter Schachte, and Harald Søndergaard.
State
joining and splitting for the symbolic execution of binaries.
In S. Bensalem and D. A. Peled, editors, Runtime Verification,
volume 5779 of Lecture Notes in Computer Science, pages 76–92.
Springer, 2009.
Kevin Henshall, Peter Schachte, Harald Søndergaard, and Leigh Whiting.
Boolean
affine approximation with binary decision diagrams.
In R. Downey and P. Manyem, editors, Theory of Computing 2009,
volume 94 of Conferences in Research and Practice in Information
Technology, pages 121–129, Wellington, New Zealand, 2009. ACS.
Khalid Aljasser and Peter Schachte.
ParaAJ:
Toward reusable and maintainable aspect oriented programs.
In Bernard Mans, editor, Thirty-Second Australasian Computer
Science Conference (ACSC 2009), volume 91 of Conferences in Research
and Practice in Information Technology, pages 65–74, Wellington, New
Zealand, 2009. ACS.
Amy Beth Corman, Peter Schachte, and Vanessa Teague.
Secure
random number agreement for peer-to-peer applications.
In International Workshop on Peer-to-Peer Network Virtual
Environments 2007 (P2P-NVE 07), volume 2, pages 1 – 8. IEEE Computer
Society, December 2007.
Peter Schachte and Harald Søndergaard.
Boolean approximation revisited.
In Ian Miguel and Wheeler Ruml, editors, Abstraction,
Reformulation and Approximation: Proceedings of SARA 2007, volume 4612 of
Lecture Notes in Artificial Intelligence, pages 329–343. Springer,
2007.
Amy Beth Corman, Peter Schachte, and Vanessa Teague.
A
secure group agreement (SGA) protocol for peer-to-peer applications.
In AINAW ’07: Proceedings of the 21st International Conference
on Advanced Information Networking and Applications Workshops, pages 24–29,
Washington, DC, USA, May 2007. IEEE Computer Society.
Brian Herlihy, Peter Schachte, and Harald Søndergaard.
Un-Kleene
Boolean equation solving.
International Journal of Foundations of Computer Science,
18(2):227–250, April 2007.
Michael Codish, Vitaly Lagoon, Peter Schachte, and Peter J. Stuckey.
Size-change
termination analysis in k-bits.
In Peter Sestoft, editor, Programming Languages and Systems,
15th European Symposium on Programming, ESOP 2006, Held as Part of the
Joint European Conferences on Theory and Practice of Software, ETAPS 2006,
Vienna, Austria, March 27-28, 2006, Proceedings, volume 3924 of Lecture
Notes in Computer Science, pages 230–245. Springer, 2006.
Brian Herlihy, Peter Schachte, and Harald Søndergaard.
Boolean
equation solving as graph traversal.
In Joachim Gudmundsson and Barry Jay, editors, Theory of
Computing 2006, volume 51 of Conferences in Research and Practice in
Information Technology, pages 123–132, 2006.
Peter Schachte and Harald Søndergaard.
Closure operators for ROBDDs.
In E. Allen Emerson and Kedar S. Namjoshi, editors, Verification, Model Checking, and Abstract Interpretation, volume 3855 of
Lecture Notes in Computer Science, pages 1–16. Springer, Berlin, 2006.
Peter Schachte.
Sequence quantification.
In Veronica Dahl and Philip Wadler, editors, Practical Aspects
of Declarative Languages, volume 2562 of Lecture Notes in Computer
Science, pages 128–144. Springer, Berlin, 2003.
Roberto Bagnara and Peter Schachte.
Factorizing equivalent variable pairs in
ROBDD-based implementations of Pos.
In A. M. Haeberer, editor, Proceedings of the “Seventh
International Conference on Algebraic Methodology and Software Technology
(AMAST’98)”, volume 1548 of Lecture Notes in Computer Science, pages
471–485, Amazonia, Brazil, 1999. Springer, Berlin.
Roberto Bagnara and Peter Schachte.
Factorizing equivalent variable pairs in ROBDD-based
implementations of Pos.
In J. L. Freire-Nistal, M. Falaschi, and M. Vilares-Ferro, editors,
Proceedings of the 1998 Joint Conference on Declarative Programming
(APPIA-GULP-PRODE ’98), pages 227–239, July20–23 1998.
Peter Schachte.
Global variables in logic programming.
In Lee Naish, editor, Logic Programming: Proceedings of the
Fourteenth International Conference on Logic Programming., pages 3–17,
Cambridge, USA, July 1997. MIT Press.
Peter Schachte.
Efficient ROBDD operations for program
analysis.
In Kotagiri Ramamohanarao, editor, ACSC’96: Proceedings of the
19th Australasian Computer Science Conference, pages 347–356.
Australian Computer Science Communications, 1996.
Z. Somogyi, F. Henderson, T. Conway, A. Bromage, T. Dowd, D. Jeffery, P. Ross,
P. Schachte, and S. Taylor.
Status of the mercury system.
In Proceedings of the JICSLP 1996 Workshop on Parallelism and
Implementation Technology for (Constraint) Logic Programming Languages,
pages 207–218, 1996.
Peter Schachte and Georges Saab.
Efficient object-oriented programming in Prolog.
In Christoph Beierle and Lutz Plümer, editors, Logic
Programming: Formal Methods and Practical Applications, number 11 in Studies
in Computer Science and Artificial Intelligence, chapter 7, pages 205–243.
Elsevier Science B.V./North-Holland, Amsterdam, 1995.
Tania Armstrong, Kim Marriott, Peter Schachte, and Harald Søndergaard.
Boolean functions for dependency analysis: Algebraic properties
and efficient representation.
In B. Le Charlier, editor, Static Analysis: Proceedings of the
First International Symposium, volume 864 of Lecture Notes in Computer
Science, pages 266–280. Springer-Verlag, Berlin, September 1994.
Peter Schachte and Georges Saab.
Efficient object-oriented programming in
Prolog.
In Leon Sterling, editor, Proceedings of the Second
International Conference on Practical Application of Prolog, pages
471–496, London, England, April 1994. Royal Society of Arts.