Journals & Conferences
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.
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.
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 .
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.
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.
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.
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.
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.
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.
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.
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.
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 .
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 .
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 Workshops
Packet Subscriptions for Programmable ASICs .
Theo
Jepsen ,
Masoud
Moshref ,
Antonio
Carzaniga ,
Nate
Foster ,
Robert
Soulé .
HotNets ’18 ,
Nov. 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.
Performance Annotations for Cloud Computing .
Daniele
Rogora ,
Steffen
Smolka ,
Antonio
Carzaniga ,
Amer
Diwan , and
Robert
Soulé .
HotCloud ’17 ,
Jul. 2017.
Managing the Network with Merlin .
Robert
Soulé ,
Shrutarshi
Basu ,
Robert
Kleinberg ,
Emin Gün
Sirer , and
Nate
Foster .
HotNets ’13 ,
Nov. 2013.
Refereed Posters, Presentations & Abstracts
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
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 .