Follow
Ryan Wisnesky
Ryan Wisnesky
Conexus AI
Verified email at wisnesky.net - Homepage
Title
Cited by
Cited by
Year
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
1412010
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
1272009
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
1042008
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
742013
Relational foundations for functorial data migration
DI Spivak, R Wisnesky
Proceedings of the 15th Symposium on Database Programming Languages, 21-28, 2015
572015
Algebraic databases
P Schultz, DI Spivak, C Vasilakopoulou, R Wisnesky
arXiv preprint arXiv:1602.03501, 2016
542016
Algebraic data integration
P Schultz, R Wisnesky
Journal of Functional Programming 27, 2017
352017
Trace-based verification of imperative programs with I/O
G Malecha, G Morrisett, R Wisnesky
Journal of Symbolic Computation 46 (2), 95-118, 2011
352011
Categorical data integration for computational science
KS Brown, DI Spivak, R Wisnesky
Computational Materials Science 164, 127-132, 2019
282019
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), 021011, 2017
232017
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
192008
Algebraic model management: A survey
P Schultz, DI Spivak, R Wisnesky
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 …, 2017
152017
Entity integration using high-level scripting languages
AR Brown, L Popa, MA Hernandez-Sherrington, S Thalamati, ...
US Patent 9,535,951, 2017
132017
Certified web services in Ynot
R Wisnesky, GM Malecha, JG Morrisett
122010
Algebraic property graphs
J Shinavier, R Wisnesky, JG Meyers
arXiv preprint arXiv:1909.04881, 2019
112019
Solvable Groups
RJ Wisnesky
Harvard University, Cambridge, USA, 2005
102005
Evaluating scheduling algorithms on distributed computational grids
R Wisnesky
Proceedings of the 11th IEEE Symposium on HighPerformance Distributed Computing, 2002
102002
Operadic analysis of distributed systems
K Schweiker, S Varadarajan, D Spivak, P Schultz, R Wisnesky, M Pérez
National Aeronautics and Space Administration, Tech. Rep. NASA/CR–2015–xxxxxx, 2015
72015
Mapping polymorphism
R Wisnesky, MA Hernández, L Popa
Proceedings of the 13th International Conference on Database Theory, 196-208, 2010
72010
Functorial Data Migration: From Theory to Practice
E Subrahmanian, R Wisnesky, D Spivak, P Schultz
Eswaran Subrahmanian, Ryan Wisnesky, David Spivak, Patrick Schultz, 2014
6*2014
The system can't perform the operation now. Try again later.
Articles 1–20