Torsten Grust - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged compiler

Let SQL drive the XQuery workhorse (XQuery join graph isolation)Torsten Grust, Manuel Mayr, Jan Rittinger. edbt 2010: 147-158 [doi]

FERRY: database-supported program executionTorsten Grust, Manuel Mayr, Jan Rittinger, Tom Schreiber. SIGMOD 2009: 1063-1066 [doi]

Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. ProceedingsOege de Moor, Michael I. Schwartzbach, editors, Volume 5501 of Lecture Notes in Computer Science, Springer, 2009. [doi]

eXrQuy: Order Indifference in XQueryTorsten Grust, Jan Rittinger, Jens Teubner. icde 2007: 226-235 [doi]

A SQL: 1999 code generator for the pathfinder xquery compilerTorsten Grust, Manuel Mayr, Jan Rittinger, Sherif Sakr, Jens Teubner. SIGMOD 2007: 1162-1164 [doi]

Data-intensive XQuery debugging with instant replayTorsten Grust, Jan Rittinger, Jens Teubner. ximep 2007: [doi]

MonetDB/XQuery-Consistent and Efficient Updates on the Pre/Post PlanePeter A. Boncz, Jan Flokstra, Torsten Grust, Maurice van Keulen, Stefan Manegold, K. Sjoerd Mullender, Jan Rittinger, Jens Teubner. edbt 2006: 1190-1193 [doi]

Pathfinder: XQuery - The Relational WayPeter A. Boncz, Torsten Grust, Maurice van Keulen, Stefan Manegold, Jan Rittinger, Jens Teubner. VLDB 2005: 1322-1325 [doi]

Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, ProceedingsRastislav Bodík, editor, Volume 3443 of Lecture Notes in Computer Science, Springer, 2005.

Dependent Types, Theorem Proving, and Applications for a Verifying CompilerYves Bertot, Laurent Théry. vstte 2008: 173-181 [doi]

Towards Proof Generating CompilersArnd Poetzsch-Heffter, Marek Gawkowski. ENTCS, 132(1):37-51, 2005. [doi]

Educational Pearl: A Nanopass framework for compiler educationDipanwita Sarkar, Oscar Waddell, R. Kent Dybvig. JFP, 15(5):653-667, 2005. [doi]

Relational Algebra: Mother Tongue - XQuery: FluentTorsten Grust, Jens Teubner. tdm 2004: 9-16 [doi]

XQuery on SQL HostsTorsten Grust, Sherif Sakr, Jens Teubner. VLDB 2004: 252-263 [doi]

Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, ProceedingsVolume 2985 of Lecture Notes in Computer Science, Springer, 2004.

Structural Path Profiling: An Efficient Online Path Profiling Framework for Just-In-Time CompilersToshiaki Yasue, Toshio Suganuma, Hideaki Komatsu, Toshio Nakatani. jilp, 6, 2004. [doi]

Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 04), Washington, DC, USA, June 11-13, 2004ACM, 2004.

A General Compiler Framework for Speculative Multithreaded ProcessorsAnasua Bhowmik, Manoj Franklin. tpds, 15(8):713-724, 2004. [doi]

Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 03). San Diego, California, USA, June 11-13, 2003ACM, 2003.

Languages and Compilers for Parallel Computing, 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001. Revised PapersHenry G. Dietz, editor, Volume 2624 of Lecture Notes in Computer Science, Springer, 2003.

Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, ProceedingsR. Nigel Horspool, editor, Volume 2304 of Lecture Notes in Computer Science, Springer, 2002.

Compilers for High Performance (Compilation and Parallelization Techniques)Martin Griebl. europar 2002: 253-254 [doi]

Linear Scan Register Allocation in a High-Performance Erlang CompilerErik Johansson, Konstantinos F. Sagonas. PADL 2002: 101-119 [doi]

Compiler Generated Multithreading to Alleviate Memory LatencyKristof Beyls, Erik H. D Hollander. jucs, 6(10):968-993, 2000. [doi]

REM (Reduce Elan Machine): Core of the New ELAN CompilerPierre-Etienne Moreau. RTA 2000: 265-269

Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25 - April 2, 2000, ProceedingsDavid A. Watt, editor, Volume 1781 of Lecture Notes in Computer Science, Springer, 2000.

Generation of Software Renovation Factories from CompilersM. P. A. Sellink, Chris Verhoef. ICSM 1999: 245-255 [doi]

A Comparison of Compiler Tiling AlgorithmsGabriel Rivera, Chau-Wen Tseng. cc 1999: 168-182

Compiling Join-PatternsFabrice Le Fessant, Luc Maranget. ENTCS, 16(3):205-224, 1998. [doi]

Compiler Construction, 7th International Conference, CC 98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, ProceedingsKai Koskimies, editor, Volume 1383 of Lecture Notes in Computer Science, Springer, 1998.

Compiler Construction, 6th International Conference, CC 96, Linköping, Sweden, April 24-26, 1996, ProceedingsTibor Gyimóthy, editor, Volume 1060 of Lecture Notes in Computer Science, Springer, 1996.

Compiler Construction: Craftmanship or Engineering?William M. Waite. cc 1996: 151-159

UltraSPARC: Compiling for Maximum Floating-Point PerformancePartha Tirumalai, Dale Greenley, Boris Beylin, Krishna Subramanian. compcon 1996: 408-416

Compiler Construction, 5th International Conference, CC 94, Edinburgh, U.K., April 7-9, 1994, ProceedingsPeter Fritzson, editor, Volume 786 of Lecture Notes in Computer Science, Springer, 1994.

Instruction scheduling in the TOBEY compilerRobert J. Blainey. ibmrd, 38(5):577-594, 1994.

Life*ADA: An APSE Integrating Multiple CompilerSteen Ulrik Palm. Ada-Europe 1994: 204-214

Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional LanguagesDavid Lester, Sava Mintchev. csl 1995: 369-381

Automated Proof of the Correctness of a Compiling SpecificationElizabeth A. Scott. amast 1994: 393-400

Compiler Construction, 4th International Conference on Compiler Construction, CC 92, Paderborn, Germany, October 5-7, 1992, ProceedingsUwe Kastens, Peter Pfahler, editors, Volume 641 of Lecture Notes in Computer Science, Springer, 1992.

The CONVEX Application Compiler - A Major Step into the Direction of Automatic ParallelizationFrank Baetke, Bob Metzger, Presley Smith. supercomputer 1992: 158-172

Compiler Tools in APLRobert Bernecky, Gert Osterburg. aplas 1992: 22-33 [doi]

More Advice on Proving a Compiler Correct: Improve a Correct CompilerErik Meijer. phoenix 1992: 255-273

From Interpreting to Compiling Binding TimesCharles Consel, Olivier Danvy. ESOP 1990: 88-105

Compiler Compilers and High Speed Compilation, 2nd CCHSC Workshop, Berlin GDR, October 10-14, 1988, ProceedingsDieter Hammer, editor, Volume 371 of Lecture Notes in Computer Science, Springer, 1989.

Automatic Compiler Production: The Front EndSteven P. Reiss. TSE, 13(6):609-627, 1987.

A Fortran compiler for the FPS-164 scientific computerRoy F. Touzeau. sigplan 1984: 48-57 [doi]

Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984ACM, 1984.

SIGPLAN Symposium on Compiler Construction1982.

An Overview of the PL.8 CompilerMarc A. Auslander, Martin Hopkins. sigplan 1982: 22-31 [doi]

Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, Denver, Colorado, USA, August 6-10, 1979ACM, 1979.

runs on WebDSL