Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Article Title | Author(s) |
---|---|---|
Aug-2019 | NV: An intermediate language for network verification | Beckett, Ryan; Giannarakis, Nick; Loher, Devon; Walker, David |
2011 | Bilateral and Multilateral Exchanges for Peer-Assisted Content Distribution | Aperjis, Christina; Johari, Ramesh; Freedman, Michael J |
Apr-2014 | From application requests to virtual IOPs: provisioned key-value storage with Libra | Shue, David; Freedman, Michael J |
Apr-2014 | Algorithmic improvements for fast concurrent Cuckoo hashing | Li, Xiaozhou; Andersen, David G; Kaminsky, Michael; Freedman, Michael J |
Dec-2011 | Encore: low-cost, fine-grained transient fault recovery | Feng, Shuguang; Gupta, Shantanu; Ansari, Amin; Mahlke, Scott A; August, David I |
2019 | Learning to Prove Theorems via Interacting with Proof Assistants | Yang, Kaiyu; Deng, Jia |
2014 | Disjoint Set Union with Randomized Linking | Goel, Ashish; Khanna, Sanjeev; Larkin, Daniel H; Tarjan, Robert E |
2019 | Representing Movie Characters in Dialogues | Azab, Mahmoud; Kojima, Noriyuki; Deng, Jia; Mihalcea, Rada |
2015 | Faster and More Dynamic Maximum Flow by Incremental Breadth-First Search | Goldberg, Andrew V; Hed, Sagi; Kaplan, Haim; Kohli, Pushmeet; Tarjan, Robert E, et al |
Aug-2018 | Numerical Invariants via Abstract Machines | Kincaid, Zachary |