Dr Peter Schachte

  • Room: Level: 08 Room: 8.15
  • Building: Doug McDonell Building
  • Campus: Parkville

Research interests

  • Programming Languages (Program Verification, Program Analysis, Programming Language Design, Declarative Programming)

Personal webpage

http://people.eng.unimelb.edu.au/schachte/

Biography

Dr Peter Schachte is a Senior Lecturer in the Department of Computing and Information Systems at The University of Melbourne.

Dr Schachte has been involved in programming language research and development since the 1980s. From 1985 to 1993 he worked for Quintus Corporation, where he designed and implemented many parts of the company's Prolog language runtime system, development environments, graphics interfaces, object-oriented extenstions, and applications.
 
In his research, Dr Schachte concentrated largely on static analysis of logic programs. He built an efficient groundness analyser for Prolog and concentrated on improving its performance by designing and implementing new algorithms and data structures.  He has also worked to improve programming language expressiveness, extending the Mercury compiler to allow the development of purely declarative software components with efficient imperative implementations. To Prolog, he added the ability to manipulate global state in a declarative way, and to use universal quantification as a flexible declarative looping facility. In collaboration with research students, he investigated secure network protocols, aspect-oriented programming, static checking of program binaries, the design and implementation of a purely declarative imperative programming language, automatic parallelisation of  declarative programs, and improved automatic memory management.

Recent publications

  1. Amadini R, Gange G, Gauthier F, Jordan A, Schachte P, Sondergaard H, Stuckey PJ, Zhang C. Reference Abstract Domains and Applications to String Analysis. FUNDAMENTA INFORMATICAE. IOS Press. 2018, Vol. 158, Issue 4. DOI: 10.3233/FI-2018-1650
  2. Kafle B, Gange G, Schachte P, Sondergaard H, Stuckey P. A benders decomposition approach to deciding modular linear integer arithmetic. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10491 LNCS. DOI: 10.1007/978-3-319-66263-3_24
  3. Amadini R, Jordan A, Gange G, Gauthier F, Schachte P, Sondergaard H, Stuckey P, Zhang C. Combining string abstract domains for javascript analysis: An evaluation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10205 LNCS. DOI: 10.1007/978-3-662-54577-5_3
  4. De UÑa D, Gange G, Schachte P, Stuckey P. Minimizing landscape resistance for habitat conservation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10335 LNCS. DOI: 10.1007/978-3-319-59776-8_10
  5. De Una D, Gange G, Schachte P, Stuckey P. A Bounded Path Propagator on Directed Graphs. 22nd International Conference on the Principles and Practice of Constraint Programming (CP). Springer Verlag. 2016, Vol. 9892. Editors: Rueher M. DOI: 10.1007/978-3-319-44953-1_13
  6. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. A complete refinement procedure for regular separability of context-free languages. THEORETICAL COMPUTER SCIENCE. Elsevier Science. 2016, Vol. 625. DOI: 10.1016/j.tcs.2016.01.026
  7. Naish L, Schachte P, MacNally A. Adtpp: lightweight efficient safe polymorphic algebraic data types for C. SOFTWARE-PRACTICE & EXPERIENCE. John Wiley & Sons. 2016, Vol. 46, Issue 12. DOI: 10.1002/spe.2407
  8. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. An Abstract Domain of Uninterpreted Functions. 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). Springer Verlag. 2016, Vol. 9583. Editors: Jobstmann B, Leino KRM. DOI: 10.1007/978-3-662-49122-5_4
  9. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. Exploiting Sparsity in Difference-Bound Matrices. 23rd International Symposium on Static Analysis (SAS). Springer Verlag. 2016, Vol. 9837. Editors: Rival X. DOI: 10.1007/978-3-662-53413-7_10
  10. De UÑa D, Gange G, Schachte P, Stuckey P. Steiner tree problems with side constraints using constraint programming. 30th AAAI Conference on Artificial Intelligence (AAAI). 2016.
  11. De Una D, Gange G, Schachte P, Stuckey P. Weighted Spanning Tree Constraint with Explanations. 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR). Springer Verlag. 2016, Vol. 9676. Editors: Quimper CG. DOI: 10.1007/978-3-319-33954-2_8
  12. Gange G, Navas Laserna J, Schachte P, Sondergaard H, Stuckey P. A Tool for Intersecting Context-Free Grammars and Its Applications. 7th NASA Formal Methods Symposium (NFM). Springer Verlag. 2015, Vol. 9058. Editors: Havelund K, Holzmann G, Joshi R. DOI: 10.1007/978-3-319-17524-9_31
  13. Cornish JR, Gange G, Navas Laserna J, Schachte P, Sondergaard H, Stuckey P. Analyzing Array Manipulating Programs by Program Transformation. 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR). Springer Verlag. 2015, Vol. 8981. Editors: Proietti M, Seki H. DOI: 10.1007/978-3-319-17822-6_1
  14. Kyprianou R, Schachte P, Moran B. Dauphin: A Signal Processing Language Statistical Signal Processing made easy. 2015 INTERNATIONAL CONFERENCE ON DIGITAL IMAGE COMPUTING: TECHNIQUES AND APPLICATIONS (DICTA). IEEE. 2015. DOI: 10.1109/DICTA.2015.7371250
  15. Gange G, Navas Laserna J, Schachte P, Sondergaard H, Stuckey P. Horn clauses as an intermediate representation for program analysis and transformation. 31st International Conference on Logic Programming (ICLP) Co-located with the 21st International Conference on Principles and Practice of Constraint Programming (CP). Cambridge University Press. 2015, Vol. 15. DOI: 10.1017/S1471068415000204

View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile