Jules Villard avatar Jules Villard committed 286223b

utf8 -> latin1, merged news and about

Comments (0)

Files changed (7)

about.html

-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
-"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> 
-
-<html xmlns="http://www.w3.org/1999/xhtml">
-
-<head>
-<title>Heap-Hop</title>
-<meta name="author" content="Jules Villard" />
-<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
-<meta http-equiv="Content-Language" content="en" />
-<meta name="keywords" lang="en" content="heap-hop, verification, heap, separation logic, tool, computer science, memory, channels, concurrency, message passing, copyless" />
-<meta name="keywords" lang="en-us" content="heap-hop, verification, heap, separation logic, tool, computer science, memory, channels, concurrency, message passing, copyless" />
-<link rel="stylesheet" type="text/css" href="heaphop.css" />
-</head>
-
-<body>
-<div id="logo">
-<h1><a href="index.html">Heap-Hop</a></h1>
-</div>
-
-<div id="menu">
-<div class="nav"><a href="news.html">News</a></div>
-<div class="nav_cur"><a href="about.html">About</a></div>
-<div class="nav"><a href="resources.html">Resources</a></div>
-<div class="nav"><a href="doc.html">Documentation</a></div>
-<div class="nav"><a href="examples.html">Case Studies</a></div>
-<div class="nav"><a href="links.html">Links</a></div>
-</div>
-
-<div id="main">
-
-<h2><a name="intro">Presentation</a></h2>
-
-<p>
-<span class="heaphop">Heap-Hop</span> is a prover for concurrent
-heap-manipulating programs that use Hoare monitors and message-passing
-synchronization.  Programs are annotated with pre and post-conditions and loop
-invariants, written in a fragment of separation logic.  Communications are
-governed by a form of session types called contracts.  <span
-class="heaphop">Heap-Hop</span> can prove safety and race-freedom and, thanks
-to contracts, absence of memory leaks and safety of communications.
-</p>
-<p>
-You can find out more about <span class="heaphop">Heap-Hop</span> in
-the <a href="resources.html#papers">papers section</a>.
-</p>
-
-<h2><a name="people">Crew</a></h2>
-
-<p>The people involved are:</p>
-<ul>
-<li><a href="../">Jules Villard</a></li>
-<li><a href="/~lozes/">Étienne Lozes</a></li>
-<li><a href="http://www.doc.ic.ac.uk/~ccris/">Cristiano Calcagno</a></li>
-</ul>
-
-<div id="footer">
-<p>
-obey the <a href="http://validator.w3.org/check?uri=referer">standards</a>
-of da <a href="http://jigsaw.w3.org/css-validator/check/referer">web</a>!
-</p>
-</div>
-</div>
-</body>
-</html>
 </div>
 
 <div id="menu">
-<div class="nav"><a href="news.html">News</a></div>
-<div class="nav"><a href="about.html">About</a></div>
+<div class="nav"><a href="index.html">Home</a></div>
 <div class="nav"><a href="resources.html">Resources</a></div>
 <div class="nav_cur"><a href="doc.html">Documentation</a></div>
 <div class="nav"><a href="examples.html">Case Studies</a></div>
 </div>
 
 <div id="menu">
-<div class="nav"><a href="news.html">News</a></div>
-<div class="nav"><a href="about.html">About</a></div>
+<div class="nav"><a href="index.html">Home</a></div>
 <div class="nav"><a href="resources.html">Resources</a></div>
 <div class="nav"><a href="doc.html">Documentation</a></div>
 <div class="nav_cur"><a href="examples.html">Case Studies</a></div>
 </div>
 
 <div id="menu">
-<div class="nav"><a href="news.html">News</a></div>
-<div class="nav_cur"><a href="about.html">About</a></div>
+<div class="nav_cur"><a href="index.html">Home</a></div>
 <div class="nav"><a href="resources.html">Resources</a></div>
 <div class="nav"><a href="doc.html">Documentation</a></div>
 <div class="nav"><a href="examples.html">Case Studies</a></div>
 the <a href="resources.html#papers">papers section</a>.
 </p>
 
