Publications

Patrick Eugster (2024). Toward Robust Control for 6G Networks. IEEE Network.

Cite

Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, Patrick Eugster (2023). Towards an Algebraic Specification of Quantum Networks. 1st Workshop on Quantum Networks and Distributed Quantum Computing (QuNet 2023).

Cite DOI URL

Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina (2023). Symbolic Model Checking for TLA+ Made Faster. 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023).

Cite DOI URL

Patrick Eugster (2023). Secure Distributed Data and Event Processing at Scale: Where Are We Now?. 17th ACM International Conference on Distributed and Event-based Systems (DEBS 2023).

Cite DOI URL

James Lembke, Srivatsan Ravi, Pierre-Louis Roman, Patrick Eugster (2023). Secure and Reliable Network Updates. ACM Transactions on Privacy and Security.

Cite DOI URL

James Lembke, Srivatsan Ravi, Pierre-Louis Roman, Patrick Eugster (2023). Secure and Reliable Network Updates. ACM Trans. Priv. Secur..

Cite DOI URL

Bara Abusalah, Thamir M. Qadah, Julian James Stephen, Patrick Eugster (2023). Interminable Flows: A Generic, Joint, Customizable Resiliency Model for Big-Data Streaming Platforms. IEEE Access.

Cite DOI URL

Shamiek Mangipudi, Pavel Chuprikov, Patrick Eugster, Malte Viering, Savvas Savvides (2023). Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation. Proceedings of the ACM on Programming Languages.

Cite DOI URL

Danushka Menikkumbura, Parvin Taheri, Erico Vanini, Sonia Fahmy, Patrick Eugster, Tom Edsall (2023). Congestion Control for Datacenter Networks: A Control-Theoretic Approach. IEEE Transactions on Parallel and Distributed Systems.

Cite DOI URL

Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina (2023). CHC Model Validation with Proof Guarantees. 18th International Conference on integrated Formal Methods (iFM 2023).

Cite DOI URL

Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina (2023). A Solicitous Approach to Smart Contract Verification. ACM Transactions on Privacy and Security.

Cite DOI URL

Seema Kumar, Patrick Eugster, Silvia Santini (2022). Software-Based Remote Network Attestation. IEEE Transactions on Dependable and Secure Computing.

Cite DOI URL

Wolfgang De Meuter, Patrick Eugster, Guido Salvaneschi, Francisco Sant'Anna, Lukasz Ziarek, Pascal Weisenburger (2022). Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2022).

Cite DOI URL

Bara Abusalah, Derek Schatzlein, Julian James Stephen, Masoud Saeida Ardekani, Patrick Eugster (2022). Multi-Framework Reliability Approach. IEEE Transactions on Cloud Computing.

Cite DOI URL

Marcel Blöcher, Lin Wang, Patrick Eugster, Max Schmidt (2022). Holistic Resource Scheduling for Data Center In-Network Computing. IEEE/ACM Transactions on Networking.

Cite DOI URL

James Lembke, Pierre-Louis Roman, Patrick Eugster (2022). DEFUSE: An Interface for Fast and Correct User Space File System Access. ACM Transactions on Storage.

Cite DOI URL

Savvas Savvides, Seema Kumar, Julian James Stephen, Patrick Eugster (2022). C3PO: Cloud-based Confidentiality-preserving Continuous Query Processing. ACM Transactions on Privacy and Security.

Cite DOI URL

Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina (2021). Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. 58th ACM/IEEE Design Automation Conference (DAC 2021).

Cite DOI URL

Maarten Van Steen, Andrew A. Chien, Patrick Eugster (2021). The Difficulty in Scaling Blockchains: A Simple Explanation. CoRR.

Cite URL

Marcel Blöcher, Lin Wang, Patrick Eugster, Max Schmidt (2021). Switches for HIRE: Resource Scheduling for Data Center In-network Computing. 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2021).

Cite DOI URL

Marcel Blöcher, Emilio Coppa, Pascal Kleber, Patrick Eugster, William Culhane, Masoud Saeida Ardekani (2021). ROME: All Overlays Lead to Aggregation, but Some Are Faster than Others. ACM Transactions on Computer Systems.

