Patrick Eugster

Orcid: 0000-0003-3864-9078

Affiliations:
  • Università della Svizzera italiana (USI), Lugano, Switzerland
  • Purdue University, West Lafayette, USA (former)


According to our database1, Patrick Eugster authored at least 180 papers between 1999 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Congestion Control for Datacenter Networks: A Control-Theoretic Approach.
IEEE Trans. Parallel Distributed Syst., May, 2023

A Solicitous Approach to Smart Contract Verification.
ACM Trans. Priv. Secur., May, 2023

Secure and Reliable Network Updates.
ACM Trans. Priv. Secur., 2023

Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation.
Proc. ACM Program. Lang., 2023

Interminable Flows: A Generic, Joint, Customizable Resiliency Model for Big-Data Streaming Platforms.
IEEE Access, 2023

Symbolic Model Checking for TLA+ Made Faster.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

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

CHC Model Validation with Proof Guarantees.
Proceedings of the iFM 2023 - 18th International Conference, 2023

Secure distributed data and event processing at scale: where are we now?
Proceedings of the 17th ACM International Conference on Distributed and Event-based Systems, 2023

2022
DEFUSE: An Interface for Fast and Correct User Space File System Access.
ACM Trans. Storage, 2022

Holistic Resource Scheduling for Data Center In-Network Computing.
IEEE/ACM Trans. Netw., 2022

C3PO: Cloud-based Confidentiality-preserving Continuous Query Processing.
ACM Trans. Priv. Secur., 2022

Software-Based Remote Network Attestation.
IEEE Trans. Dependable Secur. Comput., 2022

Multi-Framework Reliability Approach.
IEEE Trans. Cloud Comput., 2022

2021
ROME: All Overlays Lead to Aggregation, but Some Are Faster than Others.
ACM Trans. Comput. Syst., 2021

A multiparty session typing discipline for fault-tolerant event-driven distributed programming.
Proc. ACM Program. Lang., 2021

The Difficulty in Scaling Blockchains: A Simple Explanation.
CoRR, 2021

Live in the Express Lane.
Proceedings of the 2021 USENIX Annual Technical Conference, 2021

Theory-Specific Proof Steps Witnessing Correctness of SMT Executions.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

Switches for HIRE: resource scheduling for data center in-network computing.
Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020
Towards Software-Defined Buffer Management.
IEEE/ACM Trans. Netw., 2020

Efficient Confidentiality-Preserving Data Analytics over Symmetrically Encrypted Datasets.
Proc. VLDB Endow., 2020

Scalable and serializable networked multi-actor programming.
Proc. ACM Program. Lang., 2020

RoSCo: Robust Updates for Software-Defined Networks.
IEEE J. Sel. Areas Commun., 2020

Consistent and Secure Network Updates Made Practical.
Proceedings of the Middleware '20: 21st International Middleware Conference, 2020

Accurate Smart Contract Verification Through Direct Modelling.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Letting off STEAM: Distributed Runtime Traffic Scheduling for Service Function Chaining.
Proceedings of the 39th IEEE Conference on Computer Communications, 2020

PLASMA: programmable elasticity for stateful cloud computing applications.
Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

RoCC: robust congestion control for RDMA.
Proceedings of the CoNEXT '20: The 16th International Conference on emerging Networking EXperiments and Technologies, 2020

2019
Comprehensive Multiparty Session Types.
Art Sci. Eng. Program., 2019

Ensuring Confidentiality in the Cloud of Things.
IEEE Pervasive Comput., 2019

GRASS: generic reactive application-specific scheduling.
Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2019

2018
Interface.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Cooperative decoupled processes.
Softw. Qual. J., 2018

Admission control in shared memory switches.
J. Sched., 2018

Versatile event correlation with algebraic effects.
Proc. ACM Program. Lang., 2018

Towards Fine Grained Network Flow Prediction.
CoRR, 2018

Co-Design and Verification of an Available File System.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems.
Proceedings of the Programming Languages and Systems, 2018

Boosting scalable data analytics with modern programmable networks.
Proceedings of the 14th International Workshop on Data Management on New Hardware, 2018

A Cryptographic Look at Multi-party Channels.
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017
Efficient FIB Representations on Distributed Platforms.
IEEE/ACM Trans. Netw., 2017

Heterogeneous packet processing in shared memory buffers.
J. Parallel Distributed Comput., 2017

