Ryan Wisnesky
ryan@cs.harvard.edu
|
Harvard University |
|
I'm a computer science Ph.D. student in the Programming Languages Group. My interests include program verification, type theory, and query languages. My advisor is Greg Morrisett.
- Current Activities
- Toward a Verified Relational Database Management System (POPL 10) [Code]
- Effective Interactive Proof of Higher Order Imperative Programs (ICFP 09)
- Certified Web Services in Ynot (WWV 09) [Slides]
- Mapping Polymorphism - Draft (ICDT 10) [Proofs]
- Mapping Dependence (Tech Report)
- Orchid: Integrating Schema Mapping and ETL (ICDE 08) [Slides]
- Past Activities
- Callisto: Mergers without Pain (BIRTE 06)
- Bringing Business Objects into Extract-Transform-Load Technology (BIMA 08) (alternate version)
- The Inheritance Anomaly Revisited
- Evaluating Scheduling Algorithms on Distributed Computational Grids
- Octopus and Related Protocols
- The Forgotten Quaternions
- Recursion Theoretic Techniques for Denotational Semantics
- D-infinity, Category Theory, and All That
- The Inadequacy of Pure Intention
- Exploring Webgraph Compression with SUBDUE
- Teaching
- Resume
- C.V.
 |
I'm building certified systems software with Ynot.
|
 |
I collaborate with the Clio
team. I am interested in understanding schema mappings as typed objects.
|
 |
I occasionally contribute to the Peerium platform.
|
 |
I'm a former Extreme Blue intern.
|
 |
Unpublished course-related reports.
|
Harvard University, CS 51: Abstraction and Design in Computer Programming, Teaching Fellow, Spring 2008.
Stanford University, CS 242: Programming Languages, Teaching Fellow, Fall 2006.