Zoltan Somogyi

Publication Activity (10 Years)

Years Active: 1987-2013
Publications (10 Years): 0

Top Topics

Application Programs

Garbage Collection

Memory Management

Top Venues

Theory Pract. Log. Program.

Publications

Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Søndergaard
A low overhead method for recovering unused memory inside regions. MSPC@PLDI (2013)
Quan Phan, Gerda Janssens, Zoltan Somogyi
Region-based memory management for Mercury programs. Theory Pract. Log. Program. 13 (6) (2013)
Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Søndergaard
Towards region-based memory management for Go. MSPC (2012)
Paul Bone, Zoltan Somogyi, Peter Schachte
Controlling loops in parallel mercury code. DAMP (2012)
Quan Phan, Gerda Janssens, Zoltan Somogyi
Region-based memory management for Mercury programs CoRR (2012)
Peter Wang, Zoltan Somogyi
Minimizing the overheads of dependent {AND}-parallelism. ICLP (Technical Communications) (2011)
Paul Bone, Zoltan Somogyi
Profiling parallel Mercury programs with ThreadScope CoRR (2011)
Paul Bone, Zoltan Somogyi, Peter Schachte
Estimating the overlap between dependent computations for automatic parallelization. Theory Pract. Log. Program. 11 (4-5) (2011)
Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey
Half Reification and Flattening. CP (2011)
Paul Bone, Zoltan Somogyi, Peter Schachte
Estimating the overlap between dependent computations for automatic parallelization CoRR (2011)
Ralph Becket, Zoltan Somogyi
DCGs + Memoing = Packrat Parsing but Is It Worth It? PADL (2008)
Quan Phan, Zoltan Somogyi, Gerda Janssens
Runtime support for region-based memory management in Mercury. ISMM (2008)
Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace
Adding Constraint Solving to Mercury. PADL (2006)
Ian MacLarty, Zoltan Somogyi
Controlling Search Space Materialization in a Practical Declarative Debugger. PADL (2006)
Zoltan Somogyi, Konstantinos Sagonas
Tabling in Mercury: Design and Implementation. PADL (2006)
Ian MacLarty, Zoltan Somogyi, Mark Brown
Divide-and-query and subterm dependency tracking in the mercury declarative debugger. AADEBUG (2005)
Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. CP (2005)
Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. ICLP (2005)
Zoltan Somogyi
Idempotent I/O for safe time travel CoRR (2003)
Zoltan Somogyi, Peter J. Stuckey
Using the heap to eliminate stack accesses. PPDP (2002)
David Overton, Zoltan Somogyi, Peter J. Stuckey
Constraint-based mode analysis of mercury. PPDP (2002)
Fergus Henderson, Zoltan Somogyi
Compiling Mercury to High-Level C Code. CC (2002)
David Jeffery, Fergus Henderson, Zoltan Somogyi
Type Classes in Mercury. ACSC (2000)
Zoltan Somogyi, Fergus Henderson
The Implementation Technology of the Mercury Debugger. Electron. Notes Theor. Comput. Sci. 30 (4) (1999)
Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas C. Conway, David Jeffery
Run Time Type Information in Mercury. PPDP (1999)
David Jeffery, Tyson Dowd, Zoltan Somogyi
MCORBA: A CORBA Binding for Mercury. PADL (1999)
Peter Ross, David Overton, Zoltan Somogyi
Making Mercury Programs Tail Recursive. LOPSTR (1999)
David B. Kemp, Thomas C. Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi
Database Transactions in a Purely Declarative Logic Programming Language. DASFAA (1997)
Chris Speirs, Zoltan Somogyi, Harald Søndergaard
Termination Analysis for Mercury. SAS (1997)
Zoltan Somogyi, Fergus Henderson, Thomas C. Conway
The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language. J. Log. Program. 29 (1-3) (1996)
Thomas C. Conway, Fergus Henderson, Zoltan Somogyi
Code Generation for Mercury. ILPS (1995)
Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao
Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. EDBT (1994)
Zoltan Somogyi, Fergus Henderson, Thomas C. Conway
The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language. ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
The Aditi Deductive Database System VLDB J. 3 (2) (1994)
Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
The Aditi Deductive Datebase System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS (1993)
Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
Status of the Aditi Deductive Database System. ICLP (1993)
Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey
Design Overview of the Aditi Deductive Database System. ICDE (1991)
Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey
Design Overview of the Aditi Deductive Database System. Workshop on Deductive Databases (1990)
David B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi
Right-, left- and multi-linear rule transformations that maintain context information. VLDB (1990)
Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani
A Stream AND-Parallel Execution Algorithm with Backtracking. ICLP/SLP (1988)
Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani
A backtracking algorithm for the stream AND-parallel execution of logic programs. Int. J. Parallel Program. 17 (3) (1988)
Zoltan Somogyi
A System of Precise Models for Logic Programs. ICLP (1987)