Olivier Danvy - 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]

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]

Experience Integrating a New Compiler and a New Garbage Collector Into RotorTodd Anderson, Marsha Eng, Neal Glew, Brian T. Lewis, Vijay Menon, James M. Stichnoth. jot, 3(9):53-70, 2004. [doi]

A Journey from Interpreters to Compilers and Virtual MachinesOlivier Danvy. GPCE 2003: 117 [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.

Semantics-Based Compiling: A Case Study in Type-Directed Partial EvaluationOlivier Danvy, René Vestergaard. plilp 1996: 182-197

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

A Self-Applicable Partial Evaluator for the Lambda CalculusNeil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen. iccl 1990: 49-58 [doi]

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.

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

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

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