Simon L. Peyton Jones - 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 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]

The C - compiler infrastructureNorman Ramsey, Simon L. Peyton Jones. ICFP 2004: 1 [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]

Haskell 98: Compiler PragmasSimon L. Peyton Jones. JFP, 13(1):145-146, 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.

Secrets of the Glasgow Haskell Compiler inlinerSimon L. Peyton Jones, Simon Marlow. JFP, 12(4&5):393-433, 2002.

Template meta-programming for HaskellTim Sheard, Simon L. Peyton Jones. SIGPLAN, 37(12):60-75, 2002. [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]

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.

Aspect-Oriented CompilersOege de Moor, Simon L. Peyton Jones, Eric {Van Wyk}. gcse 2000: 121-133 [doi]

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

A Transformation-Based Optimiser for HaskellSimon L. Peyton Jones, André L. M. Santos. SCP, 32(1-3):3-47, 1998. [doi]

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.

Compiling Haskell by Program Transformation: A Report from the TrenchesSimon L. Peyton Jones. ESOP 1996: 18-44

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

On Program Transformation in the Glasgow Haskell CompilerAndré L. M. Santos, Simon L. Peyton Jones. fp 1993: 240-251

The Glasgow Haskell Compiler: A RetrospectiveCordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler. fp 1993: 62-71

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