Patrick Eugster

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 68

Top Venues

CoRR

Proc. ACM Program. Lang.

IEEE/ACM Trans. Netw.

ICNP

Publications

Patrick Eugster
Toward Robust Control for 6G Networks. IEEE Netw. 38 (3) (2024)
Marcel Blöcher, Nils Nedderhut, Pavel Chuprikov, Ramin Khalili, Patrick Eugster, Lin Wang
Train Once Apply Anywhere: Effective Scheduling for Network Function Chains Running on FUMES. INFOCOM (2024)
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster
An Algebraic Language for Specifying Quantum Networks. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Danushka Menikkumbura, Parvin Taheri, Erico Vanini, Sonia Fahmy, Patrick Eugster, Tom Edsall
Congestion Control for Datacenter Networks: A Control-Theoretic Approach. IEEE Trans. Parallel Distributed Syst. 34 (5) (2023)
Bara Abusalah, Thamir M. Qadah, Julian James Stephen, Patrick Eugster
Interminable Flows: A Generic, Joint, Customizable Resiliency Model for Big-Data Streaming Platforms. IEEE Access 11 (2023)
Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina
CHC Model Validation with Proof Guarantees. iFM (2023)
James Lembke, Srivatsan Ravi, Pierre-Louis Roman, Patrick Eugster
Secure and Reliable Network Updates. ACM Trans. Priv. Secur. 26 (1) (2023)
Patrick Eugster
Secure distributed data and event processing at scale: where are we now? DEBS (2023)
Shamiek Mangipudi, Pavel Chuprikov, Patrick Eugster, Malte Viering, Savvas Savvides
Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
A Solicitous Approach to Smart Contract Verification. ACM Trans. Priv. Secur. 26 (2) (2023)
Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina
Symbolic Model Checking for TLA+ Made Faster. TACAS (1) (2023)
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, Patrick Eugster
Towards an Algebraic Specification of Quantum Networks. QuNet@SIGCOMM (2023)
Seema Kumar, Patrick Eugster, Silvia Santini
Software-Based Remote Network Attestation. IEEE Trans. Dependable Secur. Comput. 19 (5) (2022)
Marcel Blöcher, Emilio Coppa, Pascal Kleber, Patrick Eugster, William Culhane, Masoud Saeida Ardekani
ROME: All Overlays Lead to Aggregation, but Some Are Faster than Others. ACM Trans. Comput. Syst. 39 (2022)
Savvas Savvides, Seema Kumar, Julian James Stephen, Patrick Eugster
C3PO: Cloud-based Confidentiality-preserving Continuous Query Processing. ACM Trans. Priv. Secur. 25 (1) (2022)
Marcel Blöcher, Lin Wang, Patrick Eugster, Max Schmidt
Holistic Resource Scheduling for Data Center In-Network Computing. IEEE/ACM Trans. Netw. 30 (6) (2022)
James Lembke, Pierre-Louis Roman, Patrick Eugster
DEFUSE: An Interface for Fast and Correct User Space File System Access. ACM Trans. Storage 18 (3) (2022)
Bara Abusalah, Derek Schatzlein, Julian James Stephen, Masoud Saeida Ardekani, Patrick Eugster
Multi-Framework Reliability Approach. IEEE Trans. Cloud Comput. 10 (4) (2022)
Malte Viering, Raymond Hu, Patrick Eugster, Lukasz Ziarek
A multiparty session typing discipline for fault-tolerant event-driven distributed programming. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Maarten van Steen, Andrew Chien, Patrick Eugster
The Difficulty in Scaling Blockchains: A Simple Explanation. CoRR (2021)
Marcel Blöcher, Lin Wang, Patrick Eugster, Max Schmidt
Switches for HIRE: resource scheduling for data center in-network computing. ASPLOS (2021)
Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. DAC (2021)
Patrick Jahnke, Vincent Riesop, Pierre-Louis Roman, Pavel Chuprikov, Patrick Eugster
Live in the Express Lane. USENIX Annual Technical Conference (2021)
Parvin Taheri, Danushka Menikkumbura, Erico Vanini, Sonia Fahmy, Patrick Eugster, Tom Edsall
RoCC: robust congestion control for RDMA. CoNEXT (2020)
Bo Sang, Pierre-Louis Roman, Patrick Eugster, Hui Lu, Srivatsan Ravi, Gustavo Petri
PLASMA: programmable elasticity for stateful cloud computing applications. EuroSys (2020)
Savvas Savvides, Darshika Khandelwal, Patrick Eugster
Efficient Confidentiality-Preserving Data Analytics over Symmetrically Encrypted Datasets. Proc. VLDB Endow. 13 (8) (2020)
James Lembke, Srivatsan Ravi, Patrick Eugster, Stefan Schmid
RoSCo: Robust Updates for Software-Defined Networks. IEEE J. Sel. Areas Commun. 38 (7) (2020)
Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
Accurate Smart Contract Verification Through Direct Modelling. ISoLA (3) (2020)
Marcel Blöcher, Ramin Khalili, Lin Wang, Patrick Eugster
Letting off STEAM: Distributed Runtime Traffic Scheduling for Service Function Chaining. INFOCOM (2020)
Bo Sang, Patrick Eugster, Gustavo Petri, Srivatsan Ravi, Pierre-Louis Roman
Scalable and serializable networked multi-actor programming. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Kirill Kogan, Danushka Menikkumbura, Gustavo Petri, Youngtae Noh, Sergey I. Nikolenko, Alexander Sirotkin, Patrick Eugster
Towards Software-Defined Buffer Management. IEEE/ACM Trans. Netw. 28 (5) (2020)
James Lembke, Srivatsan Ravi, Pierre-Louis Roman, Patrick Eugster
Consistent and Secure Network Updates Made Practical. Middleware (2020)
Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi
GRASS: generic reactive application-specific scheduling. REBLS@SPLASH (2019)
Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini
Comprehensive Multiparty Session Types. CoRR (2019)
Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini
Comprehensive Multiparty Session Types. Art Sci. Eng. Program. 3 (3) (2019)
Patrick Eugster, Seema Kumar, Savvas Savvides, Julian James Stephen
Ensuring Confidentiality in the Cloud of Things. IEEE Pervasive Comput. 18 (1) (2019)
Bo Sang, Gustavo Petri, Masoud Saeida Ardekani, Srivatsan Ravi, Patrick Eugster
Programming Scalable Cloud Services with AEON. CoRR (2019)
Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
Co-Design and Verification of an Available File System. VMCAI (2018)
Patrick Eugster, Giorgia Azzurra Marson, Bertram Poettering
A Cryptographic Look at Multi-party Channels. CSF (2018)
Patrick Jahnke, Emmanuel Stapf, Jonas Mieseler, Gerhard Neumann, Patrick Eugster
Towards Fine Grained Network Flow Prediction. CoRR (2018)
Andi Bejleri, Mira Mezini, Patrick Eugster, Elton Domnori
Cooperative decoupled processes. Softw. Qual. J. 26 (3) (2018)
Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini
Versatile event correlation with algebraic effects. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Marcel Blöcher, Tobias Ziegler, Carsten Binnig, Patrick Eugster
Boosting scalable data analytics with modern programmable networks. DaMoN (2018)
Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. ESOP (2018)
Patrick Eugster, Alexander Kesselman, Kirill Kogan, Sergey I. Nikolenko, Alexander Sirotkin
Admission control in shared memory switches. J. Sched. 21 (5) (2018)
Kirill Kogan, Sergey I. Nikolenko, Patrick Eugster, Alexander Shalimov, Ori Rottenstreich
Efficient FIB Representations on Distributed Platforms. IEEE/ACM Trans. Netw. 25 (6) (2017)
Savvas Savvides, Julian James Stephen, Masoud Saeida Ardekani, Vinaitheerthan Sundaram, Patrick Eugster
Secure data types: a simple abstraction for confidentiality-preserving data analytics. SoCC (2017)
Patrick Eugster, Chamikara Jayalath, Kirill Kogan, Julian James Stephen
Big Data Analytics beyond the Single Datacenter. Computer 50 (6) (2017)
Terry Ching-Hsiang Hsu, Helge Brügner, Indrajit Roy, Kimberly Keeton, Patrick Eugster
NVthreads: Practical Persistence for Multi-threaded Applications. EuroSys (2017)
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, Patrick Eugster
PAD: programming third-party web advertisement censorship. ASE (2017)
Akash Agarwal, Samuel Dawson, Derrick Paul McKee, Patrick Eugster, Matthew Tan Creti, Vinaitheerthan Sundaram
Detecting Abnormalities in IoT Program Executions through Control-Flow-Based Features: Poster Abstract. IoTDI (2017)
Marcel Blöcher, Malte Viering, Stefan Schmid, Patrick Eugster
The Grand CRU Challenge. HotConNet@SIGCOMM (2017)
Kirill Kogan, Danushka Menikkumbura, Gustavo Petri, Yangtae Noh, Sergey I. Nikolenko, Alexander Sirotkin, Patrick Eugster
A programmable buffer management platform. ICNP (2017)
Patrick Eugster, Kirill Kogan, Sergey I. Nikolenko, Alexander V. Sirotkin
Heterogeneous packet processing in shared memory buffers. J. Parallel Distributed Comput. 99 (2017)
Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster
Programmable Elasticity for Actor-based Cloud Applications. PLOS@SOSP (2017)
Bara Abusalah, Derek Schatzlein, Julian James Stephen, Masoud Saeida Ardekani, Patrick Eugster
Dependable Cloud Resources with Guardian. ICDCS (2017)
Andi Bejleri, Mira Mezini, Patrick Eugster
Cooperative decoupled processes: the e-calculus and linearity. MODULARITY (2016)
Kirill Kogan, Danushka Menikkumbura, Gustavo Petri, Youngtae Noh, Sergey I. Nikolenko, Patrick Eugster
BASEL (Buffer mAnagement SpEcification Language). ANCS (2016)
Derek Schatzlein, Srivatsan Ravi, Youngtae Noh, Masoud Saeida Ardekani, Patrick Eugster
The misbelief in delay scheduling. DCC@PODC (2016)
Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi
SecureScala: Scala embedding of secure computations. SCALA@SPLASH (2016)
Terry Ching-Hsiang Hsu, Kevin J. Hoffman, Patrick Eugster, Mathias Payer
Enforcing Least Privilege Memory Views for Multithreaded Applications. CCS (2016)
Julian James Stephen, Savvas Savvides, Vinaitheerthan Sundaram, Masoud Saeida Ardekani, Patrick Eugster
STYX: Stream Processing with Trustworthy Cloud-based Execution. SoCC (2016)
Kirill Kogan, Sergey I. Nikolenko, Ori Rottenstreich, William Culhane, Patrick Eugster
Exploiting Order Independence for Scalable and Expressive Packet Classification. IEEE/ACM Trans. Netw. 24 (2) (2016)
Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster
ARROW: automated repair of races on client-side web pages. ISSTA (2016)
Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster
A Type Theory for Robust Failure Handling in Distributed Systems. FORTE (2016)
Bo Sang, Gustavo Petri, Masoud Saeida Ardekani, Srivatsan Ravi, Patrick Eugster
Programming Scalable Cloud Services with AEON. Middleware (2016)
Alexander Frömmgen, Jens Heuschkel, Patrick Jahnke, Fabio Cuozzo, Immanuel Schweizer, Patrick Eugster, Max Mühlhäuser, Alejandro P. Buchmann
Crowdsourcing Measurements of Mobile Network Performance and Mobility During a Large Scale Event. PAM (2016)
Kirill Kogan, Sergey I. Nikolenko, Patrick Eugster, Alexander Shalimov, Ori Rottenstreich
FIB efficiency in distributed platforms. ICNP (2016)
K. R. Jayaram, Weihang Wang, Patrick Eugster
Subscription Normalization for Effective Content-Based Messaging. IEEE Trans. Parallel Distributed Syst. 26 (11) (2015)
Patrick Eugster, Alexander Kesselman, Kirill Kogan, Sergey I. Nikolenko, Alexander Sirotkin
Essential Traffic Parameters for Shared Memory Switch Performance. SIROCCO (2015)
Patrick Eugster, Vinaitheerthan Sundaram, Xiangyu Zhang
Debugging the Internet of Things: The Case of Wireless Sensor Networks. IEEE Softw. 32 (1) (2015)
Peter Seitz, Debbie G. Senesky, Michael J. Schöning, Peter C. Hauser, Roland Moser, Hans Peter Herzig, Assefa M. Melesse, Patricia A. Broderick, Patrick Eugster
(I3S2015): Conference Report. Sensors 15 (9) (2015)
Matthew Tancreti, Vinaitheerthan Sundaram, Saurabh Bagchi, Patrick Eugster
Software-only system-level record and replay in wireless sensor networks. IPSN (2015)
Kirill Kogan, Danushka Menikkumbura, Gustavo Petri, Youngtae Noh, Sergey I. Nikolenko, Patrick Eugster
BASEL (Buffering Architecture SpEcification Language). CoRR (2015)
Matthew Tancreti, Vinaitheerthan Sundaram, Saurabh Bagchi, Patrick Eugster
TARDIS: software-only system-level record and replay in wireless sensor networks. IPSN (2015)
William Culhane, Kirill Kogan, Chamikara Jayalath, Patrick Eugster
Optimal communication structures for big data aggregation. INFOCOM (2015)
Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek
Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015). SPLASH (Companion Volume) (2015)
Kirill Kogan, Advait Dixit, Patrick Eugster
Serial Composition of Heterogeneous Control Planes. ONS (2014)
Guido Salvaneschi, Patrick Eugster, Mira Mezini
Programming with Implicit Flows. IEEE Softw. 31 (5) (2014)
Chamikara Jayalath, Julian James Stephen, Patrick Eugster
Universal Cross-Cloud Communication. IEEE Trans. Cloud Comput. 2 (2) (2014)
Julian James Stephen, Savvas Savvides, Russell Seidel, Patrick Eugster
Practical Confidentiality Preserving Big Data Analysis. HotCloud (2014)
Kirill Kogan, Sergey I. Nikolenko, Ori Rottenstreich, William Culhane, Patrick Eugster
SAX-PAC (Scalable And eXpressive PAcket Classification). SIGCOMM (2014)
Dan Alistarh, Patrick Eugster, Maurice Herlihy, Alexander Matveev, Nir Shavit
StackTrack: an automated transactional approach to concurrent memory reclamation. EuroSys (2014)
William Culhane, K. R. Jayaram, Patrick Eugster
matching. Middleware (2014)
Gregory Aaron Wilkin, Patrick Eugster, K. R. Jayaram
Decentralized Fault-Tolerant Event Correlation. ACM Trans. Internet Techn. 14 (1) (2014)
Chamikara Jayalath, Julian James Stephen, Patrick Eugster
From the Cloud to the Atmosphere: Running MapReduce across Data Centers. IEEE Trans. Computers 63 (1) (2014)
Advait Dixit, Kirill Kogan, Patrick Eugster
Composing Heterogeneous SDN Controllers with Flowbricks. ICNP (2014)
William Culhane, Kirill Kogan, Chamikara Jayalath, Patrick Eugster
LOOM: Optimal Aggregation Overlays for In-Memory Big Data Processing. HotCloud (2014)
Adrian Holzer, Patrick Eugster, Benoît Garbinato
Evaluating Implementation Strategies for Location-Based Multicast Addressing. IEEE Trans. Mob. Comput. 12 (5) (2013)
Vinaitheerthan Sundaram, Patrick Eugster, Xiangyu Zhang, Vamsidhar Addanki
Diagnostic tracing for wireless sensor networks. ACM Trans. Sens. Networks 9 (4) (2013)
Kevin J. Hoffman, Patrick Eugster
Trading obliviousness for modularity with cooperative aspect-oriented programming. ACM Trans. Softw. Eng. Methodol. 22 (3) (2013)
K. C. Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, Patrick Eugster
Efficient sessions. Sci. Comput. Program. 78 (2) (2013)
Tobias Freudenreich, Patrick Eugster, Sebastian Frischbier, Stefan Appel, Alejandro P. Buchmann
Implementing Federated Object Systems. ECOOP (2013)
Chamikara Jayalath, Julian James Stephen, Patrick Eugster
Atmosphere: A Universal Cross-Cloud Communication Infrastructure. Middleware (2013)
Chamikara Jayalath, Patrick Eugster
Efficient Geo-distributed Data Processing with Rout. ICDCS (2013)
Julian James Stephen, Patrick Eugster
Assured Cloud-Based Data Analysis with ClusterBFT. Middleware (2013)
Kirill Kogan, Sergey I. Nikolenko, William Culhane, Patrick Eugster, Eddie Ruan
Towards efficient implementation of packet classifiers in SDN/OpenFlow. HotSDN (2013)
Gregory Aaron Wilkin, Patrick Eugster
Multicasting in the presence of aggregated deliveries. J. Parallel Distributed Comput. 73 (4) (2013)
Sebastian Frischbier, Alessandro Margara, Tobias Freudenreich, Patrick Eugster, David M. Eyers, Peter R. Pietzuch
Aggregation for implicit invocations. AOSD (2013)
K. R. Jayaram, Patrick Eugster, Chamikara Jayalath
Parametric Content-Based Publish/Subscribe. ACM Trans. Comput. Syst. 31 (2) (2013)

Patrick Eugster.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrick Eugster