Zoltan Somogyi

42 papers A* 2A 2B 7C 10Journal 8Unranked 13

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