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
1362010
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
1002008
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
732013
Relational foundations for functorial data migration
DI Spivak, R Wisnesky
Proceedings of the 15th Symposium on Database Programming Languages, 21-28, 2015
442015
Algebraic databases
P Schultz, DI Spivak, C Vasilakopoulou, R Wisnesky
arXiv preprint arXiv:1602.03501, 2016
422016
Trace-based verification of imperative programs with I/O
G Malecha, G Morrisett, R Wisnesky
Journal of Symbolic Computation 46 (2), 95-118, 2011
362011
Algebraic data integration
P Schultz, R Wisnesky
Journal of Functional Programming 27, 2017
272017
Categorical data integration for computational science
KS Brown, DI Spivak, R Wisnesky
Computational Materials Science 164, 127-132, 2019
232019
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
222017
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
Evaluating scheduling algorithms on distributed computational grids
R Wisnesky
Proceedings of the 11th IEEE Symposium on HighPerformance Distributed Computing, 2002
102002
Algebraic property graphs
J Shinavier, R Wisnesky, JG Meyers
arXiv preprint arXiv:1909.04881, 2019
92019
Mapping polymorphism
R Wisnesky, MA Hernández, L Popa
Proceedings of the 13th International Conference on Database Theory, 196-208, 2010
72010
Solvable Groups
RJ Wisnesky
Harvard University, Cambridge, USA, 2005
72005
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
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
52015
The system can't perform the operation now. Try again later.
Articles 1–20