Ryan Wisnesky
Ryan Wisnesky
Conexus AI
Verified email at wisnesky.net - Homepage
Title
Cited by
Cited by
Year
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
1212009
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
1032010
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
882008
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
602013
Trace-based verification of imperative programs with I/O
G Malecha, G Morrisett, R Wisnesky
Journal of Symbolic Computation 46 (2), 95-118, 2011
252011
Relational foundations for functorial data migration
DI Spivak, R Wisnesky
Proceedings of the 15th Symposium on Database Programming Languages, 21-28, 2015
212015
Algebraic databases
P Schultz, DI Spivak, C Vasilakopoulou, R Wisnesky
arXiv preprint arXiv:1602.03501, 2016
182016
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
162008
Algebraic data integration
P Schultz, R Wisnesky
Journal of Functional Programming 27, 2017
122017
Entity integration using high-level scripting languages
AR Brown, L Popa, MA Hernandez-Sherrington, S Thalamati, ...
US Patent 9,535,951, 2017
102017
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
92017
Algebraic model management: A survey
P Schultz, DI Spivak, R Wisnesky
International Workshop on Algebraic Development Techniques, 56-69, 2016
92016
Certified web services in Ynot
R Wisnesky, GM Malecha, JG Morrisett
92010
Evaluating scheduling algorithms on distributed computational grids
R Wisnesky
Proceedings of the 11th IEEE Symposium on HighPerformance Distributed Computing, 2002
82002
Mapping polymorphism
R Wisnesky, MA Hernández, L Popa
Proceedings of the 13th International Conference on Database Theory, 196-208, 2010
62010
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
52015
Categorical data integration for computational science
KS Brown, DI Spivak, R Wisnesky
Computational Materials Science 164, 127-132, 2019
42019
Functional query languages with categorical types
R Wisnesky
42014
High-level rules for integration and analysis of data: New challenges
B Alexe, D Burdick, MA Hernández, G Koutrika, R Krishnamurthy, L Popa, ...
In Search of Elegance in the Theory and Practice of Computation, 36-55, 2013
42013
Functorial Data Migration: From Theory to Practice
E Subrahmanian, R Wisnesky, D Spivak, P Schultz
3*2014
The system can't perform the operation now. Try again later.
Articles 1–20