| 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 | 51 | 2021 |
| A tour of gallifrey, a language for geodistributed programming M Milano, R Recto, T Magrino, AC Myers Summit on Advances in Programming Languages, 2019 | 25 | 2019 |
| Secure synthesis of distributed cryptographic applications C Acay, J Gancher, R Recto, AC Myers 2024 IEEE 37th Computer Security Foundations Symposium (CSF), 433-448, 2024 | 8 | 2024 |
| Secure synthesis of distributed cryptographic applications (technical report) C Acay, J Gancher, R Recto, AC Myers arXiv preprint arXiv:2401.04131, 2024 | 3 | 2024 |
| A compiler from array programs to vectorized homomorphic encryption R Recto, AC Myers arXiv preprint arXiv:2311.06142, 2023 | 3 | 2023 |
| 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 | 2 | 2016 |
| 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 | | |
