Zoltan Somogyi

According to our database, Zoltan Somogyi authored at least 38 papers between 1987 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Region-based memory management for Mercury programs.

Quan Phan, Gerda Janssens, Zoltan Somogyi

Theory Pract. Log. Program., 2013

A low overhead method for recovering unused memory inside regions.

Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Søndergaard

Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, 2013

2012

Controlling loops in parallel mercury code.

Paul Bone, Zoltan Somogyi, Peter Schachte

Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012

Towards region-based memory management for Go.

Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Søndergaard

Proceedings of the 2012 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '12, 2012

2011

Estimating the overlap between dependent computations for automatic parallelization.

Paul Bone, Zoltan Somogyi, Peter Schachte

Theory Pract. Log. Program., 2011

Profiling parallel Mercury programs with ThreadScope

Paul Bone, Zoltan Somogyi

CoRR, 2011

Minimizing the overheads of dependent {AND}-parallelism.

Peter Wang, Zoltan Somogyi

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Half Reification and Flattening.

Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2008

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

Ralph Becket, Zoltan Somogyi

Proceedings of the Practical Aspects of Declarative Languages, 2008

Runtime support for region-based memory management in Mercury.

Quan Phan, Zoltan Somogyi, Gerda Janssens

Proceedings of the 7th International Symposium on Memory Management, 2008

2006

Tabling in Mercury: Design and Implementation.

Zoltan Somogyi, Konstantinos Sagonas

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Controlling Search Space Materialization in a Practical Declarative Debugger.

Ian MacLarty, Zoltan Somogyi

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Adding Constraint Solving to Mercury.

Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

2005

The G12 Project: Mapping Solver Independent Models to Efficient Solutions.

Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh

Proceedings of the Logic Programming, 21st International Conference, 2005

Divide-and-query and subterm dependency tracking in the mercury declarative debugger.

Ian MacLarty, Zoltan Somogyi, Mark Brown

Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2003

Idempotent I/O for safe time travel

Zoltan Somogyi

CoRR, 2003

2002

Using the heap to eliminate stack accesses.

Zoltan Somogyi, Peter J. Stuckey

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Constraint-based mode analysis of mercury.

David Overton, Zoltan Somogyi, Peter J. Stuckey

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Compiling Mercury to High-Level C Code.

Fergus Henderson, Zoltan Somogyi

Proceedings of the Compiler Construction, 11th International Conference, 2002

2000

Type Classes in Mercury.

David Jeffery, Fergus Henderson, Zoltan Somogyi

Proceedings of the 23rd Australasian Computer Science Conference (ACSC 2000), 31 January, 2000

1999

The Implementation Technology of the Mercury Debugger.

Zoltan Somogyi, Fergus Henderson

Proceedings of the Tenth Workshop on Logic Programming Environments, 1999

Run Time Type Information in Mercury.

Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas C. Conway, David Jeffery

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

MCORBA: A CORBA Binding for Mercury.

David Jeffery, Tyson Dowd, Zoltan Somogyi

Proceedings of the Practical Aspects of Declarative Languages, 1999

Making Mercury Programs Tail Recursive.

Peter Ross, David Overton, Zoltan Somogyi

Proceedings of the Logic Programming Synthesis and Transformation, 1999

1997

Termination Analysis for Mercury.

Chris Speirs, Zoltan Somogyi, Harald Søndergaard

Proceedings of the Static Analysis, 4th International Symposium, 1997

Database Transactions in a Purely Declarative Logic Programming Language.

David B. Kemp, Thomas C. Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi

Proceedings of the Database Systems for Advanced Applications '97, 1997

1996

The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language.

Zoltan Somogyi, Fergus Henderson, Thomas C. Conway

J. Log. Program., 1996

1995

Code Generation for Mercury.

Thomas C. Conway, Fergus Henderson, Zoltan Somogyi

Proceedings of the Logic Programming, 1995

1994

The Aditi Deductive Database System

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland

VLDB J., 1994

The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language.

Zoltan Somogyi, Fergus Henderson, Thomas C. Conway

Proceedings of the ILPS 1994, 1994

Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures.

Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao

Proceedings of the Advances in Database Technology, 1994

1993

Status of the Aditi Deductive Database System.

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland

Proceedings of the Logic Programming, 1993

The Aditi Deductive Datebase System.

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland

Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993

1991

Design Overview of the Aditi Deductive Database System.

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey

Proceedings of the Seventh International Conference on Data Engineering, 1991

1990

Right-, left- and multi-linear rule transformations that maintain context information.

David B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi

Proceedings of the 16th International Conference on Very Large Data Bases, 1990

1988

A backtracking algorithm for the stream AND-parallel execution of logic programs.

Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani

Int. J. Parallel Program., 1988

A Stream AND-Parallel Execution Algorithm with Backtracking.

Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani

Proceedings of the Logic Programming, 1988

1987

A System of Precise Models for Logic Programs.

Zoltan Somogyi

Proceedings of the Logic Programming, 1987