Sorin Lerner - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged compiler

Generating compiler optimizations from proofsRoss Tate, Michael Stepp, Sorin Lerner. POPL 2010: 389-402 [doi]

Bringing extensibility to verified compilersZachary Tatlock, Sorin Lerner. PLDI 2010: 111-121 [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]

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]

Cobalt: A Language for Writing Provably-Sound Compiler OptimizationsSorin Lerner, Todd D. Millstein, Craig Chambers. ENTCS, 132(1):5-17, 2005. [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.

Automatically proving the correctness of compiler optimizationsSorin Lerner, Todd D. Millstein, Craig Chambers. PLDI 2003: 220-231 [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.

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

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.

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

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