Ryan Wisnesky
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2008–2013
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | EDBT | HIL: a high-level scripting language for entity integration. | Mauricio A. Hernndez, Georgia Koutrika, Rajasekar Krishnamurthy, Lucian Popa, Ryan Wisnesky |
| 2010 | ICDT | Mapping polymorphism. | Ryan Wisnesky, Mauricio A. Hernndez, Lucian Popa |
| 2010 | POPL | Toward a verified relational database management system. | J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky |
| 2009 | ICFP | Effective interactive proofs for higher-order imperative programs. | Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky |
| 2008 | ICDE | Orchid: Integrating Schema Mapping and ETL. | Stefan Dessloch, Mauricio A. Hernndez, Ryan Wisnesky, Ahmed Radwan, Jindan Zhou |