Browsing by Author Millstein, Todd
Showing results 1 to 3 of 3
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Jun-2020 | Data-driven inference of representation invariants | Miltner, Anders; Padhi, Saswat; Millstein, Todd; Walker, David |
| Nov-2019 | Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming | Beckett, Ryan; Mahajan, Ratul; Millstein, Todd; Padhye, Jitendra; Walker, David |
| 2021 | Logical abstractions for noisy variational Quantum algorithm simulation | Huang, Yipeng; Holtzen, Steven; Millstein, Todd; Van den Broeck, Guy; Martonosi, Margaret |