Robert Soulé’s Publications

Journals & Conferences

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. Callinicos: Robust Transactional Storage for Distributed Data Structures. Ricardo Padilha, Enrique Fynn, Robert Soulé, and Fernando Pedone. USENIX ATC, June 2016.
  6. River: An Intermediate Language for Stream Processing. Robert Soulé, Martin Hirzel, Buğra Gedik, and Robert Grimm. SP&E, 46:891–929, June 2016.
  7. Paxos Made Switch-y. Huynh Tu Dang, Marco Canini, Fernando Pedone, and Robert Soulé. SIGCOMM CCR, April 2016.
  8. RailwayDB: Adaptive Storage of Interaction Graphs. Robert Soulé and Buğra Gedik. VLDBJ, 25(2), March 2016.
  9. NetPaxos: Consensus at Network Speed. Huynh Tu Dang, Daniele Sciascia, Marco Canini, Fernando Pedone, and Robert Soulé. SOSR ’15, June 2015.
  10. 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.
  11. MiCA: A Compositional Architecture for Gossip Protocols. Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Ken Birman, Nate Foster, and Robert Soulé. ECOOP ’14, July 2014.
  12. A catalog of stream processing optimizations. Martin Hirzel, Robert Soulé, Scott Schneider, Buğra Gedik, and Robert Grimm. CSUR, 46(4), April 2014.
  13. Dynamic expressivity with static optimization for streaming languages. Robert Soulé, Michael I. Gordon, Saman Amarasinghe, Robert Grimm, and Martin Hirzel. DEBS ’13, July 2013.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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. Performance Annotations for Cloud Computing. Daniele Rogora, Steffen Smolka, Antonio Carzaniga, Amer Diwan, and Robert Soulé. HotCloud ’17, Jul. 2017.
  2. 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. Gotthard: Network Support for Transaction Processing. Theo Jepsen, Leandro Pacheco de Sousa, Huynh Tu Dang, Fernando Pedone, and Robert Soulé. SOSR ’17, Apr. 2017.
  2. 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.
  3. Software Defined Networks and Gossip Protocols. Robert Soulé, Ken Birman, and Nate Foster. LADIS ’14, Oct. 2014.
  4. Merlin: Programming the Big Switch. Robert Soulé, Shrutarshi Basu, Robert Kleinberg, Emin Gün Sirer, and Nate Foster. ONS ’14, Mar. 2014.
  5. Merlin: Unified Management for Diverse Networks. Shrutarshi Basu, Robert Soulé, Robert Kleinberg, Emin Gün Sirer, and Nate Foster. SOSP ’13, Nov. 2013.
  6. Distributed CQL made easy. Robert Soulé, Martin Hirzel, Robert Grimm, and Buğra Gedik. NEDB ’11, Jan. 2011. Extended abstract.
  7. 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.
  8. Auto-Parallelization for declarative network monitoring. Robert Soulé, Robert Grimm, and Petros Maniatis. SOSP ’07, Oct. 2007.
  9. Taking the trust out of global-scale web services. Nikolaos Michalakis, Robert Soulé, and Robert Grimm. OSDI ’06, Nov. 2006.

Select Technical Reports

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

Select Talks

  1. Merlin: A Language for Provisioning Network Resources. Presented at Distributed Software-Defined Networks, Paris, France, July 2014.
  2. Towards a universal stream processing system. Presented at Università della Svizzera italiana, Jun. 2013.
  3. Towards a universal stream processing platform. Presented at Vancouver Systems Colloquium; University of British Columbia, Oct. 2010.
  4. A universal calculus for stream processing languages (extended). Presented at Princeton University, May 2010.
  5. Language support for stream processing. Thesis Proposal, New York University, Dec. 2009.
  6. Declarative programming languages. part 1 and part 2. Depth Qualifying Exam, New York University, May 2008.

Theses

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