Robert Soulé’s Publications

Journals, Conferences & Workshops

    2024

  1. An Algebraic Language for Specifying Quantum Networks. Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, and Patrick Eugster. PLDI ’24, June 2024.
  2. 2023

  3. Toward Carbon-Aware Networking. Noa Zilberman, Eve Schooler, Uri Cummings, Rajit Manohar, Dawn Nafus, Robert Soulé, and Rick Taylor. EIR, October 2023.
  4. Towards an Algebraic Specification of Quantum Networks. Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, and Patrick Eugster. QuNet ’23, September 2023.
  5. MCBeth: A Measurement Based Quantum Programming Language. Aidan Evans, Seun Omonije, Robert Soulé, and Robert Rand. Q-SE ’23, May 2023.
  6. 2022

  7. 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.
  8. Robust and Fast Blockchain State Synchronization. Fernando Pedone, Enrique Fynn, Robert Soulé, Zarko Milosevic, and Ethan Buchman. OPODIS ’22, December 2022.
  9. Finding Hard-to-Find Data Plane Bugs with a PTA. Pietro Bressana, Noa Zilberman, and Robert Soulé, ToN, October 2022.
  10. Toward Carbon-Aware Networking. Noa Zilberman, Eve Schooler, Uri Cummings, Rajit Manohar, Dawn Nafus, Robert Soulé, and Rick Taylor. HotCarbon ’22, July 2022.
  11. Forwarding and Routing with Packet Subscriptions. Theo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, and Robert Soulé, ToN, April 2022.
  12. 2021

  13. Building an Internet Router with P4Pi.. Radostin Stoyanov, Adam Wolnikowski, Robert Soulé, Sándor Laki, and Noa Zilberman. EuroP4, December 2021.
  14. 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.
  15. P4Weaver: Supporting Modular and Incremental Programming in P4. Ali Fattaholmanan, Mario Baldi, Antonio Carzaniga, and Robert Soulé. SOSR ’21, September 2021.
  16. 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.
  17. In-Network Support for Transaction Triaging. Theo Jepsen, Alberto Lerner, Fernando Pedone, Robert Soulé, and Philippe Cudré-Mauroux. VLDB ’21, August 2021.
  18. Zerializer: Towards Zero-Copy Serialization. Adam Wolnikowski, Stephen Ibanez, Jonathan Stone, Changhoon Kim, Rajit Manohar, and Robert Soulé. HotOS ’21, May 2021.
  19. A Case for Location-based Contact Tracing. Atul Pokharel, Robert Soulé, and Avi Silberschatz. HCMS, June 2021.
  20. 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.
  21. 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.
  22. 2020

  23. 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.
  24. Finding Hard-to-Find Data Plane Bugs with a PTA. Pietro Bressana, Noa Zilberman, and Robert Soulé, CoNEXT ’20, December 2020.
  25. 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.
  26. Trading Latency for Compute in the Network. Pietro Bressana, Noa Zilberman, Dejan Vucinic, and Robert Soulé. NAI ’20, Aug. 2020.
  27. Analyzing System Performance with Probabilistic Performance Annotations. Daniele Rogora, Antonio Carzaniga, Amer Diwan, Matthias Hauswirth, and Robert Soulé. EuroSys ’20, April 2020.
  28. 2019

  29. 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.
  30. Fast String Searching on PISA. Theo Jepsen, Daniel Alvarez, Nate Foster, Changhoon Kim, Jeongkeun Lee, Masoud Moshref, and Robert Soulé. SOSR ’19, April 2019.
  31. The Case For In-Network Computing On Demand. Yuta Tokusashi, Huynh Tu Dang, Fernando Pedone, Robert Soulé, and Noa Zilberman. EuroSys ’19, March 2019.
  32. 2018

  33. Packet Subscriptions for Programmable ASICs. Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, and Robert Soulé. HotNets ’18, Nov. 2018.
  34. 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.
  35. 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.
  36. Infinite Resources for Optimistic Concurrency Control. Theo Jepsen, Leandro Pacheco de Sousa, Masoud Moshref, Fernando Pedone, and Robert Soulé. NetCompute ’18, Aug. 2018.
  37. 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.
  38. 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.
  39. 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.
  40. Stream query optimization. Martin Hirzel, Robert Soulé, Buğra Gedik, and Scott Schneider. Encyclopedia of Big Data Technologies, April 2018.
  41. Life in the Fast Lane: A Line-Rate Linear Road. Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé. SOSR ’18, March 2018.
  42. YATES: Rapid Prototyping for Traffic Engineering Systems. Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, Robert Soulé. SOSR ’18, March 2018.
  43. 2017

  44. 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.
  45. 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.
  46. Performance Annotations for Cloud Computing. Daniele Rogora, Steffen Smolka, Antonio Carzaniga, Amer Diwan, and Robert Soulé. HotCloud ’17, Jul. 2017.
  47. 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.
  48. 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.
  49. 2016

  50. Callinicos: Robust Transactional Storage for Distributed Data Structures. Ricardo Padilha, Enrique Fynn, Robert Soulé, and Fernando Pedone. USENIX ATC, June 2016.
  51. River: An Intermediate Language for Stream Processing. Robert Soulé, Martin Hirzel, Buğra Gedik, and Robert Grimm. SP&E, 46:891–929, June 2016.
  52. Paxos Made Switch-y. Huynh Tu Dang, Marco Canini, Fernando Pedone, and Robert Soulé. SIGCOMM CCR, April 2016.
  53. 2015

  54. RailwayDB: Adaptive Storage of Interaction Graphs. Robert Soulé and Buğra Gedik. VLDBJ, 25(2), March 2016.
  55. NetPaxos: Consensus at Network Speed. Huynh Tu Dang, Daniele Sciascia, Marco Canini, Fernando Pedone, and Robert Soulé. SOSR ’15, June 2015.
  56. 2014

  57. 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.
  58. MiCA: A Compositional Architecture for Gossip Protocols. Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Ken Birman, Nate Foster, and Robert Soulé. ECOOP ’14, July 2014.
  59. A catalog of stream processing optimizations. Martin Hirzel, Robert Soulé, Scott Schneider, Buğra Gedik, and Robert Grimm. CSUR, 46(4), April 2014.
  60. 2013

  61. Managing the Network with Merlin. Robert Soulé, Shrutarshi Basu, Robert Kleinberg, Emin Gün Sirer, and Nate Foster. HotNets ’13, Nov. 2013.
  62. Dynamic expressivity with static optimization for streaming languages. Robert Soulé, Michael I. Gordon, Saman Amarasinghe, Robert Grimm, and Martin Hirzel. DEBS ’13, July 2013.
  63. 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.
  64. 2012

  65. 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.
  66. 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.
  67. 2010

  68. 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.
  69. 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.
  70. 2009

  71. 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.
  72. 2007

  73. 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

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

Select Technical Reports

  1. 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
  2. MCBeth: A Measurement Based Quantum Programming Language. Aidan Evans, Seun Omonije, Robert Soulé, and Robert Rand. arXiv, Apr. 2022
  3. A Case for Location-based Contact Tracing. Atul Pokharel, Robert Soulé, and Avi Silberschatz. arXiv, Dec. 2020
  4. 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
  5. Optimistic Aborts for Geo-distributed Transactions. Theo Jepsen, Leandro Pacheco de Sousa, Huynh Tu Dang, Fernando Pedone, and Robert Soulé. USI TR, Oct. 2016
  6. 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
  7. 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.
  8. 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.