Cite DOI URL

Patrick Jahnke, Vincent Riesop, Pierre-Louis Roman, Pavel Chuprikov, Patrick Eugster (2021). Live in the Express Lane. 2021 USENIX Annual Technical Conference (ATC 2021).

Cite URL

Malte Viering, Raymond Hu, Patrick Eugster, Lukasz Ziarek (2021). A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming. Proceedings of the ACM on Programming Languages.

Cite DOI URL

Kirill Kogan, Danushka Menikkumbura, Gustavo Petri, Youngtae Noh, Sergey I. Nikolenko, Alexander Sirotkin, Patrick Eugster (2020). Towards Software-Defined Buffer Management. IEEE/ACM Transactions on Networking.

Cite DOI URL

Bo Sang, Patrick Eugster, Gustavo Petri, Srivatsan Ravi, Pierre-Louis Roman (2020). Scalable and Serializable Networked Multi-actor Programming. Proceedings of the ACM on Programming Languages.

Cite DOI URL

James Lembke, Srivatsan Ravi, Patrick Eugster, Stefan Schmid (2020). RoSCo: Robust Updates for Software-Defined Networks. IEEE Journal of Selected Areas in Communication.

Cite DOI URL

Parvin Taheri, Danushka Menikkumbura, Erico Vanini, Sonia Fahmy, Patrick Eugster, Tom Edsall (2020). RoCC: Robust Congestion Control for RDMA. 16th ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT 2020).

Cite DOI URL

Bo Sang, Pierre-Louis Roman, Patrick Eugster, Hui Lu, Srivatsan Ravi, Gustavo Petri (2020). PLASMA: Programmable Elasticity for Stateful Cloud Computing Applications. 15th ACM European Conference on Computer Systems (EuroSys 2020).

Cite DOI URL

Marcel Blöcher, Ramin Khalili, Lin Wang, Patrick Eugster (2020). Letting off STEAM: Distributed Runtime Traffic Scheduling for Service Function Chaining. 39th IEEE Conference on Computer Communications (INFOCOM 2020).

Cite DOI URL

Savvas Savvides, Darshika Khandelwal, Patrick Eugster (2020). Efficient Confidentiality-Preserving Data Analytics over Symmetrically Encrypted Datasets. Proceedings of the VLDB Endowment.

PDF Cite DOI

James Lembke, Srivatsan Ravi, Pierre-Louis Roman, Patrick Eugster (2020). Consistent and Secure Network Updates Made Practical. 21st ACM/USENIX International Middleware Conference (Middleware 2020).

Cite DOI URL

Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina (2020). Accurate Smart Contract Verification Through Direct Modelling. 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Applications (ISoLA 2020).

Cite DOI URL

Bo Sang, Gustavo Petri, Masoud Saeida Ardekani, Srivatsan Ravi, Patrick Eugster (2019). Programming Scalable Cloud Services with AEON. CoRR.

Cite URL

Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Francisco Sant'Anna, Lukasz Ziarek, Tetsuo Kamina, Hidehiko Masuhara (2019). Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS@SPLASH 2019).

Cite DOI URL

Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi (2019). GRASS: Generic Reactive Application-specific Scheduling. 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS@SPLASH 2019).

Cite DOI URL

Patrick Eugster, Seema Kumar, Savvas Savvides, Julian James Stephen (2019). Ensuring Confidentiality in the Cloud of Things. IEEE Pervasive Computing.

Cite DOI URL

Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini (2019). Comprehensive Multiparty Session Types. Art, Science, and Engineering of Programming.

Cite DOI URL

Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini (2019). Comprehensive Multiparty Session Types. CoRR.

Cite URL

Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini (2018). Versatile Event Correlation with Algebraic Effects. Proceedings of the ACM on Programming Languages.

Cite DOI URL

Patrick Jahnke, Emmanuel Stapf, Jonas Mieseler, Gerhard Neumann, Patrick Eugster (2018). Towards Fine Grained Network Flow Prediction. CoRR.

Cite URL

Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek, Francisco Sant'Anna (2018). Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS@SPLASH 2018).

Cite DOI URL

