Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Article Title | Author(s) |
---|---|---|
2020 | SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation | Ding, Yongshan; Wu, Xin-Chuan; Holmes, Adam; Wiseth, Ash; Franklin, Diana, et al |
2020 | TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests | Hossain, Naorin; Trippel, Caroline; Martonosi, Margaret |
2020 | Towards Non-interactive Witness Hiding | Kuykendall, Benjamin; Zhandry, Mark |
2021 | Securing internet applications from routing attacks | Sun, Yixin; Apostolaki, Maria; Birge-Lee, Henry; Vanbever, Laurent; Rexford, Jennifer, et al |
2020 | Tracking P4 Program Execution in the Data Plane | Kodeswaran, Suriya; Arashloo, Mina T; Tammana, Praveen; Rexford, Jennifer |
2012 | Virtual Switching Without a Hypervisor for a More Secure Cloud | Jin, Xin; Keller, Eric; Rexford, Jennifer |
2021 | Technical perspective: Tracking pandemic-driven internet traffic | Rexford, Jennifer |
2017 | Co-expression networks reveal the tissue-specific regulation of transcription and splicing | Saha, Ashis; Kim, Yungil; Gewirtz, Ariel D H; Jo, Brian; Gao, Chuan, et al |
2016 | Compiling Path Queries | Narayana, Srinivas; Arashloo, Mina T; Rexford, Jennifer; Walker, David |
2013 | Composing Software Defined Networks | Monsanto, Christopher; Reich, Joshua; Foster, Nate; Rexford, Jennifer; Walker, David |