HASP Past Talks/Discussions
| 19 Jun | Fri | | Social: Cycling and picnic at Champoeg |
| 11 Jun | Thu | | Report on HCSS |
| 10 Apr | Fri | | Discussion on artifacts |
| 3 Apr | Fri | Andrew McCreight | Programming computational reflection |
| 27 Mar | Fri | | (term break) |
| 20 Mar | Fri | Andrew Tolmach | Optimizing ML using a hierarchy of monadic types |
| 13 Mar | Fri | | (cancelled) |
| 6 Mar | Fri | | Discussion on modules and type classes |
| 27 Feb | Fri | Dave MacQueen | A rewriting semantics for type inference |
| 23 Feb | Mon | Dave MacQueen | Principles of Module System Design (dept colloquium) |
| 30 Jan | Fri | | Language Brainstorming Session |
| 23 Jan | Fri | Tim and The 2 Andrews | The Run-time System |
| 16 Jan | Fri | | Reading: Galois Experience Report (continued) |
| 12 Jan | Mon | Chris Hawblitzel | Verifying Practical Garbage Collectors |
| 9 Jan 2009 | Fri | | Reading: Galois Experience Report |
| 12 Dec | Fri | John Matthews | (Review of fall work at PSU) |
| 5 Dec | Fri | Rebekah Leslie | The Revised H Interface |
| 5 Dec | Fri | Dick Kieburtz | Reading: Group reading Dick&Bill's JFP submission |
| 21 Nov | Fri | Mark Jones | Discussion on Habit language |
| 21 Nov | Fri | Creighton Hogg | Secure Operating Systems |
| 14 Nov | Fri | Cynthia Taylor | Improving Thin Clent Performance using the Smart Proxy Architecture |
| 7 Nov | Fri | Brian Huffman | Deflation Chains and Induction Rules for Haskell Types |
| 31 Oct | Fri | Tom Harke | Formalizing Monads |
| 31 Oct | Fri | Iavor Diatchki | Using git |
| 24 Oct | Fri | Mark Jones | HASP language update |
| 24 Oct | Fri | Andrew McCreight | GCminor |
| 17 Oct | Fri | Tim Chevalier | Certified Compilation |
| 10 Oct | Fri | Brian Huffman | Deflation for Types |
| 10 Oct | Fri | John Matthews | Cross-Domain Proofs |
| 3 Oct 2008 | Fri | Jim Hook | Admin: First meeting of the HASP project |
back to main page
Programatica Past Talks/Discussions
Many members of HASP previously worked on Programatica.
| Apr 25 | Parallel generational GC with a block-structured heap | Simon Marlow |
| Apr 25 | Using Equational Tree Automata to Identify Incomplete Specifications | Joe Hendrix |
| Apr 18 | Worker/Wrapper Transform | Andy Gill |
| Apr 11 | INRIA's CompCert | Andrew Tolmach |
| Apr 4 | Organizational meeting | |
| Mar 21 | Brainstorming session on language design | |
| Mar 14 | Report on HCSS | |
| Feb 29 | Update on funding; Web presence | |
| Feb 22 | Some Views on Systems & Systems Programming | Johan Nordlander |
| Feb 22 | | Iavor Diatchki |
| Feb 22 | | Andrew Tolmach |
| Feb 15 | "Systems Haskell" discussion | Mark Jones |
| Feb 8 | Powerdomains in Isabelle/HOLCF | Brian Huffman |
| Feb 8 | Typed STIR: Experiences with type checking the IR of an optimizing Java JIT | Andrew McCreight |
| Feb 1 | The Monad of Strict Computation | Dick Kieburtz |
| Feb 1 | Revenge of Functional Dependencies | Mark Jones |
| Jan 25 | TPM modelling | Peter |
| Jan 25 | verifying Cminor programs | Andrew M |
| Jan 18 | type classes in Coq (with demo) | Matthieu Sozeau |
| Jan 11, 2008 | organizational meeting | |
| Dec 7-8, 2007 | Programatica retreat | |
| Nov 30 | Proving Properties of Imperative Pointer Programs via a Shallow Monadic Embedding | Andrew Tolmach |
| Nov 9, 2007 | Formalizing scheduler separation in Coq | Tom Harke |
back to main page