Looks like we forgot to respond; sorry about that! Eugene Perederey, Chris Pak, and Ravi Sankar - "Paxos for Replicated Locks"
Amit Levy & Ali Mashtizadeh - "FriendStar - Extensible websites with
information-flow control"
Sorry sorry sorry!
Amit
12:00 | LUNCH | |
12:15 | Greg Jones, Alex Mordkovich |
DynaViz: A Haskell Realtime Graphing Library |
12:33 | John Hiesey |
SafeServe: User-Editable Websites in Haskell |
12:48 | Michael Gummelt, Daniel Sommermann |
Historical Debugging - Debugging without Breakpoints |
13:06 |
David Fisher, Ashwin Siripurapu, William Rowan |
HaPy: run Haskell functions from Python |
13:26 | Greg Horn | DVDA Verifiably Differentiates Algorithmically |
13:41 | BREAK | |
13:46 | Drew Haven, Eric Strattman |
Web-based Data Analytics in Haskell |
14:04 | Phaedon Sinis | HIP: Haskell Image Processing |
14:19 |
Eugene Perederey, Chris Pak, and Ravi Sankar |
Paxos for Replicated Locks | |
14:39 | Amit Levy, Ali Mashtizadeh |
FriendStar - Extensible websites with information-flow control |
14:57 | Abi Raja, Grant Mathews |
GHCi in a new dress |
15:15 | END |
See you all soon.
David
At Thu, 15 Dec 2011 08:55:36 -0800,
Bryan O'Sullivan wrote:
>
> One last revision:
>
> 12:00 LUNCH
> 12:15 Greg Jones, Alex DynaViz: A Haskell Realtime
> Mordkovich Graphing Library
> 12:33 John Hiesey SafeServe: User-Editable
> Websites in Haskell
> 12:48 Michael Gummelt, Daniel Historical Debugging -
> Sommermann Debugging without Breakpoints
> David Fisher, HaPy: run Haskell functions
> 13:06 Ashwin Siripurapu, from Python
> William Rowan
> DVDA Verifiably
> 13:26 Greg Horn Differentiates
> Algorithmically
> 13:41 BREAK
> 13:46 Drew Haven, Eric Web-based Data Analytics in
> Strattman Haskell
> 14:04 Phaedon Sinis HIP: Haskell Image Processing
> 14:19 Eugene Perederey, Chris Paxos for Replicated Locks
> Pak, and Ravi Sankar
> Amit Levy, Ali FriendStar - Extensible
> 14:39 Mashtizadeh websites