Ryan Wisnesky

According to our database, Ryan Wisnesky authored at least 24 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Relational to RDF Data Migration by Query Co-Evaluation.

Ryan Wisnesky, Daniel Filonik

CoRR, 2024

2022

Fast Left Kan Extensions Using the Chase.

Joshua Meyers, David I. Spivak, Ryan Wisnesky

J. Autom. Reason., 2022

Consensus-Free Spreadsheet Integration.

Brandon Baylor, Eric Daimler, James Hansen, Esteban Montero, Ryan Wisnesky

CoRR, 2022

2020

Informal Data Transformation Considered Harmful.

Eric Daimler, Ryan Wisnesky

CoRR, 2020

2019

Algebraic Property Graphs.

Joshua Shinavier, Ryan Wisnesky

CoRR, 2019

Categorical Data Integration for Computational Science.

Kristopher Brown, David I. Spivak, Ryan Wisnesky

CoRR, 2019

2017

Algebraic data integration.

Patrick Schultz, Ryan Wisnesky

J. Funct. Program., 2017

Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration.

Ryan Wisnesky, Spencer Breiner, Albert T. Jones, David I. Spivak, Eswaran Subrahmanian

J. Comput. Inf. Sci. Eng., 2017

2016

Algebraic Databases.

Patrick Schultz, David I. Spivak, Christina Vasilakopoulou, Ryan Wisnesky

CoRR, 2016

Algebraic Model Management: A Survey.

Patrick Schultz, David I. Spivak, Ryan Wisnesky

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

2015

Functorial Data Migration: From Theory to Practice.

Ryan Wisnesky, David I. Spivak, Patrick Schultz, Eswaran Subrahmanian

CoRR, 2015

A Purely Equational Formalism for Functorial Data Migration.

David I. Spivak, Patrick Schultz, Ryan Wisnesky

CoRR, 2015

QINL: Query-integrated Languages.

Patrick Schultz, David I. Spivak, Ryan Wisnesky

CoRR, 2015

Relational foundations for functorial data migration.

David I. Spivak, Ryan Wisnesky

Proceedings of the 15th Symposium on Database Programming Languages, 2015

Using dependent types and tactics to enable semantic optimization of language-integrated queries.

Gregory Malecha, Ryan Wisnesky

Proceedings of the 15th Symposium on Database Programming Languages, 2015

2013

HIL: a high-level scripting language for entity integration.

Mauricio A. Hernández, Georgia Koutrika, Rajasekar Krishnamurthy, Lucian Popa, Ryan Wisnesky

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

High-Level Rules for Integration and Analysis of Data: New Challenges.

Bogdan Alexe, Douglas Burdick, Mauricio A. Hernández, Georgia Koutrika, Rajasekar Krishnamurthy, Lucian Popa, Ioana Stanoi, Ryan Wisnesky

Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2011

Trace-based verification of imperative programs with I/O.

Gregory Malecha, Greg Morrisett, Ryan Wisnesky

J. Symb. Comput., 2011

2010

Toward a verified relational database management system.

J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Mapping polymorphism.

Ryan Wisnesky, Mauricio A. Hernández, Lucian Popa

Proceedings of the Database Theory, 2010

2009

Effective interactive proofs for higher-order imperative programs.

Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky

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.

Huong Morris, Hui Liao, Sriram Padmanabhan, Sriram Srinivasan, Phay Lau, Jing Shan, Ryan Wisnesky

Proceedings of the 2008 IEEE International Conference on e-Business Engineering, 2008

Orchid: Integrating Schema Mapping and ETL.

Stefan Dessloch, Mauricio A. Hernández, Ryan Wisnesky, Ahmed Radwan, Jindan Zhou

Proceedings of the 24th International Conference on Data Engineering, 2008

2006

Callisto: Mergers Without Pain.

Huong Morris, Hui Liao, Sriram Padmanabhan, Sriram Srinivasan, Eugene Kawamoto, Phay Lau, Jing Shan, Ryan Wisnesky

Proceedings of the Business Intelligence for the Real-Time Enterprises, 2006