+<h2><a name="news">News</a></h2>
+
+<ul>
+<li>
+  23 Mar. 2010: <span class="heaphop">Heap-Hop</span> is presented to the
+  public at TACAS in <a href="http://www.etaps10.cs.ucy.ac.cy/">Cyprus</a>.
+</li>
+<li>
+  9 Feb. 2010: A repository of <span class="heaphop">Heap-Hop</span> is up
+  on <a href="http://bitbucket.org/jvillard/heap-hop/">bitbucket</a>.
+</li>
+<li>
+  11 Dec. 2009: Our <a href="resources.html#papers">tool paper</a> has been
+  accepted at <a href="http://tacas10.in.tum.de/">TACAS'10</a>.
+</li>
+<li>
+  12 Oct. 2009: <span class="heaphop">Heap-Hop</span> version 1.0 is out.
+  <a href="resources.html#download">Check it out</a>!
+</li>
+</ul>
+
+
 <h2><a name="people">Crew</a></h2>
 
 <p>The people involved are:</p>
 <ul>
 <li><a href="../">Jules Villard</a></li>
-<li><a href="/~lozes/">Étienne Lozes</a></li>
+<li><a href="/~lozes/">tienne Lozes</a></li>
 <li><a href="http://www.doc.ic.ac.uk/~ccris/">Cristiano Calcagno</a></li>
 </ul>
 
 </div>
 
 <div id="menu">
-<div class="nav"><a href="news.html">News</a></div>
-<div class="nav"><a href="about.html">About</a></div>
+<div class="nav"><a href="index.html">Home</a></div>
 <div class="nav"><a href="resources.html">Resources</a></div>
 <div class="nav"><a href="doc.html">Documentation</a></div>
 <div class="nav"><a href="examples.html">Case Studies</a></div>
 </div>
 
 <div id="menu">
-<div class="nav"><a href="news.html">News</a></div>
-<div class="nav"><a href="about.html">About</a></div>
+<div class="nav"><a href="index.html">Home</a></div>
 <div class="nav_cur"><a href="resources.html">Resources</a></div>
 <div class="nav"><a href="doc.html">Documentation</a></div>
 <div class="nav"><a href="examples.html">Case Studies</a></div>
 
 <ul>
 <li><span class="paper">Tracking Heaps that Hop with Heap-Hop</span>
-J. Villard, É. Lozes and C. Calcagno. In TACAS'10. Springer, 2010. To appear. <i>(Tool paper)</i>
+J. Villard, . Lozes and C. Calcagno. In TACAS'10. Springer, 2010. To appear. <i>(Tool paper)</i>
 [<a href="../pub/heaphop.pdf">paper</a>]</li>
 <li>
 <span class="paper">Proving Copyless Message Passing</span> J. Villard,
-É. Lozes and C. Calcagno. In APLAS'09, LNCS. Springer, 2009.
+. Lozes and C. Calcagno. In APLAS'09, LNCS. Springer, 2009.
 [<a href="/~villard/mes_publis.php?onlykey=VLC-aplas09">paper</a>]
 [<a href="rsc/aplas09-korea-slides.pdf">slides</a>]
 </li>
 
 <ul>
 <li><span class="paper">Tracking Heaps that Hop with Heap-Hop</span>
-J. Villard, É. Lozes and C. Calcagno. In TACAS'10. Springer, 2010. To appear. <i>(Tool paper)</i>
+J. Villard, . Lozes and C. Calcagno. In TACAS'10. Springer, 2010. To appear. <i>(Tool paper)</i>
 [<a href="../pub/heaphop.pdf">paper</a>]</li>
 <li>
 <span class="paper">Proving Copyless Message Passing</span> J. Villard,
-É. Lozes and C. Calcagno. In APLAS'09, LNCS. Springer, 2009.
+. Lozes and C. Calcagno. In APLAS'09, LNCS. Springer, 2009.
 [<a href="/~villard/mes_publis.php?onlykey=VLC-aplas09">paper</a>]
 [<a href="rsc/vlc-aplas-slides.pdf">preliminary slides</a>]
 </li>
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.