Robert Soul
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
18
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EuroSys | Yield Not Thy Core. | Achilles Benetopoulos, Peter Alvaro, Andi Quinn, Robert Soul |
| 2025 | CIDR | OSDB: Exposing the Operating System's Inner Database. | Robert Soul, George V. Neville-Neil, Stelios Kasouridis, Alex Yuan, Avi Silberschatz, Peter Alvaro |
| 2025 | CLOUD | The case for synchronous distributed protocols in public clouds. | Nenad Milosevic, Robert Soul, Fernando Pedone |
| 2025 | Middleware | Message Size Matters: AlterBFT's Approach to Practical Synchronous BFT in Public Clouds. | Nenad Milosevic, Daniel Cason, Zarko Milosevic, Robert Soul, Fernando Pedone |
| 2023 | SIGCOMM | Towards an Algebraic Specification of Quantum Networks. | Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soul, Patrick Eugster |
| 2022 | OPODIS | Robust and Fast Blockchain State Synchronization. | Enrique Fynn, Ethan Buchman, Zarko Milosevic, Robert Soul, Fernando Pedone |
| 2021 | HOTNETS | Don't Let RPCs Constrain Your API. | Daniel Bittman, Robert Soul, Ethan L. Miller, Vishal Shrivastav, Pankaj Mehra, Matthew Boisvert, Avi Silberschatz, Peter Alvaro |
| 2021 | HotOS | Zerializer: towards zero-copy serialization. | Adam Wolnikowski, Stephen Ibanez, Jonathan Stone, Changhoon Kim, Rajit Manohar, Robert Soul |
| 2021 | INFOCOM | Flow Algebra: Towards an Efficient, Unifying Framework for Network Management Tasks. | Christopher Leet, Robert Soul, Yang Richard Yang, Ying Zhang |
| 2021 | NSDI | Avenir: Managing Data Plane Diversity with Control Plane Synthesis. | Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soul, Nate Foster |
| 2020 | CoNEXT | Finding hard-to-find data plane bugs with a PTA. | Pietro Bressana, Noa Zilberman, Robert Soul |
| 2020 | CoNEXT | Forwarding and routing with packet subscriptions. | Theo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soul |
| 2020 | EuroSys | Analyzing system performance with probabilistic performance annotations. | Daniele Rogora, Antonio Carzaniga, Amer Diwan, Matthias Hauswirth, Robert Soul |
| 2020 | SIGCOMM | Trading Latency for Compute in the Network. | Pietro Bressana, Noa Zilberman, Dejan Vucinic, Robert Soul |
| 2019 | EuroSys | The Case For In-Network Computing On Demand. | Yuta Tokusashi, Huynh Tu Dang, Fernando Pedone, Robert Soul, Noa Zilberman |
| 2019 | ICDCS | DynaStar: Optimized Dynamic Partitioning for Scalable State Machine Replication. | Long Hoang Le, Enrique Fynn, Mojtaba Eslahi-Kelorazi, Robert Soul, Fernando Pedone |
| 2018 | HOTNETS | Packet Subscriptions for Programmable ASICs. | Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soul |
| 2018 | ICNP | Consensus for Non-volatile Main Memory. | Huynh Tu Dang, Jaco Hofmann, Yang Liu, Marjan Radi, Dejan Vucinic, Robert Soul, Fernando Pedone |
| 2018 | NSDI | NetChain: Scale-Free Sub-RTT Coordination. | Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soul, Changhoon Kim, Ion Stoica |
| 2018 | NSDI | Semi-Oblivious Traffic Engineering: The Road Not Taken. | Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soul |
| 2018 | SIGCOMM | A Programmable Framework for Validating Data Planes. | Pietro Bressana, Noa Zilberman, Robert Soul |
| 2018 | SIGCOMM | Infinite Resources for Optimistic Concurrency Control. | Theo Jepsen, Leandro Pacheco de Sousa, Masoud Moshref, Fernando Pedone, Robert Soul |
| 2018 | SIGCOMM | p4v: practical verification for programmable data planes. | Jed Liu, William T. Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soul, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster |
| 2017 | USENIX | Emu: Rapid Prototyping of Networking Services. | Nik Sultana, Salvator Galea, David Greaves, Marcin Wjcik, Jonny Shipton, Richard G. Clegg, Luo Mai, Pietro Bressana, Robert Soul, Richard Mortier, Paolo Costa, Peter R. Pietzuch, Jon Crowcroft, Andrew W. Moore, Noa Zilberman |
| 2017 | SOSP | NetCache: Balancing Key-Value Stores with Fast In-Network Caching. | Xin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soul, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica |
| 2016 | DSN | Introduction to DISN 2016. | Elias P. Duarte Jr., Matti A. Hiltunen, Robert Soul |
| 2016 | USENIX | Callinicos: Robust Transactional Storage for Distributed Data Structures. | Ricardo Padilha, Enrique Fynn, Robert Soul, Fernando Pedone |
| 2014 | CoNEXT | Merlin: A Language for Provisioning Network Resources. | Robert Soul, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert D. Kleinberg, Emin Gn Sirer, Nate Foster |
| 2014 | ECOOP | MiCA: A Compositional Architecture for Gossip Protocols. | Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, Robert Soul |
| 2013 | HOTNETS | Managing the network with Merlin. | Robert Soul, Shrutarshi Basu, Robert Kleinberg, Emin Gn Sirer, Nate Foster |
| 2010 | ESOP | A Universal Calculus for Stream Processing Languages. | Robert Soul, Martin Hirzel, Robert Grimm, Bugra Gedik, Henrique Andrade, Vibhore Kumar, Kun-Lung Wu |
| 2009 | NSDI | PADS: A Policy Architecture for Distributed Storage Systems. | Nalini Moti Belaramani, Jiandan Zheng, Amol Nayate, Robert Soul, Michael Dahlin, Robert Grimm |
| 2007 | NSDI | Ensuring Content Integrity for Untrusted Peer-to-Peer Content Distribution Networks. | Nikolaos Michalakis, Robert Soul, Robert Grimm |