| Viaduct: an extensible, optimizing compiler for secure distributed programs C Acay, R Recto, J Gancher, AC Myers, E Shi Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 24 | 2021 |
| A tour of gallifrey, a language for geodistributed programming M Milano, R Recto, T Magrino, AC Myers 3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019 | 16 | 2019 |
| Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs (Technical Report) C Acay, R Recto, J Gancher, AC Myers, E Shi Cryptology ePrint Archive, 2021 | 3 | 2021 |
| Finding bugs in liquid haskell,- A Tondwalkar, R Recto, W Weimer, R Jhala | 1 | 2016 |
| A Compiler from Array Programs to Vectorized Homomorphic Encryption R Recto, AC Myers arXiv preprint arXiv:2311.06142, 2023 | | 2023 |
| Compilers for Secure Computation R Recto Cornell University, 2023 | | 2023 |
| An Extensible, Optimizing Compiler for Secure Distributed Programs C Acay, R Recto, J Gancher, AC Myers, E Shi | | 2021 |
| Secure Information Flow for Concurrent Programs with Expressive Synchronization R Recto, M Algehed, AC Myers | | |
