Robert Harper - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged compiler

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]

Compiler-directed frequency and voltage scaling for a multiple clock domain microarchitectureArun Rangasamy, Rahul Nagpal, Y. N. Srikant. cf 2008: 209-218 [doi]

Code Size Reduction by Compiler TuningMasayo Haneda, Peter M. W. Knijnenburg, Harry A. G. Wijshoff. samos 2006: 186-195 [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]

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.

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.

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.

Accelerating Sine and Cosine Evaluation with Compiler AssistancePeter W. Markstein. arith 2003: 137 [doi]

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

How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL CompilerAndrew Bernard, Robert Harper, Peter Lee. tic 1998: 53-77 [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.

Book Nook: Compiler Contruction by Niklaus WirthRon Cytron. SIGPLAN, 32(2):20-21, 1997.

TIL: A Type-Directed Optimizing Compiler for MLDavid Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee. PLDI 1996: 181-192

TIL: a type-directed, optimizing compiler for ML (with retrospective)David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee. PLDI 2004: 554-567 [doi]

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

Lapack for Fortran90 CompilerJack Dongarra, Jeremy Du Croz, Sven Hammarling, Jerzy Wasniewski, Adam Zemla. hpcn 1996: 826-833

Compiling Polymorphism Using Intensional Type AnalysisRobert Harper, J. Gregory Morrisett. POPL 1995: 130-141

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

Smart Recompilation and the GNAT CompilerFranco Gasperoni, Patrick Bazire. sigada 1994: 104-111 [doi]

Compiling Distributed Loops onto SPMD CodeVincent Van Dongen. ppl, 4:301-312, 1994.

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

Managing Pages in Shared Virtual Memory Systems: Getting the Compiler into the GameElana D. Granston, Harry A. G. Wijshoff. ics 1993: 11-20 [doi]

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

Compiling Programs for a Linear Systolic ArrayPing-Sheng Tseng. PLDI 1990: 311-321

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.

A VLIW Architecure for a Trace Scheduling CompilerRobert P. Colwell, Robert P. Nix, John J. O Donnell, David B. Papworth, Paul K. Rodman. TC, 37(8):967-979, 1988.

Compiling Communicating Processes Into Delay-Insensitive VLSI CircuitsAlain J. Martin. dc, 1(4):226-234, 1986.

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.

An APL Compiler for a Vector ProcessorTimothy A. Budd. TOPLAS, 6(3):297-313, 1984. [doi]

Programmierumgebungen und Compiler, Tagung I/1984 des German Chapter of the ACM vom 2. bis 4.4.1984 in MünchenHorst Morgenbrod, Werner Sammer, editors, Volume 18 of Berichte des German Chapter of the ACM, Teubner, 1984.

Erfahrungen beim Implementieren eines modernen CompilersManfred Sommer, Manfred P. Stadel. gacm 1985: 449-455

Increasing Modularity and Language-Independency in Automatically Generated CompilersHarald Ganzinger. SCP, 3(3):223-278, 1983.

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