| 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 | 30 | 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 |
| Secure synthesis of distributed cryptographic applications C Acay, J Gancher, R Recto, AC Myers IEEE Computer Security Foundations Symp.(CSF), 2024 | 2 | 2024 |
| Secure Synthesis of Distributed Cryptographic Applications (Technical Report) C Acay, J Gancher, R Recto, AC Myers arXiv preprint arXiv:2401.04131, 2024 | 2 | 2024 |
| 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 | | |
