University home page

Find an ExpertProfiling the University of Melbourne's Researchers

DR ZOLTAN SOMOGYI



Contact Details

Organization: Computer Science and Software Engineering
Position: SENIOR LECTURER
Email:
Homepage: www.cs.mu.oz.au/~zs
Work: 8344 1336
Fax: 9348 1184
Room: 534
Level: 05
Building: 111-117 Barry St.
Campus: Parkville

Research Expertise and International Linkages

Research Expertise

Research Interest Country of Expertise
logic programming, programming language implementation Australia

International Linkages

Country Establishment Collaboration
Belgium Katholiek Universiteit Leuven Exchange, Research

Qualifications, Honours, Fellowships and Other Awards

Qualifications

Title Institution Date Awarded Abbreviation
Bachelor of Science (Honours) University of Melbourne 31-Dec-1984
Doctor of Philosophy University of Melbourne 31-Dec-1989

Government Research Classifications

Research Fields, Courses and Discipline Classifications

Socio-Economic Objective Classifications

Grants and Contracts

Research Grants, Contracts and Consultancies awarded to the University of Melbourne as the administering institution (since 2003) as recorded in Themis Agreements.

Grants

Title Role Funding Source Scheme Award Date
ARC Centre for Perceptive and Intelligent Machines in Complex Environments Chief Investigator MONASH UNIVERSITY,
AUST RESEARCH COUNCIL		 Centres of Excellence (AUST RESEARCH COUNCIL) 01/01/2004

Publications

Publications produced at the University of Melbourne and reported in the Annual Publications Collection and 'Research Report' since 2001. The Themis Publications module, released in November 2006, allows additional publications from previous institutions and publications from past years to be entered.

Publications in 2008

Conference Publications/Papers

  • DCGs + Memoing = Packrat Parsing but Is It Worth It?


    Year: 2008
    Event name: PADL 2008 - 10th International Symposium on Practical Aspects of Declarative Languages
    Conference Publication: Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages (Lecture Notes in Computer Science)
    Volume: 4902
    Page numbers: 182-196
    Publisher: Springer Verlag
    Author(s):
  • Runtime Support for Region-Based Memory Management in Mercury
    Year: 2008
    Event name: ISMM'08 - International Symposium on Memory Management
    Conference Publication: Proceedings of the 2008 International Symposium on Memory Management
    Page numbers: 61-70
    Publisher: Association for Computing Machinery (ACM)
    Author(s):

Publications in 2007

Conference Publications/Papers

  • Dealing with large predicates: exo-compilation in the WAM and in Mercury
    Year: 2007
    Event name: 7th Colloquium on Implementation of Constraint and Logic Programming
    Conference Publication: CICLOPS 2007: Proceedings of the Seventh Colloquium on Implementation of Constraint and Logic Programming
    Page numbers: 117-131
    Publisher: Universidade do Porto(Porto)
    Author(s):

Publications in 2006

Conference Publications/Papers

Publications in 2005

Conference Publications/Papers

  • Divide-and-query and subterm dependency tracking in the Mercury declarative debugger
    Year: 2005
    Event name: Sixth International Workshop on Automated and Analysis-driven Debugging
    Conference Publication: Proceedings of the Sixth International Workshop on Automated and Analysis-driven Debugging
    Page numbers: 59-68
    Publisher: ACM Press(New York)
    Author(s):
  • The G12 Project: Mapping Solver Independent Models to Efficient Solutions
    Year: 2005
    Event name: 21st International Conference, ICLP 2005
    Conference Publication: Logic Programming: 21st International Conference, ICLP 2005
    Volume: 3668
    Page numbers: 9-13
    Publisher: Springer(New York)
    Author(s):
  • The implementation of minimal mode tabling in Mercury
    Year: 2005
    Event name: CICLOPS 2005 - Colloquium on Implementation of Constraint and Logic Programming
    Conference Publication: Proceedings of the Colloquium on Implementation of Constraint and Logic Programming
    Page numbers: 1-12
    Publisher: CICLOPS 2005(Barcelona)
    Author(s):

Publications in 2003

Conference Publications/Papers

  • Idempotent I/O for Safe Time Travel
    Year: 2003
    Event name: Fifth International Workshop on Automated Debugging
    Conference Publication: Proceedings of the Fifth International Workshop on Automated Debugging
    Page numbers: 13-24
    Publisher: Ghent University(Ghent)
    Author(s):

Publications in 2002

Conference Publications/Papers

  • Compiling Mercury to High-Level C Code
    Year: 2002
    Event name: 11th International Conference on Compiler Construction
    Conference Publication: Compiler Construction
    Volume: 2304
    Page numbers: 197-212
    Publisher: Springer Verlag(Berlin)
    Author(s):
  • Constraint-based mode analysis of Mercury
    Year: 2002
    Event name: The Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
    Conference Publication: Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
    Page numbers: 109-120
    Publisher: ACM Press(New York)
    Author(s):
  • Using the heap to eliminate stack access
    Year: 2002
    Event name: The Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
    Conference Publication: Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
    Page numbers: 121-132
    Publisher: ACM Press(New York)
    Author(s):

Publications in 2001

Reports

  • Deep profiling: engineering a profiler for a declarative programming language
    Year: 2001
    Customer: Academic Researchers in the field of Computer Science
    Report No:: TR2001/24
    Publisher: Department of Computer Science and Software Engineering(Melbourne)
    Authors:
top of page