Search
Add filters:
Use filters to refine the search results.
Item hits:
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2016 | Compiling Path Queries | Narayana, Srinivas; Arashloo, Mina T; Rexford, Jennifer; Walker, David |
| 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 |
| 2013 | Composing Software Defined Networks | Monsanto, Christopher; Reich, Joshua; Foster, Nate; Rexford, Jennifer; Walker, David |
| 2020 | Tracking P4 Program Execution in the Data Plane | Kodeswaran, Suriya; Arashloo, Mina T; Tammana, Praveen; Rexford, Jennifer |
| 2020 | Towards Understanding Hierarchical Learning: Benefits of Neural Representations | Chen, Minshuo; Bai, Yu; Lee, Jason D; Zhao, Tuo; Wang, Huan, et al |
| 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 |
| 2020 | Optimization of Simultaneous Measurement for Variational Quantum Eigensolver Applications | Gokhale, Pranav; Angiuli, Olivia; Ding, Yongshan; Gui, Kaiwen; Tomesh, Teague, et al |
| 2020 | PerpLE: Improving the Speed and Effectiveness of Memory Consistency Testing | Melissaris, Themis; Markakis, Markos; Shaw, Kelly; Martonosi, Margaret |