[llvm-commits] CVS: llvm-www/pubs/2008-06-CompilingHaskelltoLLVM.html 2008-06-CompilingHaskelltoLLVM.pdf

Sat Jan 17 17:04:53 PST 2009

Changes in directory llvm-www/pubs:

2008-06-CompilingHaskelltoLLVM.html added (r1.1)
2008-06-CompilingHaskelltoLLVM.pdf added (r1.1)
---
Log message:

add a new talk.

---
Diffs of the changes:  (+40 -0)

 2008-06-CompilingHaskelltoLLVM.html |   40 ++++++++++++++++++++++++++++++++++++
 2008-06-CompilingHaskelltoLLVM.pdf  |    0 
 2 files changed, 40 insertions(+)

Index: llvm-www/pubs/2008-06-CompilingHaskelltoLLVM.html
diff -c /dev/null llvm-www/pubs/2008-06-CompilingHaskelltoLLVM.html:1.1
*** /dev/null	Sat Jan 17 19:03:10 2009
--- llvm-www/pubs/2008-06-CompilingHaskelltoLLVM.html	Sat Jan 17 19:02:59 2009
***************
*** 0 ****
--- 1,40 ----
+ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+ <html>
+ <head>
+   <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+   <link rel="stylesheet" href="../llvm.css" type="text/css" media="screen" />
+   <title>Compiling Haskell to LLVM</title>
+ </head>
+ <body>
+ 
+ <div class="pub_title">
+   Compiling Haskell to LLVM (Thesis Defense)
+ </div>
+ <div class="pub_author">
+   John van Schie
+ </div>
+ 
+ <h2>Abstract:</h2>
+ <blockquote>
+ <p>
+ Most modern compilers generate executables by targeting high level languages (C, Java, etc.) or managed virtual environments such as the JVM. In this thesis we explore an alternate approach: generating executables by targeting a typed assembly language. Typed assembly languages are low level, machine centric, languages that abstract away from platform specifics. They provide type safety in a language neutral way and they make no assumptions regarding the runtime environment's memory model, security guarantees etc.. The LLVM is a mature optimizing compiler framework that provides a typed assembly language.</p>
+ <p>
+ In this talk, we will present the design and implementation of a backend for <a href="http://www.computerscience.nl/wiki/bin/view/Ehc/WebHome">EHC</a> that targets the LLVM. We will follow a small Haskell program as it passes through different stages of the EHC compiler, paying special attention to the code semantics and performance. Finally, we contrast the performance of executables produced by the LLVM and C backends of EHC and draw some conclusions regarding the efficiency of LLVM as a backend target for Haskell compilers.
+ </p>
+ 
+ </blockquote>
+ 
+ <h2>Published:</h2>
+ <blockquote>
+   "Compiling Haskell To LLVM", John van Schie,<br>
+   <i>Thesis Defense, Utrecht University</i>, Netherlands, June 2008.<br>
+ </blockquote>
+ 
+ <h2>Download Presentation:</h2>
+ <ul>
+   <li><a href="2008-06-CompilingHaskelltoLLVM.pdf">Compiling Haskell To LLVM</a> (PDF)</li>
+ </ul>
+ 
+ </body>
+ </html>
+ 

Index: llvm-www/pubs/2008-06-CompilingHaskelltoLLVM.pdf