Big Data Analytics beyond the Single Datacenter.
Computer, 2017

Programmable Elasticity for Actor-based Cloud Applications.
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

The Grand CRU Challenge.
Proceedings of the Workshop on Hot Topics in Container Networking and Networked Systems, 2017

PAD: programming third-party web advertisement censorship.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Detecting Abnormalities in IoT Program Executions through Control-Flow-Based Features: Poster Abstract.
Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017

A programmable buffer management platform.
Proceedings of the 25th IEEE International Conference on Network Protocols, 2017

Dependable Cloud Resources with Guardian.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

NVthreads: Practical Persistence for Multi-threaded Applications.
Proceedings of the Twelfth European Conference on Computer Systems, 2017

Secure data types: a simple abstraction for confidentiality-preserving data analytics.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2016
Exploiting Order Independence for Scalable and Expressive Packet Classification.
IEEE/ACM Trans. Netw., 2016

WebRanz: web page randomization for better advertisement delivery and web-bot prevention.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

SecureScala: Scala embedding of secure computations.
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

The misbelief in delay scheduling.
Proceedings of the 4th Workshop on Distributed Cloud Computing, 2016

Crowdsourcing Measurements of Mobile Network Performance and Mobility During a Large Scale Event.
Proceedings of the Passive and Active Measurement - 17th International Conference, 2016

Programming Scalable Cloud Services with AEON.
Proceedings of the 17th International Middleware Conference, Trento, Italy, December 12, 2016

ARROW: automated repair of races on client-side web pages.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

FIB efficiency in distributed platforms.
Proceedings of the 24th IEEE International Conference on Network Protocols, 2016

A Type Theory for Robust Failure Handling in Distributed Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

STYX: Stream Processing with Trustworthy Cloud-based Execution.
Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

Enforcing Least Privilege Memory Views for Multithreaded Applications.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Cooperative decoupled processes: the e-calculus and linearity.
Proceedings of the 15th International Conference on Modularity, 2016

BASEL (Buffer mAnagement SpEcification Language).
Proceedings of the 2016 Symposium on Architectures for Networking and Communications Systems, 2016

2015
Subscription Normalization for Effective Content-Based Messaging.
IEEE Trans. Parallel Distributed Syst., 2015

Debugging the Internet of Things: The Case of Wireless Sensor Networks.
IEEE Softw., 2015

<i>4th International Symposium on Sensor Science</i> (I3S2015): Conference Report.
Sensors, 2015

BASEL (Buffering Architecture SpEcification Language).
CoRR, 2015

Essential Traffic Parameters for Shared Memory Switch Performance.
Proceedings of the Structural Information and Communication Complexity, 2015

Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015).
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Software-only system-level record and replay in wireless sensor networks.
Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

TARDIS: software-only system-level record and replay in wireless sensor networks.
Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

Optimal communication structures for big data aggregation.
Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

2014
Decentralized Fault-Tolerant Event Correlation.
ACM Trans. Internet Techn., 2014

Universal Cross-Cloud Communication.
IEEE Trans. Cloud Comput., 2014

From the Cloud to the Atmosphere: Running MapReduce across Data Centers.
IEEE Trans. Computers, 2014

Programming with Implicit Flows.
IEEE Softw., 2014

Effective Runtime Monitoring of Distributed Event-Based Enterprise Systems with ASIA.
Proceedings of the 7th IEEE International Conference on Service-Oriented Computing and Applications, 2014

SAX-PAC (Scalable And eXpressive PAcket Classification).
Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Serial Composition of Heterogeneous Control Planes.
Proceedings of the Open Networking Summit 2014 - Research Track, 2014

Fast, expressive top-<i>k</i> matching.
Proceedings of the 15th International Middleware Conference, 2014

Program analysis for secure big data processing.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Composing Heterogeneous SDN Controllers with Flowbricks.
Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

Shared Memory Buffer Management for Heterogeneous Packet Processing.
Proceedings of the IEEE 34th International Conference on Distributed Computing Systems, 2014

Strategies for Mitigating TCAM Space Bottlenecks.
Proceedings of the 22nd IEEE Annual Symposium on High-Performance Interconnects, 2014

Practical Confidentiality Preserving Big Data Analysis.
Proceedings of the 6th USENIX Workshop on Hot Topics in Cloud Computing, 2014

