Ryan Wisnesky
Ryan Wisnesky
Conexus AI
Email verificata su wisnesky.net - Home page
Titolo
Citata da
Citata da
Anno
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
1222009
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
1132010
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
892008
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
632013
Trace-based verification of imperative programs with I/O
G Malecha, G Morrisett, R Wisnesky
Journal of Symbolic Computation 46 (2), 95-118, 2011
262011
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
192016
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
142017
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
112017
Entity integration using high-level scripting languages
AR Brown, L Popa, MA Hernandez-Sherrington, S Thalamati, ...
US Patent 9,535,951, 2017
112017
Certified web services in Ynot
R Wisnesky, GM Malecha, JG Morrisett
102010
Algebraic model management: A survey
P Schultz, DI Spivak, R Wisnesky
International Workshop on Algebraic Development Techniques, 56-69, 2016
92016
Evaluating scheduling algorithms on distributed computational grids
R Wisnesky
Proceedings of the 11th IEEE Symposium on HighPerformance Distributed Computing, 2002
92002
Categorical data integration for computational science
KS Brown, DI Spivak, R Wisnesky
Computational Materials Science 164, 127-132, 2019
72019
Mapping polymorphism
R Wisnesky, MA Hernández, L Popa
Proceedings of the 13th International Conference on Database Theory, 196-208, 2010
72010
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
Functorial Data Migration: From Theory to Practice
E Subrahmanian, R Wisnesky, D Spivak, P Schultz
4*2014
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
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20