BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
1 × Italy
1 × Spain
2 × Australia
3 × France
8 × USA
Collaborated with:
P.J.Stuckey F.Henderson K.Ramamohanarao R.Becket D.Overton D.Jeffery T.Dowd T.C.Conway P.Wang I.MacLarty K.F.Sagonas ∅ J.Vaghani D.B.Kemp P.Bone P.Schachte Q.Phan G.Janssens P.Ross C.Speirs H.Søndergaard M.J.G.d.l.Banda K.Marriott M.Wallace T.S.Leask J.Harland M.J.Maher J.K.Slaney T.Walsh
Talks about:
mercuri (10) parallel (3) constraint (2) program (2) analysi (2) system (2) inform (2) depend (2) model (2) code (2)

Person: Zoltan Somogyi

DBLP DBLP: Somogyi:Zoltan

Contributed to:

ICLP 20112011
ICLP 20112011
ISMM 20082008
PADL 20082008
PADL 20062006
ICLP 20052005
CC 20022002
PPDP 20022002
LOPSTR 19991999
PADL 19991999
PPDP 19991999
SAS 19971997
ILPS 19951995
ICLP 19931993
VLDB 19901990
ICLP/SPL 19881988
ICLP 19871987

Wrote 20 papers:

ICLP-2011-WangS
Minimizing the overheads of dependent {AND}-parallelism (PW, ZS), pp. 128–138.
ICLP-J-2011-BoneSS #automation #parallel
Estimating the overlap between dependent computations for automatic parallelization (PB, ZS, PS), pp. 575–591.
ISMM-2008-PhanSJ #memory management #runtime
Runtime support for region-based memory management in Mercury (QP, ZS, GJ), pp. 61–70.
PADL-2008-BecketS #definite clause grammar #parsing #question
DCGs + Memoing = Packrat Parsing but Is It Worth It? (RB, ZS), pp. 182–196.
PADL-2006-BecketBMSSW #constraints #theorem proving
Adding Constraint Solving to Mercury (RB, MJGdlB, KM, ZS, PJS, MW), pp. 118–133.
PADL-2006-MacLartyS #debugging #declarative
Controlling Search Space Materialization in a Practical Declarative Debugger (IM, ZS), pp. 31–44.
PADL-2006-SomogyiS #design #implementation
Tabling in Mercury: Design and Implementation (ZS, KFS), pp. 150–167.
ICLP-2005-StuckeyBMMSSWW #independence #modelling #performance
The G12 Project: Mapping Solver Independent Models to Efficient Solutions (PJS, MJGdlB, MJM, KM, JKS, ZS, MW, TW), pp. 9–13.
CC-2002-HendersonS #c #compilation
Compiling Mercury to High-Level C Code (FH, ZS), pp. 197–212.
PPDP-2002-OvertonSS #analysis #constraints
Constraint-based mode analysis of mercury (DO, ZS, PJS), pp. 109–120.
PPDP-2002-SomogyiS #stack #using
Using the heap to eliminate stack accesses (ZS, PJS), pp. 121–132.
LOPSTR-1999-RossOS #recursion #source code
Making Mercury Programs Tail Recursive (PR, DO, ZS), pp. 196–215.
PADL-1999-JefferyDS #corba #named
MCORBA: A CORBA Binding for Mercury (DJ, TD, ZS), pp. 211–227.
PPDP-1999-DowdSHCJ #runtime
Run Time Type Information in Mercury (TD, ZS, FH, TCC, DJ), pp. 224–243.
SAS-1997-SpeirsSS #analysis #termination
Termination Analysis for Mercury (CS, ZS, HS), pp. 160–171.
ILPS-1995-ConwayHS #code generation
Code Generation for Mercury (TCC, FH, ZS), pp. 242–256.
ICLP-1993-VaghaniRKSSLH #database #deduction
Status of the Aditi Deductive Database System (JV, KR, DBK, ZS, PJS, TSL, JH), p. 851.
VLDB-1990-KempRS #information management #maintenance #multi
Right-, left- and multi-linear rule transformations that maintain context information (DBK, KR, ZS), pp. 380–391.
JICSCP-1988-SomogyiRV88 #algorithm #backtracking #execution
A Stream AND-Parallel Execution Algorithm with Backtracking (ZS, KR, JV), pp. 1142–1159.
ICLP-1987-Somogyi87 #logic programming #modelling #precise #source code
A System of Precise Models for Logic Programs (ZS), pp. 769–787.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.