Robert Soulé’s Publications

I have moved to Yale University. This page will redirect to my new website.

Journals & Conferences

  1. 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.
  2. Fast String Searching on PISA. Theo Jepsen, Daniel Alvarez, Nate Foster, Changhoon Kim, Jeongkeun Lee, Masoud Moshref, and Robert Soulé. SOSR ’19, April 2019.
  3. The Case For In-Network Computing On Demand. Yuta Tokusashi, Huynh Tu Dang, Fernando Pedone, Robert Soulé, and Noa Zilberman. EuroSys ’19, March 2019.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. Stream query optimization. Martin Hirzel, Robert Soulé, Buğra Gedik, and Scott Schneider. Encyclopedia of Big Data Technologies, April 2018.
  9. Life in the Fast Lane: A Line-Rate Linear Road. Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé. SOSR ’18, March 2018.
  10. YATES: Rapid Prototyping for Traffic Engineering Systems. Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, Robert Soulé. SOSR ’18, March 2018.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. Callinicos: Robust Transactional Storage for Distributed Data Structures. Ricardo Padilha, Enrique Fynn, Robert Soulé, and Fernando Pedone. USENIX ATC, June 2016.
  16. River: An Intermediate Language for Stream Processing. Robert Soulé, Martin Hirzel, Buğra Gedik, and Robert Grimm. SP&E, 46:891–929, June 2016.
  17. Paxos Made Switch-y. Huynh Tu Dang, Marco Canini, Fernando Pedone, and Robert Soulé. SIGCOMM CCR, April 2016.
  18. RailwayDB: Adaptive Storage of Interaction Graphs. Robert Soulé and Buğra Gedik. VLDBJ, 25(2), March 2016.
  19. NetPaxos: Consensus at Network Speed. Huynh Tu Dang, Daniele Sciascia, Marco Canini, Fernando Pedone, and Robert Soulé. SOSR ’15, June 2015.
  20. 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.
  21. MiCA: A Compositional Architecture for Gossip Protocols. Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Ken Birman, Nate Foster, and Robert Soulé. ECOOP ’14, July 2014.
  22. A catalog of stream processing optimizations. Martin Hirzel, Robert Soulé, Scott Schneider, Buğra Gedik, and Robert Grimm. CSUR, 46(4), April 2014.
  23. Dynamic expressivity with static optimization for streaming languages. Robert Soulé, Michael I. Gordon, Saman Amarasinghe, Robert Grimm, and Martin Hirzel. DEBS ’13, July 2013.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. 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

  1. Packet Subscriptions for Programmable ASICs. Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé. HotNets ’18, Nov. 2018.
  2. 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.
  3. Infinite Resources for Optimistic Concurrency Control. Theo Jepsen, Leandro Pacheco de Sousa, Masoud Moshref, Fernando Pedone, and Robert Soulé. NetCompute ’18, Aug. 2018.
  4. Performance Annotations for Cloud Computing. Daniele Rogora, Steffen Smolka, Antonio Carzaniga, Amer Diwan, and Robert Soulé. HotCloud ’17, Jul. 2017.
  5. 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

  1. A Programmable Framework for Validating Data Planes. Pietro Bressana, Noa Zilberman, Robert Soulé. SIGCOMM ’18, August 2018.
  2. 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.
  3. Gotthard: Network Support for Transaction Processing. Theo Jepsen, Leandro Pacheco de Sousa, Huynh Tu Dang, Fernando Pedone, and Robert Soulé. SOSR ’17, Apr. 2017.
  4. 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.
  5. Software Defined Networks and Gossip Protocols. Robert Soulé, Ken Birman, and Nate Foster. LADIS ’14, Oct. 2014.
  6. Merlin: Programming the Big Switch. Robert Soulé, Shrutarshi Basu, Robert Kleinberg, Emin Gün Sirer, and Nate Foster. ONS ’14, Mar. 2014.
  7. Merlin: Unified Management for Diverse Networks. Shrutarshi Basu, Robert Soulé, Robert Kleinberg, Emin Gün Sirer, and Nate Foster. SOSP ’13, Nov. 2013.
  8. Distributed CQL made easy. Robert Soulé, Martin Hirzel, Robert Grimm, and Buğra Gedik. NEDB ’11, Jan. 2011. Extended abstract.
  9. 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.
  10. Auto-Parallelization for declarative network monitoring. Robert Soulé, Robert Grimm, and Petros Maniatis. SOSP ’07, Oct. 2007.
  11. Taking the trust out of global-scale web services. Nikolaos Michalakis, Robert Soulé, and Robert Grimm. OSDI ’06, Nov. 2006.

Select Technical Reports

  1. 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
  2. Optimistic Aborts for Geo-distributed Transactions. Theo Jepsen, Leandro Pacheco de Sousa, Huynh Tu Dang, Fernando Pedone, and Robert Soulé. USI TR, Oct. 2016
  3. 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
  4. 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.
  5. 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.

Theses

  1. Reusable software infrastructure for stream processing. Ph.D. thesis, New York University, May. 2012. Talk.