LOOM: Optimal Aggregation Overlays for In-Memory Big Data Processing.
Proceedings of the 6th USENIX Workshop on Hot Topics in Cloud Computing, 2014

StackTrack: an automated transactional approach to concurrent memory reclamation.
Proceedings of the Ninth Eurosys Conference 2014, 2014

2013
Diagnostic tracing for wireless sensor networks.
ACM Trans. Sens. Networks, 2013

Trading obliviousness for modularity with cooperative aspect-oriented programming.
ACM Trans. Softw. Eng. Methodol., 2013

Parametric Content-Based Publish/Subscribe.
ACM Trans. Comput. Syst., 2013

Evaluating Implementation Strategies for Location-Based Multicast Addressing.
IEEE Trans. Mob. Comput., 2013

Efficient sessions.
Sci. Comput. Program., 2013

Safe uniform proxies for Java.
Sci. Comput. Program., 2013

Multicasting in the presence of aggregated deliveries.
J. Parallel Distributed Comput., 2013

Towards efficient implementation of packet classifiers in SDN/OpenFlow.
Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

Assured Cloud-Based Data Analysis with ClusterBFT.
Proceedings of the Middleware 2013, 2013

Atmosphere: A Universal Cross-Cloud Communication Infrastructure.
Proceedings of the Middleware 2013, 2013

Efficient Geo-distributed Data Processing with Rout.
Proceedings of the IEEE 33rd International Conference on Distributed Computing Systems, 2013

Implementing Federated Object Systems.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

Lightweight message tracing for debugging wireless sensor networks.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

Aggregation for implicit invocations.
Proceedings of the Aspect-Oriented Software Development, 2013

2012
VNsnap: Taking Snapshots of Virtual Networked Infrastructures in the Cloud.
IEEE Trans. Serv. Comput., 2012

Abstracting Context in Event-Based Software.
LNCS Trans. Aspect Oriented Softw. Dev., 2012

ALPS - Adaptive Location-based Publish/Subscribe.
Comput. Networks, 2012

Brief Announcement: Weighted Partial Message Matching for Implicit Multicast Systems.
Proceedings of the Distributed Computing - 26th International Symposium, 2012

Prius: generic hybrid trace compression for wireless sensor networks.
Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems, 2012

Living in the present: on-the-fly information processing in scalable web architectures.
Proceedings of the 2nd International Workshop on Cloud Computing Platforms, 2012

2011
Ribbons: a partially shared memory programming model.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

FAIDECS: Fair Decentralized Event Correlation.
Proceedings of the Middleware 2011, 2011

Guarantees for decentralized event correlation.
Proceedings of the 8th Middleware Doctoral Symposium of the 12th ACM/IFIP/USENIX International Middleware Conference, 2011

Demo abstract: Diagnostic tracing of wireless sensor networks with TinyTracer.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Split and Subsume: Subscription Normalization for Effective Content-Based Messaging.
Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

Unified debugging of distributed systems with Recon.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Program analysis for event-based distributed systems.
Proceedings of the Fifth ACM International Conference on Distributed Event-Based Systems, 2011

Putting events in context: aspects for event-based distributed programming.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

Multicast with Aggregated Deliveries.
Proceedings of the First International Workshop on Algorithms and Models for Distributed Event Processing 2011, 2011

2010
Lightweight Task Graph Inference for Distributed Applications.
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

Efficient diagnostic tracing for wireless sensor networks.
Proceedings of the 8th International Conference on Embedded Networked Sensor Systems, 2010

Programming support innovations for emerging distributed applications (PSI EtA - upsiloneta): a splash 2010 workshop summary.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Parametric Subscriptions for Content-Based Publish/Subscribe Networks.
Proceedings of the Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29, 2010

Efficient Session Type Guided Distributed Interaction.
Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

Scalable Efficient Composite Event Detection.
Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2009
Interface.
Proceedings of the Encyclopedia of Database Systems, 2009

Cooperative aspect-oriented programming.
Sci. Comput. Program., 2009

Pervaho: A specialized middleware for mobile context-aware applications.
Electron. Commer. Res., 2009

Semantics-aware trace analysis.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Lightweight tracing for wireless sensor networks debugging.
Proceedings of the Fourth International Workshop on Middleware for Sensor Networks, 2009

An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees.
Proceedings of the Programming Languages and Systems, 2009