Patrick Eugster (2018). Interface. Encyclopedia of Database Systems, Second Edition.

Cite DOI URL

Andi Bejleri, Mira Mezini, Patrick Eugster, Elton Domnori (2018). Cooperative Decoupled Processes. Software Quality Journal.

Cite DOI URL

Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster (2018). Co-Design and Verification of an Available File System. 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018).

Cite DOI URL

Marcel Blöcher, Tobias Ziegler, Carsten Binnig, Patrick Eugster (2018). Boosting Scalable Data Analytics with Modern Programmable Networks. 14th International Workshop on Data Management on New Hardware (DAMON 2018).

Cite DOI URL

Patrick Eugster, Alexander Kesselman, Kirill Kogan, Sergey I. Nikolenko, Alexander Sirotkin (2018). Admission Control in Shared Memory Switches. Journal of Scheduling.

Cite DOI URL

Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek (2018). A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. 27th European Symposium on Programming (ESOP 2018).

Cite DOI URL

Patrick Eugster, Giorgia Azzurra Marson, Bertram Poettering (2018). A Cryptographic Look at Multi-party Channels. 31st IEEE Computer Security Foundations Symposium (CSF 2018).

Cite DOI URL

Marcel Blöcher, Malte Viering, Stefan Schmid, Patrick Eugster (2017). The Grand CRU Challenge. ACM Workshop on Hot Topics in Container Networking and Networked Systems (HotConNet@SIGCOMM 2017).

Cite DOI URL

Savvas Savvides, Julian James Stephen, Masoud Saeida Ardekani, Vinaitheerthan Sundaram, Patrick Eugster (2017). Secure Data Types: A Simple Abstraction for Confidentiality-preserving Data Analytics. 2017 ACM Symposium on Cloud Computing (SoCC 2017).

Cite DOI URL

Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster (2017). Programmable Elasticity for Actor-based Cloud Applications. 9th ACM Workshop on Programming Languages and Operating Systems (PLOS 2017).

Cite DOI URL

Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek (2017). Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS@SPLASH 2017).

Cite DOI URL

Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, Patrick Eugster (2017). PAD: Programming Third-party Web Advertisement Censorship. 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017).

Cite DOI URL

Terry Ching-Hsiang Hsu, Helge Brügner, Indrajit Roy, Kimberly Keeton, Patrick Eugster (2017). NVthreads: Practical Persistence for Multi-threaded Applications. 12th ACM European Conference on Computer Systems (EuroSys 2017).

Cite DOI URL

Patrick Eugster, Kirill Kogan, Sergey I. Nikolenko, Alexander v. Sirotkin (2017). Heterogeneous Packet Processing in Shared Memory Buffers. Journal of Parallel and Distributed Computing.

Cite DOI URL

Kirill Kogan, Sergey I. Nikolenko, Patrick Eugster, Alexander Shalimov, Ori Rottenstreich (2017). Efficient FIB Representations on Distributed Platforms. IEEE/ACM Transactions on Networking.

Cite DOI URL

Akash Agarwal, Samuel Dawson, Derrick Paul McKee, Patrick Eugster, Matthew Tan Creti, Vinaitheerthan Sundaram (2017). Detecting Abnormalities in IoT Program Executions through Control-Flow-Based Features: Poster Abstract. 2nd ACM International Conference on Internet-of-Things Design and Implementation (IoTDI 2017).

Cite DOI URL

Bara Abusalah, Derek Schatzlein, Julian James Stephen, Masoud Saeida Ardekani, Patrick Eugster (2017). Dependable Cloud Resources with Guardian. 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017).

Cite DOI URL

Patrick Eugster, Chamikara Jayalath, Kirill Kogan, Julian James Stephen (2017). Big Data Analytics beyond the Single Datacenter. IEEE Computer.

Cite DOI URL

Kirill Kogan, Danushka Menikkumbura, Gustavo Petri, Yangtae Noh, Sergey I. Nikolenko, Alexander Sirotkin, Patrick Eugster (2017). A Programmable Buffer Management Platform. 25th IEEE International Conference on Network Protocols (ICNP 2017).

Cite DOI URL