Robert Soulé

81 papers A* 3A 12B 2Misc 8Journal 27Unranked 27
YearRankTypeTitle / Venue / Authors
2026 — conf
Accio: Rethinking OS-Architecture Co-Design for Next-Gen I/O.
NINeS
Amirmohammad Nazari, Rajit Manohar, Robert Soulé
2026 A conf
Yield Not Thy Core.
EuroSys
Achilles Benetopoulos, Peter Alvaro, Andi Quinn, Robert Soulé
2025 J jnl
A Language for Quantifying Quantum Network Behavior.
Proc. ACM Program. Lang.
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster
2025 A conf
Message Size Matters: AlterBFT's Approach to Practical Synchronous BFT in Public Clouds.
Middleware
Nenad Milosevic, Daniel Cason, Zarko Milosevic, Robert Soulé, Fernando Pedone
2025 J jnl
Message Size Matters: AlterBFT's Approach to Practical Synchronous BFT in Public Clouds.
CoRR
Nenad Milosevic, Daniel Cason, Zarko Milosevic, Robert Soulé, Fernando Pedone
2025 A conf
OSDB: Exposing the Operating System's Inner Database.
CIDR
Robert Soulé, George V. Neville-Neil, Stelios Kasouridis, Alex Yuan, Avi Silberschatz, Peter Alvaro
2025 — conf
The case for synchronous distributed protocols in public clouds.
SoCC
Nenad Milosevic, Robert Soulé, Fernando Pedone
2025 — conf
Towards Automatically Extracting the Relational Model of an Operating System.
DBPL
Brian Choi, George V. Neville-Neil, Alex Yuan, Avi Silberschatz, Peter Alvaro, Robert Soulé
2024 J jnl
An Algebraic Language for Specifying Quantum Networks.
Proc. ACM Program. Lang.
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster
2024 — conf
NotNets: Accelerating Microservices by Bypassing the Network.
APSys
Peter Alvaro, Matthew Adiletta, David Cheng, Adrian Cockroft, Frank Hady, Ramesh Illikkal, Esteban Ramos, Robert Soulé
2024 J jnl
NotNets: Accelerating Microservices by Bypassing the Network.
CoRR
Peter Alvaro, Matthew Adiletta, Adrian Cockroft, Frank Hady, Ramesh Illikkal, Esteban Ramos, James Tsai, Robert Soulé
2024 J jnl
Research Pearl: The ROSI Operating System Interface.
CoRR
Robert Soulé, Peter Alvaro, Henry F. Korth, Abraham Silberschatz
2024 — conf
Split gRPC: An Isolation Architecture for RPC Software Stacks.
APSys
Esteban Ramos, Robert Soulé, Peter Alvaro, Pietro Bressana, Edmund Chen, Uri Cummings, Rui Li, James Tsai, Rajit Manohar
2023 — conf
MCBeth: A Measurement-based Quantum Programming Language.
Q-SE@ICSE
Aidan T. Evans, Seun Omonije, Robert Soulé, Robert Rand
2023 J jnl
PTA: Finding Hard-to-Find Data Plane Bugs.
IEEE/ACM Trans. Netw.
Pietro Bressana, Noa Zilberman, Robert Soulé
2023 J jnl
SFC: Near-Source Congestion Signaling and Flow Control.
CoRR
Yanfang Le, Jeongkeun Lee, Jeremias Blendin, Jiayi Chen, Georgios Nikolaidis, Rong Pan, Robert Soulé, Aditya Akella, Pedro Yebenes Segura, Arjun Singhvi, Yuliang Li, Qingkai Meng, Changhoon Kim, Serhat Arslan
2023 — conf
Towards an Algebraic Specification of Quantum Networks.
QuNet@SIGCOMM
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, Patrick Eugster
2022 J jnl
Forwarding and Routing With Packet Subscriptions.
IEEE/ACM Trans. Netw.
Theo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soulé
2022 J jnl
MCBeth: A Measurement Based Quantum Programming Language.
CoRR
Aidan T. Evans, Seun Omonije, Robert Soulé, Robert Rand
2022 B conf
Robust and Fast Blockchain State Synchronization.
OPODIS
Enrique Fynn, Ethan Buchman, Zarko Milosevic, Robert Soulé, Fernando Pedone
2021 Misc conf
Avenir: Managing Data Plane Diversity with Control Plane Synthesis.
NSDI
Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster
2021 — conf
Building an Internet Router with P4Pi.
ANCS
Radostin Stoyanov, Adam Wolnikowski, Robert Soulé, Sándor Laki, Noa Zilberman
2021 Misc conf
Don't Let RPCs Constrain Your API.
HotNets
Daniel Bittman, Robert Soulé, Ethan L. Miller, Vishal Shrivastav, Pankaj Mehra, Matthew Boisvert, Avi Silberschatz, Peter Alvaro
2021 A* conf
Flow Algebra: Towards an Efficient, Unifying Framework for Network Management Tasks.
INFOCOM
Christopher Leet, Robert Soulé, Yang Richard Yang, Ying Zhang
2021 J jnl
In-Network Support for Transaction Triaging.
Proc. VLDB Endow.
Theo Jepsen, Alberto Lerner, Fernando Pedone, Robert Soulé, Philippe Cudré-Mauroux
2021 — conf
P4 Weaver: Supporting Modular and Incremental Programming in P4.
SOSR
Ali Fattaholmanan, Mario Baldi, Antonio Carzaniga, Robert Soulé
2021 J jnl
P4Pi: P4 on Raspberry Pi for networking education.
Comput. Commun. Rev.
Sándor Laki, Radostin Stoyanov, Dávid Kis, Robert Soulé, Péter Vörös, Noa Zilberman
2021 A conf
Zerializer: towards zero-copy serialization.
HotOS
Adam Wolnikowski, Stephen Ibanez, Jonathan Stone, Changhoon Kim, Rajit Manohar, Robert Soulé
2020 A conf
Analyzing system performance with probabilistic performance annotations.
EuroSys
Daniele Rogora, Antonio Carzaniga, Amer Diwan, Matthias Hauswirth, Robert Soulé
2020 A conf
Finding hard-to-find data plane bugs with a PTA.
CoNEXT
Pietro Bressana, Noa Zilberman, Robert Soulé
2020 A conf
Forwarding and routing with packet subscriptions.
CoNEXT
Theo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soulé
2020 J jnl
P4xos: Consensus as a Network Service.
IEEE/ACM Trans. Netw.
Huynh Tu Dang, Pietro Bressana, Han Wang, Ki Suh Lee, Noa Zilberman, Hakim Weatherspoon, Marco Canini, Fernando Pedone, Robert Soulé
2020 — conf
Trading Latency for Compute in the Network.
NAI@SIGCOMM
Pietro Bressana, Noa Zilberman, Dejan Vucinic, Robert Soulé
2019 A conf
DynaStar: Optimized Dynamic Partitioning for Scalable State Machine Replication.
ICDCS
Long Hoang Le, Enrique Fynn, Mojtaba Eslahi-Kelorazi, Robert Soulé, Fernando Pedone
2019 — conf
Fast String Searching on PISA.
SOSR
Theo Jepsen, Daniel Álvarez, Nate Foster, Changhoon Kim, Jeongkeun Lee, Masoud Moshref, Robert Soulé
2019 J jnl
Partitioned Paxos via the Network Data Plane.
CoRR
Huynh Tu Dang, Pietro Bressana, Han Wang, Ki Suh Lee, Noa Zilberman, Hakim Weatherspoon, Marco Canini, Fernando Pedone, Robert Soulé
2019 — ch.
Stream Query Optimization.
Encyclopedia of Big Data Technologies
Martin Hirzel, Robert Soulé, Bugra Gedik, Scott Schneider
2019 A conf
The Case For In-Network Computing On Demand.
EuroSys
Yuta Tokusashi, Huynh Tu Dang, Fernando Pedone, Robert Soulé, Noa Zilberman
2018 — conf
A Programmable Framework for Validating Data Planes.
SIGCOMM Posters and Demos
Pietro Bressana, Noa Zilberman, Robert Soulé
2018 B conf
Consensus for Non-volatile Main Memory.
ICNP
Huynh Tu Dang, Jaco Hofmann, Yang Liu, Marjan Radi, Dejan Vucinic, Robert Soulé, Fernando Pedone
2018 — conf
Infinite Resources for Optimistic Concurrency Control.
NetCompute@SIGCOMM
Theo Jepsen, Leandro Pacheco de Sousa, Masoud Moshref, Fernando Pedone, Robert Soulé
2018 — conf
Life in the Fast Lane: A Line-Rate Linear Road.
SOSR
Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé
2018 J jnl
Merlin: A Language for Managing Network Resources.
IEEE/ACM Trans. Netw.
Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert Kleinberg, Emin Gün Sirer, Nate Foster
2018 J jnl
NetChain: Scale-Free Sub-RTT Coordination (Extended Version).
CoRR
Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soulé, Changhoon Kim, Ion Stoica
2018 Misc conf
NetChain: Scale-Free Sub-RTT Coordination.
NSDI
Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soulé, Changhoon Kim, Ion Stoica
2018 Misc conf
Packet Subscriptions for Programmable ASICs.
HotNets
Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé
2018 — conf
Semi-Oblivious Traffic Engineering with SMORE.
ANRW
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé
2018 Misc conf
Semi-Oblivious Traffic Engineering: The Road Not Taken.
NSDI
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé
2018 — conf
YATES: Rapid Prototyping for Traffic Engineering Systems.
SOSR
Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, Robert Soulé
2018 A* conf
p4v: practical verification for programmable data planes.
SIGCOMM
Jed Liu, William T. Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster
2017 — conf
Emu: Rapid Prototyping of Networking Services.
USENIX ATC
Nik Sultana, Salvator Galea, David Greaves, Marcin Wójcik, 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 — conf
Gotthard: Network Support for Transaction Processing.
SOSR
Theo Jepsen, Leandro Pacheco de Sousa, Huynh Tu Dang, Fernando Pedone, Robert Soulé
2017 A* conf
NetCache: Balancing Key-Value Stores with Fast In-Network Caching.
SOSP
Xin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica
2017 — conf
P4FPGA: A Rapid Prototyping Framework for P4.
SOSR
Han Wang, Robert Soulé, Huynh Tu Dang, Ki Suh Lee, Vishal Shrivastav, Nate Foster, Hakim Weatherspoon
2017 — conf
Performance Annotations for Cloud Computing.
HotCloud
Daniele Rogora, Steffen Smolka, Antonio Carzaniga, Amer Diwan, Robert Soulé
2017 — conf
Whippersnapper: A P4 Language Benchmark Suite.
SOSR
Huynh Tu Dang, Han Wang, Theo Jepsen, Gordon J. Brebner, Changhoon Kim, Jennifer Rexford, Robert Soulé, Hakim Weatherspoon
2016 — conf
Callinicos: Robust Transactional Storage for Distributed Data Structures.
USENIX ATC
Ricardo Padilha, Enrique Fynn, Robert Soulé, Fernando Pedone
2016 — conf
Introduction to DISN 2016.
DSN Workshops
Elias P. Duarte Jr., Matti A. Hiltunen, Robert Soulé
2016 J jnl
Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing.
CoRR
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert D. Kleinberg, Robert Soulé
2016 J jnl
Network Hardware-Accelerated Consensus.
CoRR
Huynh Tu Dang, Pietro Bressana, Han Wang, Ki Suh Lee, Hakim Weatherspoon, Marco Canini, Fernando Pedone, Robert Soulé
2016 J jnl
Optimistic Aborts for Geo-distributed Transactions.
CoRR
Theo Jepsen, Leandro Pacheco de Sousa, Huynh Tu Dang, Fernando Pedone, Robert Soulé
2016 J jnl
Paxos Made Switch-y.
Comput. Commun. Rev.
Huynh Tu Dang, Marco Canini, Fernando Pedone, Robert Soulé
2016 J jnl
RailwayDB: adaptive storage of interaction graphs.
VLDB J.
Robert Soulé, Bugra Gedik
2016 J jnl
River: an intermediate language for stream processing.
Softw. Pract. Exp.
Robert Soulé, Martin Hirzel, Bugra Gedik, Robert Grimm
2015 — conf
NetPaxos: consensus at network speed.
SOSR
Huynh Tu Dang, Daniele Sciascia, Marco Canini, Fernando Pedone, Robert Soulé
2015 J jnl
Paxos Made Switch-y.
CoRR
Huynh Tu Dang, Marco Canini, Fernando Pedone, Robert Soulé
2014 A conf
Merlin: A Language for Provisioning Network Resources.
CoNEXT
Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert D. Kleinberg, Emin Gün Sirer, Nate Foster
2014 J jnl
Merlin: A Language for Provisioning Network Resources.
CoRR
Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert Kleinberg, Emin Gün Sirer, Nate Foster
2014 A conf
MiCA: A Compositional Architecture for Gossip Protocols.
ECOOP
Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, Robert Soulé
2014 J jnl
Optimized Disk Layouts for Adaptive Storage of Interaction Graphs.
CoRR
Robert Soulé, Bugra Gedik
2013 J jnl
A catalog of stream processing optimizations.
ACM Comput. Surv.
Martin Hirzel, Robert Soulé, Scott Schneider, Bugra Gedik, Robert Grimm
2013 — conf
Dynamic expressivity with static optimization for streaming languages.
DEBS
Robert Soulé, Michael I. Gordon, Saman P. Amarasinghe, Robert Grimm, Martin Hirzel
2013 J jnl
IBM Streams Processing Language: Analyzing Big Data in motion.
IBM J. Res. Dev.
Martin Hirzel, Henrique Andrade, Bugra Gedik, Gabriela Jacques-Silva, Rohit Khandekar, Vibhore Kumar, Mark P. Mendell, Howard Nasgaard, Scott Schneider, Robert Soulé, Kun-Lung Wu
2013 Misc conf
Managing the network with Merlin.
HotNets
Robert Soulé, Shrutarshi Basu, Robert Kleinberg, Emin Gün Sirer, Nate Foster
2012 — conf
CAPSULE: language and system support for efficient state sharing in distributed stream processing systems.
DEBS
Giuliano Losa, Vibhore Kumar, Henrique Andrade, Bugra Gedik, Martin Hirzel, Robert Soulé, Kun-Lung Wu
2012 — conf
From a calculus to an execution environment for stream processing.
DEBS
Robert Soulé, Martin Hirzel, Bugra Gedik, Robert Grimm
2012 — —
Reusable Software Infrastructure for Stream Processing.
Robert Soulé
2010 A conf
A Universal Calculus for Stream Processing Languages.
ESOP
Robert Soulé, Martin Hirzel, Robert Grimm, Bugra Gedik, Henrique Andrade, Vibhore Kumar, Kun-Lung Wu
2010 J jnl
From a Stream of Relational Queries to Distributed Stream Processing.
Proc. VLDB Endow.
Qiong Zou, Huayong Wang, Robert Soulé, Martin Hirzel, Henrique Andrade, Bugra Gedik, Kun-Lung Wu
2009 Misc conf
PADS: A Policy Architecture for Distributed Storage Systems.
NSDI
Nalini Moti Belaramani, Jiandan Zheng, Amol Nayate, Robert Soulé, Michael Dahlin, Robert Grimm
2007 Misc conf
Ensuring Content Integrity for Untrusted Peer-to-Peer Content Distribution Networks.
NSDI
Nikolaos Michalakis, Robert Soulé, Robert Grimm