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. Kafle B, Gange G, Schachte P, Sondergaard H, Stuckey PJ. 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.
  2. 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.
  3. De UÑa D, Gange G, Schachte P, Stuckey PJ. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. Gange G, Navas Laserna J, Schachte P, Sondergaard H, Stuckey P. Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. Association for Computing Machinery Inc.. 2015, Vol. 37, Issue 1.

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