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 | 126 | 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 | 121 | 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 | 92 | 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 | 66 | 2013 |

Relational foundations for functorial data migration DI Spivak, R Wisnesky Proceedings of the 15th Symposium on Database Programming Languages, 21-28, 2015 | 29 | 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 | 28 | 2011 |

Algebraic databases P Schultz, DI Spivak, C Vasilakopoulou, R Wisnesky arXiv preprint arXiv:1602.03501, 2016 | 27 | 2016 |

Algebraic data integration P Schultz, R Wisnesky Journal of Functional Programming 27, 2017 | 18 | 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 | 16 | 2008 |

Categorical data integration for computational science KS Brown, DI Spivak, R Wisnesky Computational Materials Science 164, 127-132, 2019 | 13 | 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 | 13 | 2017 |

Entity integration using high-level scripting languages AR Brown, L Popa, MA Hernandez-Sherrington, S Thalamati, ... US Patent 9,535,951, 2017 | 11 | 2017 |

Certified web services in Ynot R Wisnesky, GM Malecha, JG Morrisett | 11 | 2010 |

Evaluating scheduling algorithms on distributed computational grids R Wisnesky Proceedings of the 11th IEEE Symposium on HighPerformance Distributed Computing, 2002 | 10 | 2002 |

Algebraic model management: A survey P Schultz, DI Spivak, R Wisnesky International Workshop on Algebraic Development Techniques, 56-69, 2016 | 8 | 2016 |

Mapping polymorphism R Wisnesky, MA Hernández, L Popa Proceedings of the 13th International Conference on Database Theory, 196-208, 2010 | 7 | 2010 |

Algebraic property graphs J Shinavier, R Wisnesky arXiv preprint arXiv:1909.04881, 2019 | 5 | 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 | 5 | 2015 |

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 Harvard University, 2014 | 4 | 2014 |