Görel Hedin - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged compiler

Extending Languages by Leveraging Compilers: From Modelica to OptimicaGörel Hedin, Johan Åkesson, Torbjörn Ekman. IEEE Software, 28(3):68-74, 2011. [doi]

Implementation of a Modelica compiler using JastAdd attribute grammarsJohan {\AA}kesson, Torbjörn Ekman, Görel Hedin. SCP, 75(1-2):21-38, 2010. [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]

Development of a Modelica Compiler Using JastAddJohan {\AA}kesson, Torbjörn Ekman, Görel Hedin. ENTCS, 203(2):117-131, 2008. [doi]

The JastAdd system - modular extensible compiler constructionTorbjörn Ekman, Görel Hedin. SCP, 69(1-3):14-26, 2007. [doi]

The JastAdd extensible Java compilerTorbjörn Ekman, Görel Hedin. OOPSLA 2007: 884-885 [doi]

The JastAdd extensible Java compilerTorbjörn Ekman, Görel Hedin. OOPSLA 2007: 773-774 [doi]

The JastAdd extensible Java compilerTorbjörn Ekman, Görel Hedin. OOPSLA 2007: 1-18 [doi]

Modular Name Analysis for Java Using JastAddTorbjörn Ekman, Görel Hedin. GTTSE 2006: 422-436 [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]

Implementing Java Compilers Using ReRAGsAnders Nilsson, Anders Ive, Torbjörn Ekman, Görel Hedin. njc, 11(3):213-234, 2004.

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]

Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, ProceedingsGörel Hedin, editor, Volume 2622 of Lecture Notes in Computer Science, Springer, 2003.

JastAdd--an aspect-oriented compiler construction systemGörel Hedin, Eva Magnusson. SCP, 47(1):37-58, 2003. [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]

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

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