Robert Soulé

Orcid: 0000-0002-2825-6660

Affiliations:
  • Yale University
  • University of Lugano, Switzerland


According to our database1, Robert Soulé authored at least 64 papers between 2007 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
PTA: Finding Hard-to-Find Data Plane Bugs.
IEEE/ACM Trans. Netw., June, 2023

SFC: Near-Source Congestion Signaling and Flow Control.
CoRR, 2023

Towards an Algebraic Specification of Quantum Networks.
Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing, 2023

MCBeth: A Measurement-based Quantum Programming Language.
Proceedings of the 4th IEEE/ACM International Workshop on Quantum Software Engineering, 2023

2022
Forwarding and Routing With Packet Subscriptions.
IEEE/ACM Trans. Netw., 2022

Robust and Fast Blockchain State Synchronization.
Proceedings of the 26th International Conference on Principles of Distributed Systems, 2022

2021
In-Network Support for Transaction Triaging.
Proc. VLDB Endow., 2021

P4Pi: P4 on Raspberry Pi for networking education.
Comput. Commun. Rev., 2021

P4 Weaver: Supporting Modular and Incremental Programming in P4.
Proceedings of the SOSR '21: The ACM SIGCOMM Symposium on SDN Research, Virtual Event, USA, October 11, 2021

Avenir: Managing Data Plane Diversity with Control Plane Synthesis.
Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

Flow Algebra: Towards an Efficient, Unifying Framework for Network Management Tasks.
Proceedings of the 40th IEEE Conference on Computer Communications, 2021

Zerializer: towards zero-copy serialization.
Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

Don't Let RPCs Constrain Your API.
Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021

Building an Internet Router with P4Pi.
Proceedings of the ANCS '21: Symposium on Architectures for Networking and Communications Systems, Layfette, IN, USA, December 13, 2021

2020
P4xos: Consensus as a Network Service.
IEEE/ACM Trans. Netw., 2020

Trading Latency for Compute in the Network.
Proceedings of the 2020 Workshop on Network Application Integration/CoDesign, 2020

Analyzing system performance with probabilistic performance annotations.
Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

Finding hard-to-find data plane bugs with a PTA.
Proceedings of the CoNEXT '20: The 16th International Conference on emerging Networking EXperiments and Technologies, 2020

2019
Stream Query Optimization.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Partitioned Paxos via the Network Data Plane.
CoRR, 2019

Fast String Searching on PISA.
Proceedings of the 2019 ACM Symposium on SDN Research, 2019

DynaStar: Optimized Dynamic Partitioning for Scalable State Machine Replication.
Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

The Case For In-Network Computing On Demand.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018
Merlin: A Language for Managing Network Resources.
IEEE/ACM Trans. Netw., 2018

NetChain: Scale-Free Sub-RTT Coordination (Extended Version).
CoRR, 2018

YATES: Rapid Prototyping for Traffic Engineering Systems.
Proceedings of the Symposium on SDN Research, 2018

Life in the Fast Lane: A Line-Rate Linear Road.
Proceedings of the Symposium on SDN Research, 2018

p4v: practical verification for programmable data planes.
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

Infinite Resources for Optimistic Concurrency Control.
Proceedings of the 2018 Morning Workshop on In-Network Computing, 2018

A Programmable Framework for Validating Data Planes.
Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, 2018

Semi-Oblivious Traffic Engineering: The Road Not Taken.
Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

NetChain: Scale-Free Sub-RTT Coordination.
Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Consensus for Non-volatile Main Memory.
Proceedings of the 2018 IEEE 26th International Conference on Network Protocols, 2018

Packet Subscriptions for Programmable ASICs.
Proceedings of the 17th ACM Workshop on Hot Topics in Networks, 2018

Semi-Oblivious Traffic Engineering with SMORE.
Proceedings of the Applied Networking Research Workshop, 2018

2017
Emu: Rapid Prototyping of Networking Services.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

P4FPGA: A Rapid Prototyping Framework for P4.
Proceedings of the Symposium on SDN Research, 2017

Gotthard: Network Support for Transaction Processing.
Proceedings of the Symposium on SDN Research, 2017

Whippersnapper: A P4 Language Benchmark Suite.
Proceedings of the Symposium on SDN Research, 2017

NetCache: Balancing Key-Value Stores with Fast In-Network Caching.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Performance Annotations for Cloud Computing.
Proceedings of the 9th USENIX Workshop on Hot Topics in Cloud Computing, 2017

2016
RailwayDB: adaptive storage of interaction graphs.
VLDB J., 2016

River: an intermediate language for stream processing.
Softw. Pract. Exp., 2016

Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing.
CoRR, 2016

Optimistic Aborts for Geo-distributed Transactions.
CoRR, 2016

Network Hardware-Accelerated Consensus.
CoRR, 2016

Paxos Made Switch-y.
Comput. Commun. Rev., 2016

Callinicos: Robust Transactional Storage for Distributed Data Structures.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016

Introduction to DISN 2016.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2015
NetPaxos: consensus at network speed.
Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

2014
Optimized Disk Layouts for Adaptive Storage of Interaction Graphs.
CoRR, 2014

MiCA: A Compositional Architecture for Gossip Protocols.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Merlin: A Language for Provisioning Network Resources.
Proceedings of the 10th ACM International on Conference on emerging Networking Experiments and Technologies, 2014

2013
IBM Streams Processing Language: Analyzing Big Data in motion.
IBM J. Res. Dev., 2013

A catalog of stream processing optimizations.
ACM Comput. Surv., 2013

Managing the network with Merlin.
Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, 2013

Dynamic expressivity with static optimization for streaming languages.
Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems, 2013

2012
Reusable Software Infrastructure for Stream Processing.
PhD thesis, 2012

From a calculus to an execution environment for stream processing.
Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

CAPSULE: language and system support for efficient state sharing in distributed stream processing systems.
Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

2010
From a Stream of Relational Queries to Distributed Stream Processing.
Proc. VLDB Endow., 2010

A Universal Calculus for Stream Processing Languages.
Proceedings of the Programming Languages and Systems, 2010

2009
PADS: A Policy Architecture for Distributed Storage Systems.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

2007
Ensuring Content Integrity for Untrusted Peer-to-Peer Content Distribution Networks.
Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), 2007


  Loading...