Patrick Thomas Eugster
http://usi.to/z56
Publications
Journal Article (44)
- Rovelli D., Rive M. D., Eugster P. T. (2025) Toward a Practical Deterministic Datapath for 6G End Devices, IEEE Network, 39 (3)
- Chuprikov P., Eugster P. T., Mangipudi S. (2025) Security Policy as Code, IEEE Security & Privacy, 23 (2)
- Otoni R., Blicha M., Eugster P. T., Sharygina N. (2025) Validation of CHC Satisfiability with ATHENA, Formal Aspects of Computing, 37 (4)
- Eugster P. T., Ravi S., Sang B. (2025) Programming Scalable Elastic Services with AEON, ACM Transactions on Computer Systems
- Hosseini M., Darabi S., Pasandi H. B., Nakhjiri M., Eugster P. T. (2025) Application-driven Reexamination of Datacenter Microbursts, ACM SIGMETRICS Performance Evaluation Review, 53 (1)
- Buckley A., Chuprikov P., Otoni R., Soulé R., Rand R., Eugster P. T. (2025) A Language for Quantifying Quantum Network Behavior, Proceedings of the ACM on Programming Languages, 9 (OOPSLA2)
- Hosseini M., Darabi S., Pasandi H. B., Nakhjiri M., Eugster P. T. (2025) Poison comes in small packages: Application-driven Reexamination of Datacenter Microbursts, Proceedings of the ACM on Measurement and Analysis of Computing Systems, 9 (2)
- Chuprikov P., Eugster P. T., Mangipudi S. (2025) Security Policy as Code
- Eugster P. T. (2024) Toward Robust Control for 6G Networks, IEEE Netw., 38 (3)
- Buckley A., Chuprikov P., Otoni R., Soulé R., Rand R., Eugster P. T. (2024) An Algebraic Language for Specifying Quantum Networks, Proceedings of the ACM on Programming Languages, 8 (PLDI)
- Sharygina N., Otoni R. B., Marescotti M., Alt L., Eugster P. T., Hyvärinen A. (2023) A Solicitous Approach to Smart Contract Verification, ACM Transactions on Privacy and Security
- Lembke J., Ravi S., Roman P. L., Eugster P. T. (2023) Secure and Reliable Network Updates, ACM Transactions on Privacy and Security, 26 (1)
- Menikkumbura D., Taheri P., Vanini E., Fahmy S., Eugster P. T., Edsall T. (2023) Congestion Control for Datacenter Networks: A Control-Theoretic Approach, IEEE Transactions on Parallel and Distributed Systems, 34 (5)
- Mangipudi S., Chuprikov P., Eugster P. T., Viering M., Savvides S. (2023) Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation, Proceedings of the ACM on Programming Languages, 7 (PLDI)
- Otoni R., Marescotti M., Alt L., Eugster P. T., Hyvärinen A., Sharygina N. (2023) A Solicitous Approach to Smart Contract Verification, ACM Transactions on Privacy and Security, 26 (2)
- Mangipudi S., Chuprikov P., Eugster P. T., Viering M., Savvides S. (2023) Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
- Eugster P. T., Lembke J. (2022) DEFUSE: An Interface for Fast and Correct User Space File Syst, ACM Trans. Storage, 18 (3)
- Eugster P. T., Bl\"ocher M. (2022) Holistic Resource Scheduling for Data Center In-Network Computing, IEEE/ACM Trans. Netw., 30 (6)
- Eugster P. T., Savvides S. (2022) C3PO: Cloud-based Confidentiality-preserving Continuous Query Processing, ACM Trans. Priv. Secur., 25 (1)
- Eugster P. T., Kumar S. (2022) Software-Based Remote Network Attestation, IEEE Trans. Dependable Secur. Comput., 19 (5)
- Abusalah B., Schatzlein D., Stephen J. J., Ardekani M. S., Eugster P. T. (2022) Multi-Framework Reliability Approach, IEEE Transactions on Cloud Computing, 10 (4)
- Blöcher M., Coppa E., Kleber P., Eugster P. T., Culhane W., Ardekani M. S. (2021) ROME: All Overlays Lead to Aggregation, but Some Are Faster than Others, ACM Transactions on Computer Systems, 39 (1-4)
- Viering M., Hu R., Eugster P. T., Ziarek L. (2021) A multiparty session typing discipline for fault-tolerant event-driven distributed programming, Proceedings of the ACM on Programming Languages, 5 (OOPSLA)
- Eugster P. T., Savvides S. (2020) Efficient Confidentiality-Preserving Data Analytics over Symmetrical, Proc. VLDB Endow., 13 (8)
- Eugster P. T., Lembke J. (2020) RoSCo: Robust Updates for Software-Defined Networks, IEEE J. Sel. Areas Commun., 38 (7)
- Kogan K., Menikkumbura D., Petri G., Noh Y., Nikolenko S. I., Sirotkin A., Eugster P. T. (2020) Towards Software-Defined Buffer Management, IEEE/ACM Transactions on Networking, 28 (5)
- Sang B., Eugster P. T., Petri G., Ravi S., Roman P. L. (2020) Scalable and serializable networked multi-actor programming, Proceedings of the ACM on Programming Languages, 4 (OOPSLA)
- Eugster P. T. (2019) Ensuring Confidentiality in the Cloud of Things, IEEE Pervasive Comput., 18 (1)
- Eugster P. T., Bejleri A. (2018) Cooperative decoupled processes, Softw. Qual. J., 26 (3)
- Eugster P. T. (2018) Admission control in shared memory switches, J. Sched., 21 (5)
- Eugster P. T., Bracevac O. (2018) Versatile event correlation with algebraic effects, Proc. ACM Program. Lang., 2 (ICFP)
- Eugster P. T. (2017) Heterogeneous packet processing in shared memory buffers, J. Parallel Distributed Comput., 99
- Eugster P. T. (2017) Big Data Analytics beyond the Single Datacenter, Computer, 50 (6)
- Eugster P. T. (2015) Debugging the Internet of Things: The Case of Wireless Sensor Networks, IEEE Softw., 32 (1)
- Eugster P. T. (2013) Safe uniform proxies for Java, Sci. Comput. Program., 78 (9)
- Eugster P. T. (2007) Type-based publish/subscribe: Concepts and experiences, ACM Trans. Program. Lang. Syst., 29 (1)
- Eugster P. T. (2007) The "art" of programming gossip-based systems, ACM SIGOPS Oper. Syst. Rev., 41 (5)
- Eugster P. T. (2006) Composing atomic features, Sci. Comput. Program., 63 (2)
- Eugster P. T. (2005) Object-oriented programming in peer-to-peer systems, Concurr. Pract. Exp., 17 (7-8)
- Eugster P. T. (2004) Distributed Programming with Typed Events, IEEE Softw., 21 (2)
- Eugster P. T. (2004) Epidemic Information Dissemination in Distributed Systems, Computer, 37 (5)
- Eugster P. T. (2003) Lightweight probabilistic broadcast, ACM Trans. Comput. Syst., 21 (4)
- Eugster P. T. (2003) The many faces of publish/subscribe, ACM Comput. Surv., 35 (2)
- Eugster P. T. (2001) Effective multicast programming in large scale distributed systems, Concurr. Comput. Pract. Exp., 13 (6)
Book chapter (6)
- Otoni R., Blicha M., Rivera M. B., Eugster P. T., Kofron̆ J., Sharygina N. (2025) Unsatisfiability Proofs for Horn Solving. Lecture Notes in Computer Science. Springer Nature Switzerland
- Eugster P. T., Liu and M. Tamer \"Ozsu L. (2018) Interface. Encyclopedia of Database Systems, Second Edition. Springer
- Viering M., Chen T. C., Eugster P. T., Hu R., Ziarek L. (2018) A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. Lecture Notes in Computer Science. Springer International Publishing
- Najafzadeh M., Shapiro M., Eugster P. T. (2017) Co-Design and Verification of an Available File System. Lecture Notes in Computer Science. Springer International Publishing
- Eugster P. T., Garbinato and Hugo Miranda and Lu\'\is E. T. Rodrigues B. (2009) Middleware Support for Context-Aware Applications. Middleware for Network Eccentric and Mobile Applications. Springer
- Eugster P. T., Wu J. (2005) Reliable Computing in Ad Hoc Networks. Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks. CRC Press / Taylor \& Francis
Article in conference proceedings (33)
- Hosseini M., Darabi S., Pasandi H. B., Nakhjiri M., Eugster P. T. (2025) Application-driven Reexamination of Datacenter Microbursts. SIGMETRICS '25: ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. Stony Brook NY USA
- Graf J. P. R., Demianiuk V., Chuprikov P., Feiran Y., Nikolenko S. I., Eugster P. T. (2025) CGFE: Efficient Range Encoding for TCAMs. IEEE INFOCOM 2025. IEEE INFOCOM 2025 - IEEE Conference on Computer Communications. London, United Kingdom. 2025
- Mangipudi S., Chuprikov P., Prendi G., Eugster P. T. (2025) Confidential Analytics with Scylla. SoCC '25: ACM Symposium on Cloud Computing. SoCC '25: ACM Symposium on Cloud Computing. Online USA. November 19-21
- Graf J. P. R., Chuprikov P., Eugster P. T. (2024) FARM: Comprehensive Data Center Network Monitoring and Management. 2024 IEEE 44th IEEE International Conference on Distributed Computing Systems. IEEE. 2024 IEEE 44th International Conference on Distributed Computing Systems (ICDCS). Jersey City, NJ, USA. July 23-26 2024
- Hosseini M., Darabi S., Eugster P. T., Choopani M., Jahangir A. H. (2024) Rethinking Web Caching: An Optimization for the Latency-Constrained Internet. HotNets '24: The 23rd ACM Workshop on Hot Topics in Networks. Irvine CA USA
- Eugster P. T. (2023) Secure distributed data and event processing at scale: where are. Proceedings of the 17th ACM International Conference on Distributed and Event-based Systems, DEBS 2023, Neuchatel, Switzerland, June 27-30, 2023. ACM
- Sharygina N., Otoni R. B., Blicha M., Eugster P. T. (2023) CHC Model Validation with Proof Guarantees. IFM 2023. Leiden, The Netherlands. November 13-15, 2023
- Sharygina N., Otoni R. B., Konnov I., Kukovec J., Eugster P. T. (2023) Symbolic Model Checking for TLA+ Made Faster. TACAS 2023. Paris, France. April 22-27, 2023
- Eugster P. T. (2023) Secure distributed data and event processing at scale: where are we now?. DEBS '23: 17th ACM International Conference on Distributed and Event-based Systems. Neuchatel Switzerland
- Buckley A., Chuprikov P., Otoni R., Rand R., Soulé R., Eugster P. T. (2023) Towards an Algebraic Specification of Quantum Networks. QuNet '23: 1st Workshop on Quantum Networks and Distributed Quantum Computing. New York NY USA
- Sharygina N., Otoni R. B., Blicha M., Eugster P. T., Hyvärinen A. (2021) Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. 58th DAC 2021. San Francisco, CA, USA. December 5-9, 2021
- Blöcher M., Wang L., Eugster P. T., Schmidt M. (2021) Switches for HIRE: resource scheduling for data center in-network computing. ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Virtual USA
- Eugster P. T., Bl\"ocher M. (2020) Letting off STEAM: Distributed Runtime Traffic Scheduling for Servi. 39th IEEE Conference on Computer Communications, INFOCOM 2020, Toronto, ON, Canada, July 6-9, 2020. IEEE
- Eugster P. T., Sang B. (2020) PLASMA: programmable elasticity for stateful cloud computing applications. EuroSys '20: Fifteenth EuroSys Conference 2020, Heraklion, Greece, April 27-30, 2020. ACM
- Eugster P. T., Taheri P. (2020) RoCC: robust congestion control for RDMA. CoNEXT '20: The 16th International Conference on emerging Networking EXperiments and Technologies, Barcelona, Spain, December, 2020. ACM
- Sharygina N., Marescotti M., Otoni R. B., Alt L., Eugster P. T., Hyvärinen A. (2020) Accurate Smart Contract Verification Through Direct Modelling. 9th International Symposium on Leveraging Applications of Formal Methods Part III. ISoLA 2020. Rhodes, Greece. October 20-30, 2020
- Eugster P. T., Bl\"ocher M. (2018) Boosting scalable data analytics with modern programmable networks. Proceedings of the 14th International Workshop on Data Management on New Hardware, Houston, TX, USA, June 11, 2018. ACM. International Workshop on Data Management on New Hardware (DaMoN). Houston TX. June 11
- Eugster P. T. (2018) A Cryptographic Look at Multi-party Channels. 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018. IEEE Computer Society
- Eugster P. T. (2015) Essential Traffic Parameters for Shared Memory Switch Performance. Structural Information and Communication Complexity - 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015, Post-Proceedings. Springer. Lecture Notes in Computer Science
- Eugster P. T. (2014) Shared Memory Buffer Management for Heterogeneous Packet Processing. IEEE 34th International Conference on Distributed Computing Systems, ICDCS 2014, Madrid, Spain, June 30 - July 3, 2014. IEEE Computer Society
- Eugster P. T. (2009) EventJava: An Extension of Java for Event Correlation. ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings. Springer. Lecture Notes in Computer Science
- Eugster P. T. (2006) Uniform proxies for Java. Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA. ACM
- Eugster P. T. (2006) Pervaho: A Development \& Test Platform for Mobile Ad h. 3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2006, San Jose, California, USA, July 17-21, 2006. IEEE Computer Society
- Eugster P. T. (2005) Location-based Publish/Subscribe. Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 27-29 July 2005, Cambridge, MA, USA. IEEE Computer Society
- Eugster P. T. (2004) Towards Safe Distributed Application Development. 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. IEEE Computer Society
- Eugster P. T. (2004) D-Reliable Broadcast: A Probabilistic Measure of Broadcast Reliability. 24th International Conference on Distributed Computing Systems (ICDCS 2004), 24-26 March 2004, Hachioji, Tokyo, Japan. IEEE Computer Society
- Eugster P. T. (2002) Abstracting remote object interaction in a peer-2-peer environment. Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002. ACM
- Eugster P. T. (2002) Event Systems: How to Have Your Cake and Eat It Too. 22nd International Conference on Distributed Computing Systems, Workshops (ICDCSW '02) July 2-5, 2002, Vienna, Austria, Proceedings. IEEE Computer Society
- Eugster P. T. (2002) Probabilistic Multicast. 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings. IEEE Computer Society
- Eugster P. T. (2001) On Objects and Events. Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2001, Tampa, Florida, USA, October 14-18, 2001. ACM
- Eugster P. T. (2001) Lightweight Probabilistic Broadcast. 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, G\"oteborg, Sweden, Proceedings. IEEE Computer Society
- Eugster P. T. (2001) Content-Based Publish/Subscribe with Structural Reflection. 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29 - February 2, 2001, San Antonio, Texas, USA. USENIX
- Eugster P. T. (2000) Distributed Asynchronous Collections: Abstractions for Publish/Subscri. ECOOP 2000 - Object-Oriented Programming, 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings. Springer. Lecture Notes in Computer Science
