Zoltan Somogyi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
13
Active years
1987–2013
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | PLDI | A low overhead method for recovering unused memory inside regions. | Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Sndergaard |
| 2012 | PLDI | Towards region-based memory management for Go. | Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Sndergaard |
| 2012 | POPL | Controlling loops in parallel mercury code. | Paul Bone, Zoltan Somogyi, Peter Schachte |
| 2011 | CP | Half Reification and Flattening. | Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey |
| 2011 | ICLP | Minimizing the overheads of dependent {AND}-parallelism. | Peter Wang, Zoltan Somogyi |
| 2008 | PADL | DCGs + Memoing = Packrat Parsing but Is It Worth It? | Ralph Becket, Zoltan Somogyi |
| 2006 | PADL | Adding Constraint Solving to Mercury. | Ralph Becket, Maria J. Garca de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace |
| 2006 | PADL | Controlling Search Space Materialization in a Practical Declarative Debugger. | Ian MacLarty, Zoltan Somogyi |
| 2006 | PADL | Tabling in Mercury: Design and Implementation. | Zoltan Somogyi, Konstantinos Sagonas |
| 2005 | CP | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. | Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2005 | ICLP | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. | Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2002 | CC | Compiling Mercury to High-Level C Code. | Fergus Henderson, Zoltan Somogyi |
| 2002 | PPDP | Constraint-based mode analysis of mercury. | David Overton, Zoltan Somogyi, Peter J. Stuckey |
| 2002 | PPDP | Using the heap to eliminate stack accesses. | Zoltan Somogyi, Peter J. Stuckey |
| 1999 | LOPSTR | Making Mercury Programs Tail Recursive. | Peter Ross, David Overton, Zoltan Somogyi |
| 1999 | PADL | MCORBA: A CORBA Binding for Mercury. | David Jeffery, Tyson Dowd, Zoltan Somogyi |
| 1999 | PPDP | Run Time Type Information in Mercury. | Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas C. Conway, David Jeffery |
| 1997 | DASFAA | Database Transactions in a Purely Declarative Logic Programming Language. | David B. Kemp, Thomas C. Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi |
| 1997 | SAS | Termination Analysis for Mercury. | Chris Speirs, Zoltan Somogyi, Harald Sndergaard |
| 1994 | EDBT | Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. | Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao |
| 1993 | ICLP | Status of the Aditi Deductive Database System. | Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland |
| 1991 | ICDE | Design Overview of the Aditi Deductive Database System. | Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey |
| 1990 | VLDB | Right-, left- and multi-linear rule transformations that maintain context information. | David B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi |
| 1988 | ICLP | A Stream AND-Parallel Execution Algorithm with Backtracking. | Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani |
| 1987 | ICLP | A System of Precise Models for Logic Programs. | Zoltan Somogyi |