Software hardening: a research agenda.
Proceedings of the Proceedings for the 1st workshop on Script to Program Evolution, 2009

Context-oriented programming with EventJava.
Proceedings of the International Workshop on Context-Oriented Programming, 2009

EventJava: An Extension of Java for Event Correlation.
Proceedings of the ECOOP 2009, 2009

VNsnap: Taking snapshots of virtual networked environments with minimal downtime.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Middleware Support for Context-Aware Applications.
Proceedings of the Middleware for Network Eccentric and Mobile Applications, 2009

2008
Lazy argument passing in Java RMI.
Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

Towards reusable components with aspects: an empirical study on modularity and obliviousness.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
Type-based publish/subscribe: Concepts and experiences.
ACM Trans. Program. Lang. Syst., 2007

The "art" of programming gossip-based systems.
ACM SIGOPS Oper. Syst. Rev., 2007

Reflecting on an Existing Programming Language .
J. Object Technol., 2007

Taking snapshots of virtual networked environments.
Proceedings of the 2nd International Workshop on Virtualization Technology in Distributed Computing, 2007

Bridging Java and AspectJ through explicit join points.
Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

User Tasks and Access Control overWeb Services.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Aspect-Based Introspection and Change Analysis for Evolving Programs.
Proceedings of the RAM-SE'07-ECOOP'07 Workshop on Reflection, 2007

A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships.
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

Efficient distributed subtyping tests.
Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007

2006
Composing atomic features.
Sci. Comput. Program., 2006

Uniform proxies for Java.
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Pervaho: A Development & Test Platform for Mobile Ad hoc Applications.
Proceedings of the 3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, 2006

SCOOP - Concurrency Made Easy.
Proceedings of the Dependable Systems: Software, Computing, Networks, 2006

Generic Component Lookup.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005
DICTATE: DIstributed CerTification Authority with probabilisTic frEshness for Ad Hoc Networks.
IEEE Trans. Dependable Secur. Comput., 2005

Object-oriented programming in peer-to-peer systems.
Concurr. Pract. Exp., 2005

Can Aspects Implement Contracts?.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

Location-based Publish/Subscribe.
Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005

Reliable Computing in Ad Hoc Networks.
Proceedings of the Handbook on Theoretical and Algorithmic Aspects of Sensor, 2005

2004
Pilot: Probabilistic Lightweight Group Communication System for Ad Hoc Networks.
IEEE Trans. Mob. Comput., 2004

Distributed Programming with Typed Events.
IEEE Softw., 2004

Epidemic Information Dissemination in Distributed Systems.
Computer, 2004

Probabilistic reliable multicast in ad hoc networks.
Ad Hoc Networks, 2004

Towards Safe Distributed Application Development.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

D-Reliable Broadcast: A Probabilistic Measure of Broadcast Reliability.
Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

Linguistic Support for Distributed Programming Abstractions.
Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

BGP-Based Clustering for Scalable and Reliable Gossip Broadcast.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

Data-Aware Multicast.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003
Lightweight probabilistic broadcast.
ACM Trans. Comput. Syst., 2003

The many faces of publish/subscribe.
ACM Comput. Surv., 2003

PAN: providing reliable storage in mobile ad hoc networks with probabilistic quorum systems.
Proceedings of the 4th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2003

Route Driven Gossip: Probabilistic Reliable Multicast in Ad Hoc Networks.
Proceedings of the Proceedings IEEE INFOCOM 2003, The 22nd Annual Joint Conference of the IEEE Computer and Communications Societies, San Franciso, CA, USA, March 30, 2003

Pragmatic Type Interoperability.
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

2002
Abstracting remote object interaction in a peer-2-peer environment.
Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, 2002

Event Systems: How to Have Your Cake and Eat It Too.
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

OS Support for P2P Programming: a Case for TPS.
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

Probabilistic Multicast.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
Effective multicast programming in large scale distributed systems.
Concurr. Comput. Pract. Exp., 2001

On Objects and Events.
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Content-Based Publish/Subscribe with Structural Reflection.
Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29, 2001

2000
Experiences with object group systems.
Softw. Pract. Exp., 2000

Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction.
Proceedings of the ECOOP 2000, 2000

1999
Replicating CORBA objects: a marriage between active and passive replication.
Proceedings of the Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28, 1999


  Loading...