Journals, Conferences & Workshops
2024
An Algebraic Language for Specifying Quantum Networks .
Anita
Buckley ,
Pavel
Chuprikov ,
Rodrigo
Otoni ,
Robert
Soulé ,
Robert
Rand , and
Patrick
Eugster .
PLDI ’24 ,
June 2024.
2023
Toward Carbon-Aware Networking .
Noa
Zilberman ,
Eve
Schooler ,
Uri
Cummings ,
Rajit
Manohar ,
Dawn
Nafus ,
Robert
Soulé , and
Rick
Taylor .
EIR , October 2023.
Towards an Algebraic Specification of Quantum Networks .
Anita
Buckley ,
Pavel
Chuprikov ,
Rodrigo
Otoni ,
Robert
Rand ,
Robert
Soulé , and
Patrick
Eugster .
QuNet ’23 ,
September 2023.
MCBeth: A Measurement Based Quantum Programming Language .
Aidan
Evans ,
Seun
Omonije ,
Robert
Soulé , and
Robert
Rand .
Q-SE ’23 ,
May 2023.
2022
A Perspective on Carbon-aware Networking .
Eve
Schooler ,
Rick
Taylor ,
Noa
Zilberman ,
Robert
Soulé ,
Dawn
Nafus ,
Rajit
Manohar , and
Uri
Cummings .
E-Impact ’22 ,
December 2022.
Robust and Fast Blockchain State Synchronization .
Fernando
Pedone ,
Enrique
Fynn ,
Robert
Soulé ,
Zarko
Milosevic , and
Ethan
Buchman .
OPODIS ’22 ,
December 2022.
Finding Hard-to-Find Data Plane Bugs with a PTA .
Pietro
Bressana ,
Noa
Zilberman , and
Robert
Soulé ,
ToN , October 2022.
Toward Carbon-Aware Networking .
Noa
Zilberman ,
Eve
Schooler ,
Uri
Cummings ,
Rajit
Manohar ,
Dawn
Nafus ,
Robert
Soulé , and
Rick
Taylor .
HotCarbon ’22 ,
July 2022.
Forwarding and Routing with Packet Subscriptions .
Theo
Jepsen ,
Ali
Fattaholmanan ,
Masoud
Moshref ,
Nate
Foster ,
Antonio
Carzaniga , and
Robert
Soulé ,
ToN , April 2022.
2021
Building an Internet Router with P4Pi. .
Radostin
Stoyanov ,
Adam
Wolnikowski ,
Robert
Soulé ,
Sándor
Laki , and
Noa
Zilberman .
EuroP4 , December 2021.
Don’t Let RPCs Constrain Your API .
Daniel
Bittman ,
Robert
Soulé ,
Ethan
Miller ,
Vishal
Shrivastav ,
Pankaj
Mehra ,
Matthew
Boisvert ,
Avi
Silberschatz , and
Peter
Alvaro .
HotNets ’21 ,
Nov. 2021.
P4Weaver: Supporting Modular and Incremental Programming in P4 .
Ali
Fattaholmanan ,
Mario
Baldi ,
Antonio
Carzaniga , and
Robert
Soulé .
SOSR ’21 ,
September 2021.
P4Pi: P4 on Raspberry Pi for Networking Education .
Sándor
Laki ,
Radostin
Stoyanov ,
Dávid
Kis ,
Robert
Soulé ,
Péter
Vörös , and
Noa
Zilberman .
SIGCOMM CCR , July 2021.
In-Network Support for Transaction Triaging .
Theo
Jepsen ,
Alberto
Lerner ,
Fernando
Pedone ,
Robert
Soulé , and
Philippe
Cudré-Mauroux .
VLDB ’21 ,
August 2021.
Zerializer: Towards Zero-Copy Serialization .
Adam
Wolnikowski ,
Stephen
Ibanez ,
Jonathan
Stone ,
Changhoon
Kim ,
Rajit
Manohar , and
Robert
Soulé .
HotOS ’21 ,
May 2021.
A Case for Location-based Contact Tracing .
Atul
Pokharel ,
Robert
Soulé , and
Avi
Silberschatz .
HCMS , June 2021.
Avenir: Managing Data Plane Diversity with Control Plane Synthesis .
Eric
Campbell ,
William
Hallahan ,
Priya
Srikumar ,
Carmelo
Cascone ,
Jed
Liu ,
Vignesh
Ramamurthy ,
Hossein
Hojjat ,
Ruzica
Piskac ,
Robert
Soulé , and
Nate
Foster .
NSDI ’21 ,
April 2021.
Flow Algebra: Towards an Efficient, Unifying Framework for Network Management Tasks .
Christopher
Leet ,
Robert
Soulé ,
Y. Richard
Yang , and
Ying
Zhang ,
INFOCOM ’21 , May 2021.
2020
Forwarding and Routing with Packet Subscriptions .
Theo
Jepsen ,
Ali
Fattaholmanan ,
Masoud
Moshref ,
Nate
Foster ,
Antonio
Carzaniga , and
Robert
Soulé ,
CoNEXT ’20 , December 2020. Best
Paper Award .
Finding Hard-to-Find Data Plane Bugs with a PTA .
Pietro
Bressana ,
Noa
Zilberman , and
Robert
Soulé ,
CoNEXT ’20 , December 2020.
P4xos: Consensus as a Network Service .
Huynh Tu
Dang ,
Pietro
Bressana ,
Han
Wang ,
Ki Suh
Lee ,
Noa
Zilberman ,
Hakim
Weatherspoon ,
Marco
Canini ,
Fernando
Pedone , and
Robert
Soulé .
ToN , 28(4), August 2020.
Trading Latency for Compute in the Network .
Pietro
Bressana ,
Noa
Zilberman ,
Dejan
Vucinic , and
Robert
Soulé .
NAI ’20 ,
Aug. 2020.
Analyzing System Performance with Probabilistic Performance Annotations .
Daniele
Rogora ,
Antonio
Carzaniga ,
Amer
Diwan ,
Matthias
Hauswirth , and
Robert
Soulé .
EuroSys ’20 ,
April 2020.
2019
DynaStar: Optimized Dynamic Partitioning for Scalable State Machine Replication .
Long Le
Hoang ,
Enrique
Fynn ,
Mojtaba
Eslahi-Kelorazi ,
Robert
Soulé , and
Fernando
Pedone .
ICDCS ’19 ,
July 2019.
Fast String Searching on PISA .
Theo
Jepsen ,
Daniel
Alvarez ,
Nate
Foster ,
Changhoon
Kim ,
Jeongkeun
Lee ,
Masoud
Moshref , and
Robert
Soulé .
SOSR ’19 ,
April 2019.
The Case For In-Network Computing On Demand .
Yuta
Tokusashi ,
Huynh Tu
Dang ,
Fernando
Pedone ,
Robert
Soulé , and
Noa
Zilberman .
EuroSys ’19 ,
March 2019.
2018
Packet Subscriptions for Programmable ASICs .
Theo
Jepsen ,
Masoud
Moshref ,
Antonio
Carzaniga ,
Nate
Foster , and
Robert
Soulé .
HotNets ’18 ,
Nov. 2018.
Merlin: A Language for Provisioning Network Resources .
Robert
Soulé ,
Shrutarshi
Basu ,
Parisa Jalili
Marandi ,
Fernando
Pedone ,
Robert
Kleinberg ,
Emin Gün
Sirer , and
Nate
Foster .
ToN , 26(5), October 2018.
Consensus for Non-Volatile Main Memory .
Huynh Tu
Dang ,
Jaco
Hofmann ,
Yang
Liu ,
Marjan
Radi ,
Dejan
Vucinic ,
Fernando
Pedone , and
Robert
Soulé .
P4EU ’18 ,
Sep. 2018.
Infinite Resources for Optimistic Concurrency Control .
Theo
Jepsen ,
Leandro
Pacheco de Sousa ,
Masoud
Moshref ,
Fernando
Pedone , and
Robert
Soulé .
NetCompute ’18 ,
Aug. 2018.
p4v: Practical Verification for Programmable Data Planes .
Calin
Cascaval ,
Nate
Foster ,
William
Hallahan ,
Jeongkeun
Lee ,
Jed
Liu ,
Nick
McKeown ,
Cole
Schlesinger ,
Milad
Sharif ,
Robert
Soulé , and
Han
Wang .
SIGCOMM ’18 ,
August 2018.
Semi-Oblivious Traffic Engineering: The Road Not Taken .
Praveen
Kumar ,
Yang
Yuan ,
Chris
Yu ,
Nate
Foster ,
Robert
Kleinberg ,
Petr
Lapukhov ,
Chiun Lin
Lim , and
Robert
Soulé .
NSDI ’18 ,
April 2018.
NetChain: Scale-Free Sub-RTT Coordination .
Xin
Jin ,
Xiaozhou
Li ,
Haoyu
Zhang ,
Nate
Foster ,
Jeongkeun
Lee ,
Robert
Soulé ,
Changhoon
Kim , and
Ion
Stoica .
NSDI ’18 ,
April 2018. Best
Paper Award , Hacker News, Morning Paper .
Stream query optimization .
Martin
Hirzel ,
Robert
Soulé ,
Buğra
Gedik , and
Scott
Schneider .
Encyclopedia of Big Data Technologies, April 2018.
Life in the Fast Lane: A Line-Rate Linear Road .
Theo
Jepsen ,
Masoud
Moshref ,
Antonio
Carzaniga ,
Nate
Foster ,
Robert
Soulé .
SOSR ’18 ,
March 2018.
YATES: Rapid Prototyping for Traffic Engineering Systems .
Praveen
Kumar ,
Chris
Yu ,
Yang
Yuan ,
Nate
Foster ,
Robert
Kleinberg ,
Robert
Soulé .
SOSR ’18 ,
March 2018.
2017
NetCache: Balancing Key-Value Stores with Fast In-Network Caching .
Xin
Jin ,
Xiaozhou
Li ,
Haoyu
Zhang ,
Robert
Soulé ,
Jeongkeun
Lee ,
Nate
Foster ,
Changhoon
Kim , and
Ion
Stoica .
SOSP ’17 , Oct. 2017.
Emu: Rapid Prototyping of Networking Services .
Nik
Sultana ,
Salvator
Galea ,
David
Greaves ,
Marcin
Wojcik ,
Jonny
Shipton ,
Richard
Clegg ,
Luo
Mai ,
Pietro
Bressana ,
Robert
Soulé ,
Richard
Mortier ,
Paolo
Costa ,
Peter
Pietzuch ,
Jon
Crowcroft ,
Andrew W.
Moore , and
Noa
Zilberman .
USENIX ATC , July 2017.
Performance Annotations for Cloud Computing .
Daniele
Rogora ,
Steffen
Smolka ,
Antonio
Carzaniga ,
Amer
Diwan , and
Robert
Soulé .
HotCloud ’17 ,
Jul. 2017.
Whippersnapper: A P4 Language Benchmark Suite .
Huynh Tu
Dang ,
Han
Wang ,
Theo
Jepsen ,
Gordon
Brebner ,
Changhoon
Kim ,
Jennifer
Rexford ,
Robert
Soulé , and
Hakim
Weatherspoon .
SOSR ’17 , Apr. 2017.
P4FPGA: A Rapid Prototyping Framework for P4 .
Han
Wang ,
Robert
Soulé , and
Huynh Tu
Dang ,
Ki Suh
Lee ,
Vishal
Shrivastav ,
Nate
Foster ,
Hakim
Weatherspoon .
SOSR ’17 , Apr. 2017.
2016
Callinicos: Robust Transactional Storage for Distributed Data Structures .
Ricardo
Padilha ,
Enrique
Fynn ,
Robert
Soulé , and
Fernando
Pedone .
USENIX ATC , June 2016.
River: An Intermediate Language for Stream Processing .
Robert
Soulé ,
Martin
Hirzel ,
Buğra
Gedik , and
Robert
Grimm .
SP&E , 46:891–929, June 2016.
Paxos Made Switch-y .
Huynh Tu
Dang ,
Marco
Canini ,
Fernando
Pedone , and
Robert
Soulé .
SIGCOMM CCR , April 2016.
2015
RailwayDB: Adaptive Storage of Interaction Graphs .
Robert
Soulé and
Buğra
Gedik .
VLDBJ , 25(2), March 2016.
NetPaxos: Consensus at Network Speed .
Huynh Tu
Dang ,
Daniele
Sciascia ,
Marco
Canini ,
Fernando
Pedone , and
Robert
Soulé .
SOSR ’15 , June 2015.
2014
Merlin: A Language for Provisioning Network Resources .
Robert
Soulé ,
Shrutarshi
Basu ,
Parisa Jalili
Marandi ,
Fernando
Pedone ,
Robert
Kleinberg ,
Emin Gün
Sirer , and
Nate
Foster .
CoNEXT ’14 , December 2014. Talk .
MiCA: A Compositional Architecture
for Gossip Protocols .
Lonnie
Princehouse ,
Rakesh
Chenchu ,
Zhefu
Jiang ,
Ken
Birman ,
Nate
Foster , and
Robert
Soulé .
ECOOP ’14 , July 2014.
A catalog of
stream processing optimizations .
Martin
Hirzel ,
Robert
Soulé ,
Scott
Schneider ,
Buğra
Gedik , and
Robert
Grimm .
CSUR , 46(4), April 2014.
2013
Managing the Network with Merlin .
Robert
Soulé ,
Shrutarshi
Basu ,
Robert
Kleinberg ,
Emin Gün
Sirer , and
Nate
Foster .
HotNets ’13 ,
Nov. 2013.
Dynamic
expressivity with static optimization for streaming languages .
Robert
Soulé ,
Michael I.
Gordon ,
Saman
Amarasinghe ,
Robert
Grimm , and
Martin
Hirzel .
DEBS ’13 , July
2013.
IBM Streams Processing Language: Analyzing big data in motion .
Martin
Hirzel ,
Henrique
Andrade ,
Buğra
Gedik ,
Gabriela
Jacques da Silva ,
Rohit
Khandekar ,
Vibhore
Kumar ,
Mark
Mendell ,
Howard
Nasgaard ,
Scott
Schneider ,
Robert
Soulé , and
Kun-Lung
Wu .
IBM JRD , 57(3):1–11, May 2013.
2012
From a calculus to
an execution environment for stream processing .
Robert
Soulé ,
Martin
Hirzel ,
Buğra
Gedik , and
Robert
Grimm .
DEBS ’12 , pp. 20–31, July
2012.
Talk . Best
Paper Award .
CAPSULE: Language and system support
for efficient state sharing in distributed stream processing systems .
Giuliano
Losa ,
Vibhore
Kumar ,
Henrique
Andrade ,
Buğra
Gedik ,
Martin
Hirzel ,
Robert
Soulé , and
Kun-Lung
Wu .
DEBS ’12 , pp. 268–277, July
2012.
2010
From a stream of
relational queries to distributed stream processing .
Qiong
Zou ,
Huayong
Wang ,
Robert
Soulé , and
Martin
Hirzel ,
Henrique
Andrade ,
Buğra
Gedik , and
Kun-Lung
Wu .
VLDB ’10 , 3(2):pp. 1394–1405, September
2010.
A universal
calculus for stream processing languages .
Robert
Soulé ,
Martin
Hirzel ,
Robert
Grimm ,
Buğra
Gedik ,
Henrique
Andrade ,
Vibhore
Kumar , and
Kun-Lung
Wu .
ESOP ’10 ,
pp. 507–528,
LNCS 6012, March 2010.
Extended
version (NYU CS
TR2010-924). Talk .
2009
PADS: A policy
architecture for distributed storage systems .
Nalini
Belaramani ,
Jiandan
Zheng ,
Amol
Nayate ,
Robert
Soulé ,
Mike
Dahlin , and
Robert
Grimm .
NSDI ’09 , pp. 59–74,
April 2009.
Extended
version and earlier
version .
2007
Ensuring content
integrity for untrusted peer-to-peer content distribution
networks .
Nikolaos
Michalakis ,
Robert
Soulé , and
Robert
Grimm .
NSDI ’07 , pp. 145–158,
April 2007.
Refereed Posters, Presentations & Abstracts
MCBeth: A Measurement Based Quantum Programming Language .
Aidan
Evans ,
Seun
Omonije ,
Robert
Soulé , and
Robert
Rand .
QPL ’22 ,
June 2022.
SuperP4: Preprocessor-Aware Syntax
and Semantic Analysis for P4 Programs .
Kaarthik
Alagappan ,
Paul
Gazzillo ,
Ali
Fattaholmanan ,
Mario
Baldi ,
Antonio
Carzaniga , and
Robert
Soulé .
P4 Workshop ’22 ,
May 2022.
A Portable Test
Architecture for Finding Data Plane Bugs .
Pietro
Bressana ,
Noa
Zilberman , and
Robert
Soulé ,
US-Japan Workshop on Programmable Networking, November 2020.
A Programmable Framework for Validating Data Planes .
Pietro
Bressana ,
Noa
Zilberman ,
Robert
Soulé .
SIGCOMM ’18 ,
August 2018.
Semi-Oblivious Traffic Engineering with SMORE .
Praveen
Kumar ,
Yang
Yuan ,
Chris
Yu ,
Nate
Foster ,
Robert
Kleinberg ,
Petr
Lapukhov ,
Chiun Lin
Lim , and
Robert
Soulé .
ANRW ’18 ,
July 2018.
Gotthard: Network Support for Transaction Processing .
Theo
Jepsen ,
Leandro
Pacheco de Sousa ,
Huynh Tu
Dang ,
Fernando
Pedone , and
Robert
Soulé .
SOSR ’17 , Apr. 2017.
Emu: Rapid FPGA Prototyping of Network Services in C# .
Salvator
Galea ,
Nik
Sultana ,
Pietro
Bressana ,
David
Greaves ,
Robert
Soulé ,
Andrew W.
Moore , and
Noa
Zilberman .
DATE ’17 ,
Mar. 2017.
Software Defined Networks and Gossip Protocols .
Robert
Soulé ,
Ken
Birman , and
Nate
Foster .
LADIS ’14 ,
Oct. 2014.
Merlin: Programming the Big Switch .
Robert
Soulé ,
Shrutarshi
Basu ,
Robert
Kleinberg ,
Emin Gün
Sirer , and
Nate
Foster .
ONS ’14 ,
Mar. 2014.
Merlin: Unified Management for Diverse
Networks .
Shrutarshi
Basu ,
Robert
Soulé ,
Robert
Kleinberg ,
Emin Gün
Sirer , and
Nate
Foster .
SOSP ’13 , Nov. 2013.
Distributed
CQL made easy .
Robert
Soulé ,
Martin
Hirzel ,
Robert
Grimm , and
Buğra
Gedik .
NEDB ’11 , Jan. 2011.
Extended
abstract .
Spade: opening the
levees for stream processing .
Martin
Hirzel ,
Henrique
Andrade ,
Buğra
Gedik ,
Vibhore
Kumar ,
Giuliano
Losa ,
Robert
Soulé , and
Kun-Lung
Wu .
IBM Programming
Languages Day , Hawthorne, May 2009.
Auto-Parallelization
for declarative network monitoring .
Robert
Soulé ,
Robert
Grimm , and
Petros
Maniatis .
SOSP ’07 , Oct. 2007.
Taking the trust out of
global-scale web services .
Nikolaos
Michalakis ,
Robert
Soulé , and
Robert
Grimm .
OSDI ’06 , Nov. 2006.
Select Technical Reports
SFC: Near-Source Congestion Signaling and Flow Control. .
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 , and
Serhat
Arslan ,
arXiv , May 2023
MCBeth: A Measurement Based Quantum Programming Language .
Aidan
Evans ,
Seun
Omonije ,
Robert
Soulé , and
Robert
Rand .
arXiv , Apr. 2022
A Case for Location-based Contact Tracing .
Atul
Pokharel ,
Robert
Soulé , and
Avi
Silberschatz .
arXiv , Dec. 2020
Partitioned Paxos via the Network Data Plane .
Huynh Tu
Dang ,
Pietro
Bressana ,
Han
Wang ,
Ki Suh
Lee ,
Noa
Zilberman ,
Hakim
Weatherspoon ,
Marco
Canini ,
Fernando
Pedone , and
Robert
Soulé .
USI TR , Jan 2019
Optimistic Aborts for Geo-distributed Transactions .
Theo
Jepsen ,
Leandro
Pacheco de Sousa ,
Huynh Tu
Dang ,
Fernando
Pedone , and
Robert
Soulé .
USI TR , Oct. 2016
Network Hardware-Accelerated Consensus .
Huynh Tu
Dang ,
Pietro
Bressana ,
Han
Wang ,
Ki Suh
Lee ,
Hakim
Weatherspoon ,
Marco
Canini ,
Fernando
Pedone , and
Robert
Soulé .
USI TR , May 2016
Kulfi: Robust Traffic Engineering
Using Semi-Oblivious Routing .
Praveen
Kumar ,
Yang
Yuan ,
Chris
Yu ,
Nate
Foster , and
Robert
Kleinberg , and
Robert
Soulé .
arXiv 1603.01203, Mar. 2016.
Streams processing language specification .
Martin
Hirzel ,
Henrique
Andrade ,
Buğra
Gedik
Vibhore
Kumar ,
Giuliano
Losa ,
Mark
Mendell ,
Howard
Nasgaard ,
Robert
Soulé , and
Kun-Lung
Wu .
IBM Research Report RC25215, Nov.
2009.
Supersedes RC24830 and RC24760 .