Ryan Wisnesky

According to our database1, Ryan Wisnesky authored at least 18 papers between 2006 and 2017.

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Algebraic data integration.
J. Funct. Program., 2017

2016
Algebraic Databases.
CoRR, 2016

Algebraic Model Management: A Survey.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

2015
Functorial Data Migration: From Theory to Practice.
CoRR, 2015

A Purely Equational Formalism for Functorial Data Migration.
CoRR, 2015

QINL: Query-integrated Languages.
CoRR, 2015

Relational foundations for functorial data migration.
Proceedings of the 15th Symposium on Database Programming Languages, 2015

Using dependent types and tactics to enable semantic optimization of language-integrated queries.
Proceedings of the 15th Symposium on Database Programming Languages, 2015

2013
HIL: a high-level scripting language for entity integration.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

High-Level Rules for Integration and Analysis of Data: New Challenges.
Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2012
On The Relational Foundations Of Functorial Data Migration
CoRR, 2012

2011
Trace-based verification of imperative programs with I/O.
J. Symb. Comput., 2011

2010
Toward a verified relational database management system.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Mapping polymorphism.
Proceedings of the Database Theory, 2010

2009
Effective interactive proofs for higher-order imperative programs.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008
Bringing Business Objects into Extract-Transform-Load (ETL) Technology.
Proceedings of the 2008 IEEE International Conference on e-Business Engineering, 2008

Orchid: Integrating Schema Mapping and ETL.
Proceedings of the 24th International Conference on Data Engineering, 2008

2006
Callisto: Mergers Without Pain.
Proceedings of the Business Intelligence for the Real-Time Enterprises, 2006


  Loading...