Ryan Wisnesky
Ryan Wisnesky
Conexus AI
Verified email at wisnesky.net - Homepage
Cited by
Cited by
Effective interactive proofs for higher-order imperative programs
A Chlipala, G Malecha, G Morrisett, A Shinnar, R Wisnesky
ACM Sigplan Notices 44 (9), 79-90, 2009
Toward a verified relational database management system
G Malecha, G Morrisett, A Shinnar, R Wisnesky
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
Orchid: Integrating schema mapping and etl
S Dessloch, MA Hernández, R Wisnesky, A Radwan, J Zhou
2008 IEEE 24th International Conference on Data Engineering, 1307-1316, 2008
HIL: a high-level scripting language for entity integration
M Hernández, G Koutrika, R Krishnamurthy, L Popa, R Wisnesky
Proceedings of the 16th international conference on extending database …, 2013
Relational foundations for functorial data migration
DI Spivak, R Wisnesky
Proceedings of the 15th Symposium on Database Programming Languages, 21-28, 2015
Trace-based verification of imperative programs with I/O
G Malecha, G Morrisett, R Wisnesky
Journal of Symbolic Computation 46 (2), 95-118, 2011
Algebraic databases
P Schultz, DI Spivak, C Vasilakopoulou, R Wisnesky
arXiv preprint arXiv:1602.03501, 2016
Algebraic data integration
P Schultz, R Wisnesky
Journal of Functional Programming 27, 2017
Bringing Business Objects into Extract-Transform-Load (ETL) Technology
H Morris, H Liao, S Padmanabhan, S Srinivasan, P Lau, J Shan, ...
2008 IEEE International Conference on e-Business Engineering, 709-714, 2008
Categorical data integration for computational science
KS Brown, DI Spivak, R Wisnesky
Computational Materials Science 164, 127-132, 2019
Using category theory to facilitate multiple manufacturing service database integration
R Wisnesky, S Breiner, A Jones, DI Spivak, E Subrahmanian
Journal of Computing and Information Science in Engineering 17 (2), 2017
Entity integration using high-level scripting languages
AR Brown, L Popa, MA Hernandez-Sherrington, S Thalamati, ...
US Patent 9,535,951, 2017
Certified web services in Ynot
R Wisnesky, GM Malecha, JG Morrisett
Evaluating scheduling algorithms on distributed computational grids
R Wisnesky
Proceedings of the 11th IEEE Symposium on HighPerformance Distributed Computing, 2002
Algebraic model management: A survey
P Schultz, DI Spivak, R Wisnesky
International Workshop on Algebraic Development Techniques, 56-69, 2016
Mapping polymorphism
R Wisnesky, MA Hernández, L Popa
Proceedings of the 13th International Conference on Database Theory, 196-208, 2010
Algebraic property graphs
J Shinavier, R Wisnesky
arXiv preprint arXiv:1909.04881, 2019
Using dependent types and tactics to enable semantic optimization of language-integrated queries
G Malecha, R Wisnesky
Proceedings of the 15th Symposium on Database Programming Languages, 49-58, 2015
Functorial Data Migration: From Theory to Practice
E Subrahmanian, R Wisnesky, D Spivak, P Schultz
Functional query languages with categorical types
R Wisnesky
Harvard University, 2014
The system can't perform the operation now. Try again later.
Articles 1–20