[vmkit-commits] [vmkit] r89756 - in /vmkit/trunk/www: content.css index.html ladyvm.html menu.css menu.html.incl osgi.html publications/ publications/ladyvm.html publications/osgi_dsn.html publications/osgi_iies.html publications/thesis.html pubs.html
Nicolas Geoffray
nicolas.geoffray at lip6.fr
Tue Nov 24 02:33:02 PST 2009
Author: geoffray
Date: Tue Nov 24 04:33:00 2009
New Revision: 89756
URL: http://llvm.org/viewvc/llvm-project?rev=89756&view=rev
Log:
Create a publication page.
Added:
vmkit/trunk/www/publications/
vmkit/trunk/www/publications/ladyvm.html
- copied, changed from r89751, vmkit/trunk/www/ladyvm.html
vmkit/trunk/www/publications/osgi_dsn.html
vmkit/trunk/www/publications/osgi_iies.html
- copied, changed from r89751, vmkit/trunk/www/osgi.html
vmkit/trunk/www/publications/thesis.html
vmkit/trunk/www/pubs.html
Removed:
vmkit/trunk/www/ladyvm.html
vmkit/trunk/www/osgi.html
Modified:
vmkit/trunk/www/content.css
vmkit/trunk/www/index.html
vmkit/trunk/www/menu.css
vmkit/trunk/www/menu.html.incl
Modified: vmkit/trunk/www/content.css
URL: http://llvm.org/viewvc/llvm-project/vmkit/trunk/www/content.css?rev=89756&r1=89755&r2=89756&view=diff
==============================================================================
--- vmkit/trunk/www/content.css (original)
+++ vmkit/trunk/www/content.css Tue Nov 24 04:33:00 2009
@@ -1,6 +1,8 @@
+html { margin: 0px; } body { margin: 8px; }
+
html, body {
- padding:0px;
- font-size:12px; font-family:"Lucida Grande", "Lucida Sans Unicode", Arial, Verdana, Helvetica, sans-serif; background-color: #fff; color: #222;
+ padding:0px;
+ font-size:small; font-family:"Lucida Grande", "Lucida Sans Unicode", Arial, Verdana, Helvetica, sans-serif; background-color: #fff; color: #222;
line-height:1.5;
}
@@ -16,5 +18,10 @@
IMG.img_slide {
display: block;
margin-left: auto;
- margin-right: auto
+ margin-right: auto
}
+
+.itemTitle { color:#2d58b7 }
+
+/* Tables */
+tr { vertical-align:top }
Modified: vmkit/trunk/www/index.html
URL: http://llvm.org/viewvc/llvm-project/vmkit/trunk/www/index.html?rev=89756&r1=89755&r2=89756&view=diff
==============================================================================
--- vmkit/trunk/www/index.html (original)
+++ vmkit/trunk/www/index.html Tue Nov 24 04:33:00 2009
@@ -17,37 +17,34 @@
<p>The VMKit project is an implementation of a JVM and CLI virtual machine
(.Net is an implementation of the CLI). It translates Java bytecode and
- MSIL in the LLVM IR and uses the LLVM framework for optimizations and just
- in time compilation. You can <a href="get_started.html">get and build</a> the
+ MSIL in the LLVM IR and uses the <a href="http://llvm.org">LLVM framework</a>
+ for optimizations and compilation. For garbage collection, it uses
+ <a href="http://jikesrvm.org/MMTk">MMTk</a>.
+ You can <a href="get_started.html">get and build</a> the
source today.</p>
<!--=====================================================================-->
- <h2 id="goals">Features and Goals</h2>
+ <h2 id="goals">Features</h2>
<!--=====================================================================-->
- <p>Some of the goals for the project include the following:</p>
+ <p>VMkit provides the following features:</p>
+
+ <p><b>End-User Features</a></b>:</p>
- <p><b>End-User Features</b>:</p>
-
- <ul>
- <li>Virtual machine interoperability</li>
- <li>Experiment virtual machine technologies with a small code base</li>
- <li>Very fast on CPU-intensive applications</li>
- </ul>
-
- <p><b>Utility and Applications</a></b>:</p>
-
<ul>
- <li>Infrastructure for virtual machine development</li>
- <li>Use the LLVM 'BSD' License</li>
+ <li>Runs any Java and .Net applications on MacOSX and Unix-based systems.</li>
+ <li>Precise garbage collection.</li>
+ <li>Just-in-Time and Ahead-of-Time compilation.</li>
+ <li>Portable on many architectures (x86, x64, ppc32, ppc64, arm).</li>
</ul>
- <p><b>Internal Design and Implementation</b>:</p>
+ <p><b>Developer Features</a></b>:</p>
<ul>
- <li>Real-world, production quality virtual machines (the JVM runs Tomcat)</li>
- <li>A simple and hackable code base</li>
- <li>Execute virtual machines in the same environment</li>
+ <li>Relatively small code base (~ 20k loc per VM)</li>
+ <li>Infrastructure for running multiple VM/applications in a single
+ process</li>
+ <li>Infrastructure for virtual machine research and development</li>
</ul>
<!--=====================================================================-->
@@ -61,28 +58,23 @@
able to execute these VMs. VMKit is a proof of concept implementation
towards that direction.</p>
- <p>An introduction to VMKit can be found in the following video lectures:
+ <p>The PhD thesis that initiated VMKit:
<ul>
- <li><a href="http://llvm.org/devmtg/2008-08/Geoffray_VMKitProject_Lo.3gp">
- Presentation of VMKit at the 2008 LLVM Developer's Meeting</a>
+ <li><a href="publications/thesis.html">Nicolas Geoffray's PhD thesis</a>
</li>
</ul>
-
- </p>
- <p>A port of VMKit to use the Boehm GC can be found in the following paper:
+ <p>An introduction to VMKit can be found in the following video lectures:
<ul>
- <li><a href="ladyvm.html">LadyVM as a port of VMKit to Boehm's GC</a>
+ <li><a href="http://llvm.org/devmtg/2009-10/Geoffray_GarbageCollectionVMKit-700kbps.mov">
+ Presentation of VMKit/MMTk at the 2009 LLVM Developer's Meeting</a>
</li>
- </ul>
-
- <p>For an example of what kind of experimental technologies we can
- implement in a timely fashion with VMKit:</p>
- <ul>
- <li><a href="osgi.html">Isolation in OSGi with VMKit</a>
+ <li><a href="http://llvm.org/devmtg/2008-08/Geoffray_VMKitProject_Lo.3gp">
+ Presentation of VMKit at the 2008 LLVM Developer's Meeting</a>
</li>
- </ul>
-
+ </ul>
+ </p>
+
<!--=====================================================================-->
<h2>Current Status</h2>
<!--=====================================================================-->
@@ -93,7 +85,8 @@
ready.</p>
<p>VMKit currently has a decent implementation of the JVM. It executes
- Apache projects (e.g. OSGi Felix and Tomcat) and the SPECJVM98 benchmark.
+ large projects (e.g. OSGi Felix, Tomcat, Eclipse) and the
+ <a href="http://dacapobench.org">DaCapo benchmarks</a>.
The CLI implementation is still in its early stages, but can execute
simple applications.</p>
@@ -113,7 +106,7 @@
<p>Once you've done that, please consider <a href="get_involved.html">getting
involved in the VMKit community</a>. Currently, VMKit is tightly
- integrated into the llvm community. You can sign up for the llvm mailing
+ integrated into the LLVM community. You can sign up for the LLVM mailing
list to ask and learn about how the project works.</p>
</div>
</body>
Removed: vmkit/trunk/www/ladyvm.html
URL: http://llvm.org/viewvc/llvm-project/vmkit/trunk/www/ladyvm.html?rev=89755&view=auto
==============================================================================
--- vmkit/trunk/www/ladyvm.html (original)
+++ vmkit/trunk/www/ladyvm.html (removed)
@@ -1,51 +0,0 @@
-<!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="http://llvm.org/llvm.css" type="text/css" media="screen" />
- <title>A Lazy Developer Approach: Building a JVM with Third Party Software</title>
-</head>
-<body>
-
-<div class="pub_title">
- A Lazy Developer Approach: Building a JVM with Third Party Software
-</div>
-<div class="pub_author">
- Nicolas Geoffray, Gael Thomas, Charles Clement and Bertil Folliot
-</div>
-
-<h2>Abstract:</h2>
-<blockquote>
-The development of a complete Java Virtual Machine (JVM)
-implementation is a tedious process which involves knowledge in different
-areas: garbage collection, just in time compilation, interpretation, file
-parsing, data structures, etc. The result is that developing its own virtual
-machine requires a considerable amount of man/year. In this paper we show that
-one can implement a JVM with third party software and with performance
-comparable to industrial and top open-source JVMs. Our proof-of-concept
-implementation uses existing versions of a garbage collector, a just in
-time compiler, and the base library, and is robust enough to
-execute complex Java applications such as the OSGi Felix
-implementation and the Tomcat servlet container.
-
-</blockquote>
-
-<h2>Bibtex:</h2>
-<pre>
- at inproceedings{geoffray08ladyvm,
- author = {N. Geoffray and G. Thomas and C. Cl\'ement and B. Folliot},
- title = { A Lazy Developer Approach: Building a JVM with Third Party Software },
- booktitle = {{International Conference on Principles and Practice of Programming In Java (PPPJ 2008) }},
- year = {2008},
- address = {Modena, Italy},
- month = {September},
-}
-</pre>
-
-<h2>Download:</h2>
-<ul>
- <li><a href="http://pagesperso-systeme.lip6.fr/Nicolas.Geoffray/papers/ladyvm.pdf">A Lazy Developer Approach: Building a JVM with Third Party Software</a> (PDF)</li>
-</ul>
-
-</body>
-</html>
Modified: vmkit/trunk/www/menu.css
URL: http://llvm.org/viewvc/llvm-project/vmkit/trunk/www/menu.css?rev=89756&r1=89755&r2=89756&view=diff
==============================================================================
--- vmkit/trunk/www/menu.css (original)
+++ vmkit/trunk/www/menu.css Tue Nov 24 04:33:00 2009
@@ -1,39 +1,39 @@
-/***************/
-/* page layout */
-/***************/
-
-[id=menu] {
- position:fixed;
- width:25ex;
-}
-[id=content] {
- /* ***** EDIT THIS VALUE IF CONTENT OVERLAPS MENU ***** */
- position:absolute;
- left:29ex;
- padding-right:4ex;
-}
-
-/**************/
-/* menu style */
-/**************/
-
-#menu .submenu {
- padding-top:1em;
- display:block;
-}
-
-#menu label {
- display:block;
- font-weight: bold;
- text-align: center;
- background-color: rgb(192,192,192);
-}
-#menu a {
- padding:0 .2em;
- display:block;
- text-align: center;
- background-color: rgb(235,235,235);
-}
-#menu a:visited {
- color:rgb(100,50,100);
-}
+/***************/
+/* page layout */
+/***************/
+
+[id=menu] {
+ position:fixed;
+ width:25ex;
+}
+[id=content] {
+ /* ***** EDIT THIS VALUE IF CONTENT OVERLAPS MENU ***** */
+ position:absolute;
+ left:29ex;
+ padding-right:4ex;
+}
+
+/**************/
+/* menu style */
+/**************/
+
+#menu .submenu {
+ padding-top:1em;
+ display:block;
+}
+
+#menu label {
+ display:block;
+ font-weight: bold;
+ text-align: center;
+ background-color: rgb(192,192,192);
+}
+#menu a {
+ padding:0 .2em;
+ display:block;
+ text-align: center;
+ background-color: rgb(235,235,235);
+}
+#menu a:visited {
+ color:rgb(100,50,100);
+}
\ No newline at end of file
Modified: vmkit/trunk/www/menu.html.incl
URL: http://llvm.org/viewvc/llvm-project/vmkit/trunk/www/menu.html.incl?rev=89756&r1=89755&r2=89756&view=diff
==============================================================================
--- vmkit/trunk/www/menu.html.incl (original)
+++ vmkit/trunk/www/menu.html.incl Tue Nov 24 04:33:00 2009
@@ -9,6 +9,7 @@
<a href="/get_started.html">Get Started</a>
<a href="/get_involved.html">Get Involved</a>
<a href="/OpenProjects.html">Open Projects</a>
+ <a href="/pubs.html">Publications</a>
<a href="/releases/index.html">Releases</a>
</div>
@@ -17,12 +18,12 @@
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">llvm-dev</a>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/vmkit-commits">vmkit-commits</a>
<a href="http://llvm.org/bugs/">Bug Reports</a>
- <a href="http://llvm.org/svn/llvm-project/vmkit/trunk/">Browse Source</a>
+ <a href="http://llvm.org/viewvc/llvm-project/vmkit/trunk/">Browse Source</a>
</div>
<div class="submenu">
<label>Events</label>
- <a href="http://llvm.org/devmtg/">August 1, 2008 - LLVM/Clang Developer Meeting</a>
+ <a href="http://llvm.org/devmtg/">LLVM/Clang Developer Meetings</a>
</div>
</div>
Removed: vmkit/trunk/www/osgi.html
URL: http://llvm.org/viewvc/llvm-project/vmkit/trunk/www/osgi.html?rev=89755&view=auto
==============================================================================
--- vmkit/trunk/www/osgi.html (original)
+++ vmkit/trunk/www/osgi.html (removed)
@@ -1,49 +0,0 @@
-<!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="http://llvm.org/llvm.css" type="text/css" media="screen" />
- <title>Towards a new Isolation Abstraction for OSGi</title>
-</head>
-<body>
-
-<div class="pub_title">
- Towards a new Isolation Abstraction for OSGi
-</div>
-<div class="pub_author">
- Nicolas Geoffray, Gael Thomas, Charles Clement and Bertil Folliot
-</div>
-
-<h2>Abstract:</h2>
-<blockquote>
-The Open Service Gateway Initiative (OSGi) specification defines a dynamic Java-based service oriented architecture for networked environments such
-as home service gateways. To provide isolation between different services, it relies on the Java class loading mechanism.
-While class loaders have many advantages beside isolation, they are poor in protecting the system against
-malicious or buggy services. In this paper,
-we propose a new approach for service isolation. It is based on the Java isolate technology, without a
-task-oriented architecture. Our approach is more tailored to service-oriented architectures and in particular
-offers a complete isolation abstraction to the OSGi platform. It is currently under development, hence
-we do not provide in this paper any technical details nor results.
-
-</blockquote>
-
-<h2>Bibtex:</h2>
-<pre>
- at inproceedings{geoffray08isolationosgi,
- author = {N. Geoffray and G. Thomas and C. Cl\'ement and B. Folliot},
- title = {{Towards a new Isolation Abstraction for OSGi}},
- booktitle = {Proceedings of the First Workshop on Isolation and Integration in Embedded Systems (IIES 2008)},
- year = {2008},
- pages = {41-45},
- address = {Glasgow, Scotland, UK},
- month = {April},
-}
-</pre>
-
-<h2>Download:</h2>
-<ul>
- <li><a href="http://pagesperso-systeme.lip6.fr/Nicolas.Geoffray/papers/osgi-isolation.pdf">Towards a new Isolation Abstraction for OSGi</a> (PDF)</li>
-</ul>
-
-</body>
-</html>
Copied: vmkit/trunk/www/publications/ladyvm.html (from r89751, vmkit/trunk/www/ladyvm.html)
URL: http://llvm.org/viewvc/llvm-project/vmkit/trunk/www/publications/ladyvm.html?p2=vmkit/trunk/www/publications/ladyvm.html&p1=vmkit/trunk/www/ladyvm.html&r1=89751&r2=89756&rev=89756&view=diff
==============================================================================
--- vmkit/trunk/www/ladyvm.html (original)
+++ vmkit/trunk/www/publications/ladyvm.html Tue Nov 24 04:33:00 2009
@@ -44,7 +44,7 @@
<h2>Download:</h2>
<ul>
- <li><a href="http://pagesperso-systeme.lip6.fr/Nicolas.Geoffray/papers/ladyvm.pdf">A Lazy Developer Approach: Building a JVM with Third Party Software</a> (PDF)</li>
+ <li><a href="http://pagesperso-systeme.lip6.fr/Nicolas.Geoffray/files/pppj-08.pdf">A Lazy Developer Approach: Building a JVM with Third Party Software</a> (PDF)</li>
</ul>
</body>
Added: vmkit/trunk/www/publications/osgi_dsn.html
URL: http://llvm.org/viewvc/llvm-project/vmkit/trunk/www/publications/osgi_dsn.html?rev=89756&view=auto
==============================================================================
--- vmkit/trunk/www/publications/osgi_dsn.html (added)
+++ vmkit/trunk/www/publications/osgi_dsn.html Tue Nov 24 04:33:00 2009
@@ -0,0 +1,55 @@
+<!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="http://llvm.org/llvm.css" type="text/css" media="screen" />
+ <title>I-JVM: a Java Virtual Machine for Component Isolation in OSGi</title>
+</head>
+<body>
+
+<div class="pub_title">
+ I-JVM: a Java Virtual Machine for Component Isolation in OSGi
+</div>
+<div class="pub_author">
+ Nicolas Geoffray, Gael Thomas, Gilles Muller, Pierre Parrend, Stephane Frenot, Bertil Folliot
+</div>
+
+<h2>Abstract:</h2>
+<blockquote>
+The OSGi framework is a Java-based, centralized, component oriented
+platform. It is being widely adopted as an execution environment for
+the development of extensible applications. However, current Java
+Virtual Machines are unable to isolate components from each other.
+For instance, a malicious component can freeze the complete platform
+by allocating too much memory or alter the behavior of other components by
+modifying shared variables.
+
+This paper presents I-JVM, a Java Virtual Machine that provides a
+lightweight approach to isolation while preserving compatibility with
+legacy OSGi applications. Our evaluation of I-JVM shows that it solves
+the 8 known OSGi vulnerabilities that are due to the Java Virtual
+Machine and that the overhead of I-JVM compared to the JVM on which
+it is based is below 20%.
+</blockquote>
+
+<h2>Bibtex:</h2>
+<pre>
+ at inproceedings{geoffray09ijvm,
+ author = {N. Geoffray and G. Thomas and G. Muller and P. Parrend and S. Fr\'enot and B. Folliot},
+ title = {{I-JVM: a Java Virtual Machine for Component Isolation in OSGi}},
+ booktitle = {International Conference on Dependable Systems and Networks (DSN 2009)},
+ publisher = {IEEE Computer Society},
+ pdf = {files/ijvm.pdf},
+ year = {2009},
+ month = {June},
+ address = {Estoril, Portugal}
+}
+</pre>
+
+<h2>Download:</h2>
+<ul>
+ <li><a href="http://pagesperso-systeme.lip6.fr/Nicolas.Geoffray/files/ijvm.pdf">I-JVM: a Java Virtual Machine for Component Isolation in OSGi</a> (PDF)</li>
+</ul>
+
+</body>
+</html>
Copied: vmkit/trunk/www/publications/osgi_iies.html (from r89751, vmkit/trunk/www/osgi.html)
URL: http://llvm.org/viewvc/llvm-project/vmkit/trunk/www/publications/osgi_iies.html?p2=vmkit/trunk/www/publications/osgi_iies.html&p1=vmkit/trunk/www/osgi.html&r1=89751&r2=89756&rev=89756&view=diff
==============================================================================
--- vmkit/trunk/www/osgi.html (original)
+++ vmkit/trunk/www/publications/osgi_iies.html Tue Nov 24 04:33:00 2009
@@ -42,7 +42,7 @@
<h2>Download:</h2>
<ul>
- <li><a href="http://pagesperso-systeme.lip6.fr/Nicolas.Geoffray/papers/osgi-isolation.pdf">Towards a new Isolation Abstraction for OSGi</a> (PDF)</li>
+ <li><a href="http://pagesperso-systeme.lip6.fr/Nicolas.Geoffray/files/iies-08.pdf">Towards a new Isolation Abstraction for OSGi</a> (PDF)</li>
</ul>
</body>
Added: vmkit/trunk/www/publications/thesis.html
URL: http://llvm.org/viewvc/llvm-project/vmkit/trunk/www/publications/thesis.html?rev=89756&view=auto
==============================================================================
--- vmkit/trunk/www/publications/thesis.html (added)
+++ vmkit/trunk/www/publications/thesis.html Tue Nov 24 04:33:00 2009
@@ -0,0 +1,59 @@
+<!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="http://llvm.org/llvm.css" type="text/css" media="screen" />
+ <title>Fostering Systems Research with Managed Runtimes</title>
+</head>
+<body>
+
+<div class="pub_title">
+ Fostering Systems Research with Managed Runtimes
+</div>
+<div class="pub_author">
+ Nicolas Geoffray
+</div>
+
+<h2>Abstract:</h2>
+<blockquote>
+Many systems research projects now target managed runtime environments (MRE)
+because they provide better productivity and safety compared to native
+environments. Still, developing and optimizing an MRE is a tedious
+task that requires many years of development. Although MREs share some common
+functionalities, such as a Just In Time Compiler or a Garbage Collector, this
+opportunity for sharing has not been yet exploited in implementing MREs.
+This thesis describes and evaluates VMKit, a first attempt to build a common
+substrate that eases the development and experimentation of high-level MREs and
+systems mechanisms. VMKit has been successfully used to build two MREs,
+a Java Virtual Machine and a Common Language Runtime, as well as a a new system
+mechanism that provides better security in the context of service-oriented
+architectures.
+
+We describe the lessons learnt in implementing such a common
+infrastructure from a performance and an ease of development standpoint.
+The performance of VMKit are reasonable compared to industrial MREs, and
+the high-level MREs are only 20,000 lines of code. Our new system
+mechanism only requires the addition of 600 lines of code in VMKit, and
+is a significant step towards better dependable systems.
+
+</blockquote>
+
+<h2>Bibtex:</h2>
+<pre>
+ at PhdThesis{geoffray:phd,
+ author = {N. Geoffray},
+ title = { Fostering Systems Research with Managed Runtimes },
+ schoold = {Universit\'e Pierre et Marie Curie},
+ year = {2009},
+ address = {Paris, France},
+ month = {September},
+}
+</pre>
+
+<h2>Download:</h2>
+<ul>
+ <li><a href="http://pagesperso-systeme.lip6.fr/Nicolas.Geoffray/these-geoffray.pdf">Fostering Systems Research with Managed Runtimes</a> (PDF)</li>
+</ul>
+
+</body>
+</html>
Added: vmkit/trunk/www/pubs.html
URL: http://llvm.org/viewvc/llvm-project/vmkit/trunk/www/pubs.html?rev=89756&view=auto
==============================================================================
--- vmkit/trunk/www/pubs.html (added)
+++ vmkit/trunk/www/pubs.html Tue Nov 24 04:33:00 2009
@@ -0,0 +1,40 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
+ "http://www.w3.org/TR/html4/strict.dtd">
+<html>
+<head>
+ <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
+ <title>VMKit - Getting Started</title>
+ <link type="text/css" rel="stylesheet" href="menu.css" />
+ <link type="text/css" rel="stylesheet" href="content.css" />
+</head>
+<body>
+
+<!--#include virtual="menu.html.incl"-->
+
+<div id="content">
+
+<h1>VMKit related publications</h1>
+
+
+<h2>2009</h2>
+<ol>
+ <li><a href="publications/thesis.html">Fostering Systems Research with Managed Runtimes</a><br/>
+ Nicolas Geoffray<br>
+ PhD Thesis, Universite Pierre et Marie Curie, Paris, France, Sep. 2009</li>
+ <li><a href="publications/osgi_dsn.html">I-JVM: a Java Virtual Machine for Component Isolation in OSGi</a><br/>
+ Nicolas Geoffray, Gael Thomas, Gilles Muller, Pierre Parrend, Stephane Frenot, Bertil Folliot<br>
+ Proc. of the Dependable Systems and Network Conference (DSN'09), Estoril, Portugal, Jun. 2009</li>
+</ol>
+<h2>2008</h2>
+<ol>
+ <li><a href="publications/ladyvm.html">A Lazy Developer Approach: Building a JVM with Third Party Software</a><br/>
+ Nicolas Geoffray, Gael Thomas, Charles Clement, Bertil Folliot<br>
+ Proc. of the Principles and Practice of Programming in Java (PPPJ'08), Modena, Italy Sep. 2008</li>
+ <li><a href="publications/osgi_dsn.html">Towards a new Isolation Abstraction for OSGi</a><br/>
+ Nicolas Geoffray, Gael Thomas, Charles Clement, Bertil Folliot<br>
+ Proc. of the Isolation and Integration in Embedded Systems (IIES'08), Glasgow, Scotland, Apr. 2008</li>
+</ol>
+
+</div>
+</body>
+</html>
More information about the vmkit-commits
mailing list