Papers archive | Computer Systems

Towards Using Llms for Distributed Trace Comparison (Abstract).

Vaastav Anand, Pedro Henrique B. Las-Casas, Rodrigo Fonseca, Antoine Kaufmann.
AIOps 2025.

The Case for Instance-Optimized LLMs in OLAP Databases.

Bardia Mohammadi, Laurent Bindschaedler.
DOLAP 2025.

May the Memory Be With You: Efficient and Infinitely Updatable State for Large Language Models.

Excel Chukwu, Laurent Bindschaedler.
EuroMLSys 2025.

Everything You Wanted to Know About Graph Neural Network Partitioning (But Were Afraid to Ask).

Chongyang Xu, Laurent Bindschaedler.
GRADES/NDA 2025.

Destabilizing Iris.

Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer.
OOPSLA1 2025.

Towards Reliable Latent Knowledge Estimation in LLMs: Zero-Prompt Many-Shot Based Factual Knowledge Extraction.

Qinyuan Wu, Mohammad Aflah Khan, Soumi Das, Vedant Nanda, Bishwamittra Ghosh, Camila Kolling, Till Speicher, Laurent Bindschaedler, Krishna P. Gummadi, Evimaria Terzi.
WSDM 2025.

AlterEgo: A Dedicated Blockchain Node For Analytics.

Qi Guo, Mahdi Alizadeh, Ali Falahati, Laurent Bindschaedler.
EdgeSys@EuroSys 2024.

Anvil: Verifying Liveness of Cluster Management Controllers.

Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu.
OSDI 2024.

Toast: A Heterogeneous Memory Management System.

Maurice Bailleu, Dimitrios Stavrakakis, Rodrigo Caetano Rocha, Soham Chakraborty, Deepak Garg, Pramod Bhatotia.
PACT 2024.

Verus: A Practical Foundation for Systems Verification.

Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno.
SOSP 2024.

"Nudes? Shouldn't I charge for these?": Motivations of New Sexual Content Creators on OnlyFans.

Vaughn Hamilton, Ananta Soneji, Allison McDonald, Elissa M. Redmiles.
CHI 2023.

SynDiffix: More accurate synthetic structured data.

Paul Francis, Cristian Berneanu, Edon Gashi.
CoRR 2023.

Detection Is Better Than Cure: A Cloud Incidents Perspective.

Vaibhav Ganatra, Anjaly Parayil, Supriyo Ghosh, Yu Kang, Minghua Ma, Chetan Bansal, Suman Nath, Jonathan Mace.
ESEC/SIGSOFT FSE 2023.

FlexPass: A Case for Flexible Credit-based Transport for Datacenter Networks.

Hwijoon Lim, Jaehong Kim, Inho Cho, Keon Jang, Wei Bai, Dongsu Han.
EuroSys 2023.

Groundhog: Efficient Request Isolation in FaaS.

Mohamed Alzayat, Jonathan Mace, Peter Druschel, Deepak Garg.
EuroSys 2023.

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back.

Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan.
Found. Trends Program. Lang. 2023.

Beyond isolation: OS verification as a foundation for correct applications.

Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada.
HotOS 2023.

Unshackling Database Benchmarking from Synthetic Workloads.

Parimarjan Negi, Laurent Bindschaedler, Mohammad Alizadeh, Tim Kraska, Jyoti Leeka, Anja Gruenheid, Matteo Interlandi.
ICDE 2023.

Power in Computer Security and Privacy: A Critical Lens.

Elissa M. Redmiles, Mia M. Bennett, Tadayoshi Kohno.
IEEE Secur. Priv. 2023.

"I need a better description": An Investigation Into User Expectations For Differential Privacy.

Rachel Cummings, Gabriel Kaptchuk, Elissa M. Redmiles.
J. Priv. Confidentiality 2023.

RR: A Fault Model for Efficient TEE Replication.

Baltasar Dinis, Peter Druschel, Rodrigo Rodrigues.
NDSS 2023.

The Benefit of Hindsight: Tracing Edge-Cases in Distributed Systems.

Lei Zhang, Zhiqiang Xie, Vaastav Anand, Ymir Vigfusson, Jonathan Mace.
NSDI 2023.

Compositional Security Definitions for Higher-Order Where Declassification.

Jan Menz, Andrew K. Hirsch, Peixuan Li, Deepak Garg.
OOPSLA1 2023.

Verus: Verifying Rust Programs using Linear Ghost Types.

Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel.
OOPSLA1 2023.

Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.

Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno.
OSDI 2023.

Antipode: Enforcing Cross-Service Causal Consistency in Distributed Applications.

João Ferreira Loff, Daniel Porto, João Garcia, Jonathan Mace, Rodrigo Rodrigues.
SOSP 2023.

Blueprint: A Toolchain for Highly-Reconfigurable Microservice Applications.

Vaastav Anand, Deepak Garg, Antoine Kaufmann, Jonathan Mace.
SOSP 2023.

Exploring Privacy and Incentives Considerations in Adoption of COVID-19 Contact Tracing Apps.

Oshrat Ayalon, Dana Turjeman, Elissa M. Redmiles.
USENIX Security Symposium 2023.

Problematic Advertising and its Disparate Exposure on Facebook.

Muhammad Ali, Angelica Goetzen, Alan Mislove, Elissa M. Redmiles, Piotr Sapiezynski.
USENIX Security Symposium 2023.

What Are the Chances? Explaining the Epsilon Parameter in Differential Privacy.

Priyanka Nanayakkara, Mary Anne Smart, Rachel Cummings, Gabriel Kaptchuk, Elissa M. Redmiles.
USENIX Security Symposium 2023.

A Large-Scale Measurement of Cybercrime Against Individuals.

Casey Breen, Cormac Herley, Elissa M. Redmiles.
CHI 2022.

Field Evidence of the Effects of Privacy, Data Transparency, and Pro-social Appeals on COVID-19 App Attractiveness.

Samuel Dooley, Dana Turjeman, John P. Dickerson, Elissa M. Redmiles.
CHI 2022.

COVID-19 Information-Tracking Solutions: A Qualitative Investigation of the Factors Influencing People's Adoption Intention.

Yue Huang, Borke Obada-Obieh, Elissa M. Redmiles, Satya Lokam, Konstantin Beznosov.
CHIIR 2022.

A Note on the Misinterpretation of the US Census Re-identification Attack.

Paul Francis.
CoRR 2022.

Diffix Elm: Simple Diffix.

Paul Francis, Sebastian Probst Eide, David Wagner, Felix Bauer, Cristian Berneanu, Edon Gashi.
CoRR 2022.

SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation.

Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu.
CSF 2022.

Dimensions of Diversity in Human Perceptions of Algorithmic Fairness.

Nina Grgic-Hlaca, Gabriel Lima, Adrian Weller, Elissa M. Redmiles.
EAAMO 2022.

Ethical Practices for Security Research with At-Risk Populations.

Rasika Bhalerao, Vaughn Hamilton, Allison McDonald, Elissa M. Redmiles, Angelika Strohmayer.
EuroS&P Workshops 2022.

Community Under Surveillance: Impacts of Marginalization on an Online Labor Forum.

Hanna Barakat, Elissa M. Redmiles.
ICWSM 2022.

Analyzing Biases in Perception of Truth in News Stories and Their Implications for Fact Checking.

Mahmoudreza Babaei, Juhi Kulshrestha, Abhijnan Chakraborty, Elissa M. Redmiles, Meeyoung Cha, Krishna P. Gummadi.
IEEE Trans. Comput. Soc. Syst. 2022.

You may not need synchronization (in streaming systems).

Andrea Lattuada.
in streaming systems 2022.

FlexTOE: Flexible TCP Offload with Fine-Grained Parallelism.

Rajath Shashidhara, Tim Stamler, Antoine Kaufmann, Simon Peter.
NSDI 2022.

Linear types for large-scale systems verification.

Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel.
OOPSLA1 2022.

The Need for Respectful Technologies: Going Beyond Privacy.

Elissa M. Redmiles.
Perspectives on Digital Humanism 2022.

Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI.

Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan.
POPL 2022.

Ethics and Efficacy of Unsolicited Anti-Trafficking SMS Outreach.

Rasika Bhalerao, Nora McDonald, Hanna Barakat, Vaughn Hamilton, Damon McCoy, Elissa M. Redmiles.
Proc. ACM Hum. Comput. Interact. 2022.

Risk, Resilience and Reward: Impacts of Shifting to Digital Sex Work.

Vaughn Hamilton, Hanna Barakat, Elissa M. Redmiles.
Proc. ACM Hum. Comput. Interact. 2022.

Not Only for Contact Tracing: Use of Belgium's Contact Tracing App among Young Adults.

Oshrat Ayalon, Sophie Li, Bart Preneel, Elissa M. Redmiles.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 2022.

Ctrl-Shift: How Privacy Sentiment Changed from 2019 to 2021.

Angelica Goetzen, Samuel Dooley, Elissa M. Redmiles.
Proc. Priv. Enhancing Technol. 2022.

A Note on the Misinterpretation of the US Census Re-identification Attack.

Paul Francis.
PSD 2022.

SimBricks: end-to-end network system evaluation with modular simulation.

Hejing Li, Jialin Li, Antoine Kaufmann.
SIGCOMM 2022.

See it to believe it?: the role of visualisation in systems research.

Thomas Davidson, Jonathan Mace.
SoCC 2022.

"Like Lesbians Walking the Perimeter": Experiences of U.S. LGBTQ+ Folks With Online Security, Safety, and Privacy Advice.

Christine Geeng, Mike Harris, Elissa M. Redmiles, Franziska Roesner.
USENIX Security Symposium 2022.

Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud.

Aastha Mehta, Mohamed Alzayat, Roberta De Viti, Björn B. Brandenburg, Peter Druschel, Deepak Garg.
USENIX Security Symposium 2022.

Specification of Diffix Dogwood

Paul Francis.
Technical report MPI-SWS-2021-001 2021.

Procedures and Rules for the 2020 Diffix Bounty Program

Paul Francis.
Technical report MPI-SWS-2021-002 2021.

Customer Documentation for Aircloak's Diffix Dogwood

Paul Francis.
Technical report MPI-SWS-2021-003 2021.

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hrittcu, Marco Patrignani, Éric Tanter, Jérémy Thibault.
ACM TOPLAS 2021.

Robustly Safe Compilation, an Efficient Form of Secure Compilation.

Marco Patrignani, Deepak Garg.
ACM TOPLAS 2021.

"I need a better description": An Investigation Into User Expectations For Differential Privacy.

Rachel Cummings, Gabriel Kaptchuk, Elissa M. Redmiles.
CCS 2021.

An Inside Look into the Practice of Malware Analysis.

Miuyin Yong Wong, Matthew Landen, Manos Antonakakis, Douglas M. Blough, Elissa M. Redmiles, Mustaque Ahamad.
CCS 2021.

Side-Channel Attacks on Query-Based Data Anonymization.

Franziska Boenisch, Reinhard Munz, Marcel Tiepelt, Simon Hanisch, Christiane Kuhn, Paul Francis.
CCS 2021.

"Disadvantaged in the American-dominated Internet": Sex, Work, and Technology.

Catherine Barwulor, Allison McDonald, Eszter Hargittai, Elissa M. Redmiles.
CHI 2021.

Accountability in the Decentralised-Adversary Setting.

Robert Künnemann, Deepak Garg, Michael Backes.
CSF 2021.

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle.

Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens.
CSF 2021.

User Concerns 8 Tradeoffs in Technology-facilitated COVID-19 Response.

Elissa M. Redmiles.
Digit. Gov. Res. Pract. 2021.

Tesseract: distributed, general graph pattern mining on evolving graphs.

Laurent Bindschaedler, Jasmina Malicevic, Baptiste Lepers, Ashvin Goel, Willy Zwaenepoel.
EuroSys 2021.

Systems trivia night.

Vaastav Anand, Roberta De Viti, Jonathan Mace.
HotOS 2021.

Towards a Benchmark for Learned Systems.

Laurent Bindschaedler, Andreas Kipf, Tim Kraska, Ryan Marcus, Umar Farooq Minhas.
ICDE Workshops 2021.

Higher-order probabilistic adversarial computations: categorical semantics and program logics.

Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato.
ICFP 2021.

Verified Progress Tracking for Timely Dataflow.

Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel.
ITP 2021.

Permissive runtime information flow control in the presence of exceptions.

Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer.
J. Comput. Secur. 2021.

AMP: authentication of media via provenance.

Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cédric Fournet, Rebecca Burke-Aguero, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, John Deutscher, Shabnam Erfani, Matt Gaylor, Andrew Jenks, Kevin Kane, Elissa M. Redmiles, Alex Shamis, Isha Sharma, John C. Simmons, Sam Wenker, Anika Zaman.
MMSys 2021.

Characterizing the Online Learning Landscape: What and How People Learn Online.

Sean Kross, Eszter Hargittai, Elissa M. Redmiles.
Proc. ACM Hum. Comput. Interact. 2021.

Designing Media Provenance Indicators to Combat Fake Media.

Imani N. Sherman, Jack W. Stokes, Elissa M. Redmiles.
RAID 2021.

"It's stressful having all these phones": Investigating Sex Workers' Safety Goals, Risks, and Practices Online.

Allison McDonald, Catherine Barwulor, Michelle L. Mazurek, Florian Schaub, Elissa M. Redmiles.
USENIX Security Symposium 2021.

Driving 2FA Adoption at Scale: Optimizing Two-Factor Authentication Notification Design Patterns.

Maximilian Golla, Grant Ho, Marika Lohmus, Monica Pulluri, Elissa M. Redmiles.
USENIX Security Symposium 2021.

From Secure to Military-Grade: Exploring the Effect of App Descriptions on User Perceptions of Secure Messaging.

Omer Akgul, Ruba Abu-Salma, Wei Bai, Elissa M. Redmiles, Michelle L. Mazurek, Blase Ur.
WPES@CCS 2021.

Dear Differential Privacy: Put Up or Shut Up

Paul Francis.
Technical Report MPI-SWS-2020-005 2020.

Specification of Diffix Cedar

Paul Francis.
Technical Report MPI-SWS-2020-006 2020.

PhD thesis: A type-theory for higher-order amortized analysis

Vineet Rajani.
Technical Report MPI-SWS-2020-001 2020.

An Architecture for Load Balance in Computer Cluster Applications.

Laurent Bindschaedler.
An Architecture for Load Balance in Computer Cluster Applications. 2020.

Hailstorm: Disaggregated Compute and Storage for Distributed LSM-based Databases.

Laurent Bindschaedler, Ashvin Goel, Willy Zwaenepoel.
ASPLOS 2020.

Pivot tracing: dynamic causal monitoring for distributed systems.

Jonathan Mace, Ryan Roelke, Rodrigo Fonseca.
Commun. ACM 2020.

Trace-Relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault.
ESOP 2020.

Americans' willingness to adopt a COVID-19 tracking app The role of app distributor.

Eszter Hargittai, Elissa M. Redmiles, Jessica Vitak, Michael Zimmer.
First Monday 2020.

Get Paid to Program: Evaluating an Employment-Aware After-School Program for High School Women of Color.

Dana McFarlane, Elissa M. Redmiles.
ITiCSE 2020.

On the expressiveness and semantics of information flow types.

Vineet Rajani, Deepak Garg.
J. Comput. Secur. 2020.

Finding Safety in Numbers with Secure Allegation Escrows.

Venkat Arun, Aniket Kate, Deepak Garg, Peter Druschel, Bobby Bhattacharjee.
NDSS 2020.

Serving DNNs like Clockwork: Performance Predictability from the Bottom Up.

Arpan Gujarati, Reza Karimi, Safya Alzayat, Wei Hao, Antoine Kaufmann, Ymir Vigfusson, Jonathan Mace.
OSDI 2020.

Storage Systems are Distributed Systems (So Verify Them That Way!).

Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno.
OSDI 2020.

The high-level benefits of low-level sandboxing.

Michael Sammler, Deepak Garg, Derek Dreyer, Tadeusz Litak.
POPL 2020.

Shared Arrangements: practical inter-query sharing for streaming dataflows.

Frank McSherry, Andrea Lattuada, Malte Schwarzkopf, Timothy Roscoe.
Proc. VLDB Endow. 2020.

Annulus: A Dual Congestion Control Loop for Datacenter and WAN Traffic Aggregates.

Ahmed Saeed, Varun Gupta, Prateesh Goyal, Milad Sharif, Rong Pan, Mostafa H. Ammar, Ellen W. Zegura, Keon Jang, Mohammad Alizadeh, Abdul Kabbani, Amin Vahdat.
SIGCOMM 2020.

Swift: Delay is Simple and Effective for Congestion Control in the Datacenter.

Gautam Kumar, Nandita Dukkipati, Keon Jang, Hassan M. G. Wassel, Xian Wu, Behnam Montazeri, Yaogong Wang, Kevin Springborn, Christopher Alfeld, Michael Ryan, David Wetherall, Amin Vahdat.
SIGCOMM 2020.

Reconfigurable, Adaptive, Lightweight Grasping Mechanisms for Aerial Robotic Platforms.

Lydia Hingston, Jonathan Mace, Joao Buzzatto, Minas V. Liarokapis.
SSRR 2020.

A Comprehensive Quality Evaluation of Security and Privacy Advice on the Web.

Elissa M. Redmiles, Noel Warford, Amritha Jayanti, Aravind Koneru, Sean Kross, Miraida Morales, Rock Stevens, Michelle L. Mazurek.
USENIX Security Symposium 2020.

New Phone, Who Dis? Modeling Millennials' Backup Behavior.

Elissa M. Redmiles, Eszter Hargittai.
ACM Trans. Web 2019.

Causality & Control Flow.

Robert Künnemann, Deepak Garg, Michael Backes.
CREST@ETAPS 2019.

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation.

Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault.
CSF 2019.

Comparing and Developing Tools to Measure the Readability of Domain-Specific Texts.

Elissa M. Redmiles, Lisa Maszkiewicz, Emily Hwang, Dhruv Kuchhal, Everest Liu, Miraida Morales, Denis Peskov, Sudha Rao, Rock Stevens, Kristina Gligoric, Sean Kross, Michelle L. Mazurek, Hal Daumé III.
EMNLP/IJCNLP 2019.

Robustly Safe Compilation.

Marco Patrignani, Deepak Garg.
ESOP 2019.

ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code.

Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nemati, Anmol Panda, Pratik Bhatu.
EuroSys 2019.

TAS: TCP Acceleration as an OS Service.

Antoine Kaufmann, Tim Stamler, Simon Peter, Naveen Kr. Sharma, Arvind Krishnamurthy, Thomas E. Anderson.
EuroSys 2019.

Composing Abstractions using the null-Kernel.

James Litton, Deepak Garg, Peter Druschel, Bobby Bhattacharjee.
HotOS 2019.

"I Just Want to Feel Safe": A Diary Study of Safety Perceptions on Social Media.

Elissa M. Redmiles, Jessica E. Bodford, Lindsay Blackwell.
ICWSM 2019.

Applied Digital Threat Modeling: It Works.

Rock Stevens, Daniel Votipka, Elissa M. Redmiles, Colin Ahern, Michelle L. Mazurek.
IEEE Secur. Priv. 2019.

"Should I Worry?" A Cross-Cultural Examination of Account Security Incident Response.

Elissa M. Redmiles.
IEEE Symposium on Security and Privacy 2019.

How Well Do My Results Generalize? Comparing Security and Privacy Survey Results from MTurk, Web, and Telephone Samples.

Elissa M. Redmiles, Sean Kross, Michelle L. Mazurek.
IEEE Symposium on Security and Privacy 2019.

enClosure: Group Communication via Encounter Closures.

Lillian Tsai, Roberta De Viti, Matthew Lentz, Stefan Saroiu, Bobby Bhattacharjee, Peter Druschel.
MobiSys 2019.

From fine- to coarse-grained dynamic information flow control and back.

Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan.
POPL 2019.

Megaphone: Latency-conscious state migration for distributed streaming dataflows.

Moritz Hoffmann, Andrea Lattuada, Frank McSherry, Vasiliki Kalavri, John Liagouris, Timothy Roscoe.
Proc. VLDB Endow. 2019.

Sifter: Scalable Sampling for Distributed Traces, without Feature Engineering.

Pedro Henrique B. Las-Casas, Giorgi Papakerashvili, Vaastav Anand, Jonathan Mace.
SoCC 2019.

ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK).

Anjo Vahldiek-Oberwagner, Eslam Elnikety, Nuno O. Duarte, Michael Sammler, Peter Druschel, Deepak Garg.
USENIX Security Symposium 2019.

UniTraX: Protecting Data Privacy with Discoverable Biases

Reinhard Munz, Fabienne Eigner, Matteo Maffei, Paul Francis, and Deepak Garg.
Technical Report MPI-SWS-2018-001 2018.

Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems.

Jonathan Mace, Ryan Roelke, Rodrigo Fonseca.
ACM Trans. Comput. Syst. 2018.

Latency-conscious dataflow reconfiguration.

Moritz Hoffmann, Frank McSherry, Andrea Lattuada.
BeyondMR@SIGMOD 2018.

"What was that site doing with my Facebook password?": Designing Password-Reuse Notifications.

Maximilian Golla, Miranda Wei, Juliette Hainline, Lydia Filipe, Markus Dürmuth, Elissa M. Redmiles, Blase Ur.
CCS 2018.

Asking for a Friend: Evaluating Response Biases in Security User Studies.

Elissa M. Redmiles, Ziyun Zhu, Sean Kross, Dhruv Kuchhal, Tudor Dumitras, Michelle L. Mazurek.
CCS 2018.

Examining the Demand for Spam: Who Clicks?

Elissa M. Redmiles, Neha Chachra, Brian Waismeyer.
CHI 2018.

Extended Diffix.

Paul Francis, Sebastian Probst Eide, Pawel Obrok, Cristian Berneanu, Sasa Juric, Reinhard Munz.
CoRR 2018.

Types for Information Flow Control: Labeling Granularity and Semantic Models.

Vineet Rajani, Deepak Garg.
CSF 2018.

Dancing Pigs or Externalities?: Measuring the Rationality of Security Decisions.

Elissa M. Redmiles, Michelle L. Mazurek, John P. Dickerson.
EC 2018.

Efficient, Secure, and Flexible High Speed Packet Processing for Data Centers.

Antoine Kaufmann.
Efficient, Secure, and Flexible High Speed Packet Processing for Data Centers. 2018.

Rock you like a hurricane: taming skew in large scale analytics.

Laurent Bindschaedler, Jasmina Malicevic, Nicolas Schiper, Ashvin Goel, Willy Zwaenepoel.
EuroSys 2018.

Universal context propagation for distributed system instrumentation.

Jonathan Mace, Rodrigo Fonseca.
EuroSys 2018.

Exploring User Mental Models of End-to-End Encrypted Communication Tools.

Ruba Abu-Salma, Elissa M. Redmiles, Blase Ur, Miranda Wei.
FOCI @ USENIX Security Symposium 2018.

Diversifying the Next Generation of Information Scientists: Six Years of Implementation and Outcomes for a Year-Long REU Program.

Kayla M. Booth, Bryan Dosono, Elissa M. Redmiles, Miraida Morales, Michael Depew, Rosta Farzan, Everett Herman, Keith Trahan, Cindy Tananis.
iConference 2018.

Net Benefits: Digital Inequities in Social Capital, Privacy Preservation, and Digital Parenting Practices of U.S. Social Media Users.

Elissa M. Redmiles.
ICWSM 2018.

Hackers vs. Testers: A Comparison of Software Vulnerability Discovery Processes.

Daniel Votipka, Rock Stevens, Elissa M. Redmiles, Jeremy Hu, Michelle L. Mazurek.
IEEE Symposium on Security and Privacy 2018.

SeCloak: ARM Trustzone-based Mobile Peripheral Control.

Matthew Lentz, Rijurekha Sen, Peter Druschel, Bobby Bhattacharjee.
MobiSys 2018.

Sonoloc: Scalable positioning of commodity mobile devices.

Viktor Erdélyi, Trung-Kien Le, Bobby Bhattacharjee, Peter Druschel, Nobutaka Ono.
MobiSys 2018.

SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows.

Moritz Hoffmann, Andrea Lattuada, John Liagouris, Vasiliki Kalavri, Desislava C. Dimitrova, Sebastian Wicki, Zaheer Chothia, Timothy Roscoe.
NSDI 2018.

Floem: A Programming System for NIC-Accelerated Network Applications.

Phitchaya Mangpo Phothilimthana, Ming Liu, Antoine Kaufmann, Simon Peter, Rastislav Bodík, Thomas E. Anderson.
OSDI 2018.

UniTraX: Protecting Data Privacy with Discoverable Biases.

Reinhard Munz, Fabienne Eigner, Matteo Maffei, Paul Francis, Deepak Garg.
POST 2018.

Weighted Sampling of Execution Traces: Capturing More Needles and Less Hay.

Pedro Henrique B. Las-Casas, Jonathan Mace, Dorgival O. Guedes, Rodrigo Fonseca.
SoCC 2018.

Ethics Emerging: the Story of Privacy and Security Perceptions in Virtual Reality.

Devon Adams, Alseny Bah, Catherine Barwulor, Nureli Musaby, Kadeem Pitkin, Elissa M. Redmiles.
SOUPS @ USENIX Security Symposium 2018.

The Battle for New York: A Case Study of Applied Digital Threat Modeling at the Enterprise Level.

Rock Stevens, Daniel Votipka, Elissa M. Redmiles, Colin Ahern, Patrick Sweeney, Michelle L. Mazurek.
USENIX Security Symposium 2018.

Swayam: distributed autoscaling to meet SLAs of machine learning inference services with resource efficiency.

Arpan Gujarati, Sameh Elnikety, Yuxiong He, Kathryn S. McKinley, Björn B. Brandenburg.
Middleware 2017.

Type systems for information flow control: the question of granularity.

Vineet Rajani, Iulia Bastys, Willard Rafnsson, Deepak Garg.
ACM SIGLOG News 2017.

Diffix: High-Utility Database Anonymization.

Paul Francis, Sebastian Probst Eide, Reinhard Munz.
APF 2017.

Where is the Digital Divide?: A Survey of Security, Privacy, and Socioeconomics.

Elissa M. Redmiles, Sean Kross, Michelle L. Mazurek.
CHI 2017.

Lessons Learned from Using an Online Platform to Conduct Large-Scale, Online Controlled Security Experiments with Software Developers.

Christian Stransky, Yasemin Acar, Duc Cuong Nguyen, Dominik Wermke, Doowon Kim, Elissa M. Redmiles, Michael Backes, Simson L. Garfinkel, Michelle L. Mazurek, Sascha Fahl.
CSET @ USENIX Security Symposium 2017.

Secure Compilation and Hyperproperty Preservation.

Marco Patrignani, Deepak Garg.
CSF 2017.

WebPol: Fine-Grained Information Flow Policies for Web Browsers.

Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer.
ESORICS 2017.

DX: Latency-Based Congestion Control for Datacenters.

Changhyun Lee, Chunjong Park, Keon Jang, Sue B. Moon, Dongsu Han.
IEEE/ACM Trans. Netw. 2017.

A broad view of the ecosystem of socially engineered exploit documents

Stevens Le Blond, Cedric Gilbert, Utkarsh Upadhyay, Manuel Gomez-Rodriguez, David Choffnes.
NDSS 2017.

Evaluating the Power of Flexible Packet Processing for Network Resource Allocation.

Naveen Kr. Sharma, Antoine Kaufmann, Thomas E. Anderson, Arvind Krishnamurthy, Jacob Nelson, Simon Peter.
NSDI 2017.

Robust and compositional verification of object capability patterns.

David Swasey, Deepak Garg, Derek Dreyer.
OOPSLA 2017.

Credit-Scheduled Delay-Bounded Congestion Control for Datacenters.

Inho Cho, Keon Jang, Dongsu Han.
SIGCOMM 2017.

Canopy: An End-to-End Performance Tracing And Analysis System.

Jonathan Kaldor, Jonathan Mace, Michal Bejda, Edison Gao, Wiktor Kuropatwa, Joe O'Neill, Kian Win Ong, Bill Schaller, Pingjia Shan, Brendan Viscomi, Vinod Venkataraman, Kaushik Veeraraghavan, Yee Jiun Song.
SOSP 2017.

You Want Me To Do What? A Design Study of Two-Factor Authentication Messages.

Elissa M. Redmiles, Everest Liu, Michelle L. Mazurek.
SOUPS 2017.

Exploring User Perceptions of Discrimination in Online Targeted Advertising.

Angelisa C. Plane, Elissa M. Redmiles, Michelle L. Mazurek, Michael Carl Tschantz.
USENIX Security Symposium 2017.

Qapla: Policy compliance for database-backed systems.

Aastha Mehta, Eslam Elnikety, Katura Harvey, Deepak Garg, Peter Druschel.
USENIX Security Symposium 2017.

Type Systems for Information Flow Control: The Question of Granularity

Vineet Rajani, Iulia Bastys, Willard Rafnsson, Deepak Garg.
Technical Report MPI-SWS-2016-012 2016.

Master's Thesis: PolSim: Automatic Policy Validation via Meta-Data Flow Simulation

Mohamed Alzayat.
Technical Report MPI-SWS-2016-005 2016.

Doctoral Thesis: Towards Trustworthy Social Computing Systems

Bimal Viswanath.
Technical Report MPI-SWS-2016-004 2016.

Doctoral Thesis: Towards a Non-tracking Web

İstemi Ekin Akkuş.
Technical Report MPI-SWS-2016-002 2016.

High Performance Packet Processing with FlexNIC.

Antoine Kaufmann, Simon Peter, Naveen Kr. Sharma, Thomas E. Anderson, Arvind Krishnamurthy.
ASPLOS 2016.

Specifying and Checking File System Crash-Consistency Models.

James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, Xi Wang.
ASPLOS 2016.

Faucet: a user-level, modular technique for flow control in dataflow engines.

Andrea Lattuada, Frank McSherry, Zaheer Chothia.
BeyondMR@SIGMOD 2016.

Detecting fraud, corruption, and collusion in international development contracts: The design of a proof-of-concept automated system.

Emily Grace, Ankit Rai, Elissa M. Redmiles, Rayid Ghani.
BigData 2016.

How I Learned to be Secure: a Census-Representative Survey of Security Advice Sources and Behavior.

Elissa M. Redmiles, Sean Kross, Michelle L. Mazurek.
CCS 2016.

On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks

Vineet Rajani, Deepak Garg, Tamara Rezk.
CSF 2016.

On Modular and Fully-Abstract Compilation.

Marco Patrignani, Dominique Devriese, Frank Piessens.
CSF 2016.

Characterizing the Consistency of Online Services (Practical Experience Report).

Filipe Freitas, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues.
DSN 2016.

Multiprocessor Real-Time Scheduling with Hierarchical Processor Affinities.

Vincenzo Bonifaci, Björn B. Brandenburg, Gianlorenzo D'Angelo, Alberto Marchetti-Spaccamela.
ECRTS 2016.

Progress-Sensitive Security for SPARK

Willard Rafnsson, Deepak Garg, Andrei Sabelfeld.
ESSoS 2016.

Detecting fraud, corruption, and collusion in international development contracts: The design of a proof-of-concept automated system.

Emily Grace, Ankit Rai, Elissa M. Redmiles, Rayid Ghani.
IEEE BigData 2016.

Geo-Replication: Fast If Possible, Consistent If Necessary.

Valter Balegas, Cheng Li, Mahsa Najafzadeh, Daniel Porto, Allen Clement, Sérgio Duarte, Carla Ferreira, Johannes Gehrke, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Marc Shapiro, Viktor Vafeiadis.
IEEE Data Eng. Bull. 2016.

I Think They're Trying to Tell Me Something: Advice Sources and Selection for Digital Security.

Elissa M. Redmiles, Amelia R. Malone, Michelle L. Mazurek.
IEEE Symposium on Security and Privacy 2016.

Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems.

Jonathan Mace, Ryan Roelke, Rodrigo Fonseca.
login Usenix Mag. 2016.

I-Pic: A Platform for Privacy-Compliant Image Capture.

Paarijaat Aditya, Rijurekha Sen, Peter Druschel, Seong Joon Oh, Rodrigo Benenson, Mario Fritz, Bernt Schiele, Bobby Bhattacharjee, Tong Tong Wu.
MobiSys 2016.

Privacy Capsules: Preventing Information Leaks by Mobile Apps.

Raul Herbster, Scott DellaTorre, Peter Druschel, Bobby Bhattacharjee.
MobiSys 2016.

Light-Weight Contexts: An OS Abstraction for Safety and Performance

James Litton, Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg, Bobby Bhattacharjee, Peter Druschel.
OSDI 2016.

NetBricks: Taking the V out of NFV.

Aurojit Panda, Sangjin Han, Keon Jang, Melvin Walls, Sylvia Ratnasamy, Scott Shenker.
OSDI 2016.

Making weak consistency great again.

Valter Balegas, Sérgio Duarte, Carla Ferreira, Nuno M. Preguiça, Rodrigo Rodrigues.
PaPoC@EuroSys 2016.

Asymmetric Secure Multi-execution with Declassification

Iulia Bolosteanu, Deepak Garg.
POST 2016.

2DFQ: Two-Dimensional Fair Queuing for Multi-Tenant Cloud Services.

Jonathan Mace, Peter Bodík, Madanlal Musuvathi, Rodrigo Fonseca, Krishnan Varadarajan.
SIGCOMM 2016.

R-Susceptibility: An IR-Centric Approach to Assessing Privacy Risks for Users in Online Communities

Joanna Asia Biega, Krishna P. Gummadi, Ida Mele, Dragan Milchevski, Christos Tryfonopoulos, Gerhard Weikum.
SIGIR 2016.

Principled workflow-centric tracing of distributed systems.

Raja R. Sambasivan, Ilari Shafer, Jonathan Mace, Benjamin H. Sigelman, Rodrigo Fonseca, Gregory R. Ganger.
SoCC 2016.

Forgetting in Social Media: Understanding and Controlling Longitudinal Exposure of Socially Shared Data

Mainack Mondal, Johnnatan Messias, Saptarshi Ghosh, Krishna P. Gummadi, Aniket Kate.
SOUPS 2016.

Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems.

Jonathan Mace, Ryan Roelke, Rodrigo Fonseca.
USENIX Annual Technical Conference 2016.

Oblivious Multi-Party Machine Learning on Trusted Processors.

Olga Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa.
USENIX Security Symposium 2016.

Thoth: Comprehensive Policy Compliance in Data Retrieval Systems.

Eslam Elnikety, Aastha Mehta, Anjo Vahldiek-Oberwagner, Deepak Garg, Peter Druschel.
USENIX Security Symposium 2016.

IncApprox: A Data Analytics System for Incremental Approximate Computing.

Dhanya R. Krishnan, Do Le Quoc, Pramod Bhatotia, Christof Fetzer, Rodrigo Rodrigues.
WWW 2016.

Strengthening Weak Identities Through Inter-Domain Trust Transfer

Giridhari Venkatadri, Oana Goga, Changtao Zhong, Bimal Viswanath, Krishna P. Gummadi, Nishanth R. Sastry.
WWW 2016.

Doctoral Thesis: Effective Testing for Concurrency Bugs

Pedro Fonseca.
Technical Report MPI-SWS-2015-004 2015.

Doctoral Thesis: Incremental Parallel and Distributed Systems

Pramod Kumar Bhatotia.
Technical Report MPI-SWS-2015-002 2015.

Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information.

Milivoj Simeonovski, Fabian Bendun, Muhammad Rizwan Asghar, Michael Backes, Ninja Marnau, Peter Druschel.
ACNS 2015.

iThreads: A Threading Library for Parallel Incremental Computation.

Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Björn B. Brandenburg, Rodrigo Rodrigues.
ASPLOS 2015.

Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits

Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta.
CCS 2015.

Herd: A Scalable, Traffic Analysis Resistant Anonymity Network for VoIP Systems.

Stevens Le Blond, David R. Choffnes, William Caldwell, Peter Druschel, Nicholas Merritt.
Comput. Commun. Rev. 2015.

Network Address Translation (NAT).

Paul Francis.
Comput. Commun. Rev. 2015.

Silo: Predictable Message Latency in the Cloud.

Keon Jang, Justine Sherry, Hitesh Ballani, Toby Moncaster.
Comput. Commun. Rev. 2015.

Strength in Numbers: Robust Tamper Detection in Crowd Computations

Bimal Viswanath, Muhammad Ahmad Bashir, Muhammad Bilal Zafar, Simon Bouget, Saikat Guha, Krishna P. Gummadi, Aniket Kate, Alan Mislove.
COSN 2015.

A Logic of Programs with Interface-Confined Code

Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta.
CSF 2015.

Information Flow Control for Event Handling and the DOM in Web Browsers

Vineet Rajani, Abhishek Bichhawat, Deepak Garg, Christian Hammer.
CSF 2015.

Program Actions as Actual Causes: A Building Block for Accountability

Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha.
CSF 2015.

Guardat: Enforcing data policies at the storage layer

Anjo Vahldiek-Oberwagner, Eslam Elnikety, Aastha Mehta, Deepak Garg, Peter Druschel, Rodrigo Rodrigues, Johannes Gehrke, Ansley Post.
EuroSys 2015.

NBA (network balancing act): a high-performance packet processing framework for heterogeneous processors.

Joongi Kim, Keon Jang, Keunhong Lee, Sangwook Ma, Junhyun Shim, Sue B. Moon.
EuroSys 2015.

Putting consistency back into eventual consistency.

Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Mahsa Najafzadeh, Marc Shapiro.
EuroSys 2015.

Visigoth fault tolerance.

Daniel Porto, João Leitão, Cheng Li 0001, Allen Clement, Aniket Kate, Flavio Paiva Junqueira, Rodrigo Rodrigues.
EuroSys 2015.

FlexNIC: Rethinking Network DMA.

Antoine Kaufmann, Simon Peter, Thomas E. Anderson, Arvind Krishnamurthy.
HotOS 2015.

The Many Shades of Anonymity: Characterizing Anonymous Social Media Content

Denzil Correa, Leandro Araujo Silva, Mainack Mondal, Fabricio Benevenuto, Krishna P. Gummadi.
ICWSM 2015.

The Doppelgänger Bot Attack: Exploring Identity Impersonation in Online Social Networks

Oana Goga, Giridhari Venkatadri, Krishna P. Gummadi.
IMC 2015.

On the Reliability of Profile Matching Across Large Online Social Networks

Oana Goga, Patrick Loiseau, Robin Sommer, Renata Teixeira, Krishna P. Gummadi.
KDD 2015.

Retro: Targeted Resource Management in Multi-tenant Distributed Systems.

Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi.
NSDI 2015.

LADIS'14: 8th Workshop on Large-Scale Distributed Systems and Middleware.

Gregory V. Chockler, Flavio Junqueira, Rodrigo Rodrigues, Ymir Vigfusson.
Operating Systems Review 2015.

Towards Fast Invariant Preservation in Geo-replicated Systems.

Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Mahsa Najafzadeh, Marc Shapiro.
Operating Systems Review 2015.

Minimizing coordination in replicated systems.

Cheng Li 0001, João Leitão, Allen Clement, Nuno M. Preguiça, Rodrigo Rodrigues.
PaPoC@EuroSys 2015.

PIXIDA: Optimizing Data Parallel Jobs in Wide-Area Data Analytics.

Konstantinos Kloudas, Rodrigo Rodrigues, Nuno M. Preguiça, Margarida Mamede.
PVLDB 2015.

Herd: A Scalable, Traffic Analysis Resistant Anonymity Network for VoIP Systems.

Stevens Le Blond, David R. Choffnes, William Caldwell, Peter Druschel, Nicholas Merritt.
SIGCOMM 2015.

Silo: Predictable Message Latency in the Cloud.

Keon Jang, Justine Sherry, Hitesh Ballani, Toby Moncaster.
SIGCOMM 2015.

A Classroom Tested Accessible Multimedia Resource for Engaging Underrepresented Students in Computing: The University of Maryland Curriculum In A Box.

Elissa M. Redmiles, Mary Allison Abad, Isabella Coronado, Sean Kross, Amelia Malone.
SIGCSE 2015.

Chaos: scale-out graph processing from secondary storage.

Amitabha Roy, Laurent Bindschaedler, Jasmina Malicevic, Willy Zwaenepoel.
SOSP 2015.

E2: a framework for NFV applications.

Shoumik Palkar, Chang Lan, Sangjin Han, Keon Jang, Aurojit Panda, Sylvia Ratnasamy, Luigi Rizzo, Scott Shenker.
SOSP 2015.

Pivot tracing: dynamic causal monitoring for distributed systems.

Jonathan Mace, Ryan Roelke, Rodrigo Fonseca.
SOSP 2015.

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants.

Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Marc Shapiro, Rodrigo Rodrigues, Nuno M. Preguiça.
SRDS 2015.

Accurate Latency-based Congestion Feedback for Datacenters.

Changhyun Lee, Chunjong Park, Keon Jang, Sue B. Moon, Dongsu Han.
USENIX Annual Technical Conference 2015.

Formal Model and Verification of Privacy-preserving String Discovery for Mobile and Web Analytics

Istemi Ekin Akkus.
Technical Report MPI-SWS-2014-006 2014.

Doctoral Thesis: Private-by-design advertising and analytics: from theory to practice

Alexey Reznichenko.
Technical Report MPI-SWS-2014-005 2014.

Guardat: A foundation for policy-protected data

Anjo Vahldiek, Eslam Elnikety, Aastha Mehta, Deepak Garg, Peter Druschel, Ansley Post, Rodrigo Rodrigues, Johannes Gehrke.
Technical Report MPI-SWS-2014-002 2014.

Brave New World: Privacy Risks for Mobile Users.

Paarijaat Aditya, Bobby Bhattacharjee, Peter Druschel, Viktor Erdélyi, Matthew Lentz.
ACM SIGMOBILE Mob. Comput. Commun. Rev. 2014.

BackRef: Accountability in Anonymous Communication Networks.

Michael Backes, Jeremy Clark, Aniket Kate, Milivoj Simeonovski, Peter Druschel.
ACNS 2014.

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies

Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta.
CAV 2014.

Private-by-Design Advertising Meets the Real World.

Alexey Reznichenko, Paul Francis.
CCS 2014.

Privacy-preserving audit for broker-based health information exchange

Se Eun Oh, Ji Young Chun, Limin Jia, Deepak Garg, Carl A. Gunter, Anupam Datta.
CODASPY 2014.

Towards General-Purpose Resource Management in Shared Cloud Services.

Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi.
HotDep 2014.

Incremental MapReduce Computations.

Pramod Bhatotia, Alexander Wieder, Umut A. Acar, Rodrigo Rodrigues.
Large Scale and Big Data 2014.

Slider: incremental sliding window analytics.

Pramod Bhatotia, Umut A. Acar, Flavio Paiva Junqueira, Rodrigo Rodrigues.
Middleware 2014.

EnCore: private, context-based communication for mobile social apps.

Paarijaat Aditya, Viktor Erdélyi, Matthew Lentz, Elaine Shi, Bobby Bhattacharjee, Peter Druschel.
MobiSys 2014.

SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration.

Pedro Fonseca, Rodrigo Rodrigues, Björn B. Brandenburg.
OSDI 2014.

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis.

Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer.
PLAS@ECOOP 2014.

Information Flow Control in WebKit's JavaScript Bytecode

Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer.
POST 2014.

Scaling global scheduling with message passing.

Felipe Cerqueira, Manohar Vanga, Björn B. Brandenburg.
RTAS 2014.

A Synchronous IPC Protocol for Predictable Access to Shared Resources in Mixed-Criticality Systems.

Björn B. Brandenburg.
RTSS 2014.

Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT.

Roy Spliet, Manohar Vanga, Björn B. Brandenburg, Sven Dziadek.
RTSS 2014.

An exploration of mentor-protégé relationships and how to train future mentors (abstract only).

Elissa M. Redmiles, Jandelyn D. Plane.
SIGCSE 2014.

Understanding and Specifying Social Access Control Lists

Mainack Mondal, Yabing Liu, Bimal Viswanath, Krishna P. Gummadi, Alan Mislove.
SOUPS 2014.

Brave new world: privacy risks for mobile users.

Paarijaat Aditya, Bobby Bhattacharjee, Peter Druschel, Viktor Erdélyi, Matthew Lentz.
SPME@MobiCom 2014.

The Case for Fast and Invariant-Preserving Geo-Replication.

Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Marc Shapiro, Mahsa Najafzadeh.
SRDS Workshops 2014.

Beyond Access Control: Managing Online Privacy via Exposure

Mainack Mondal, Peter Druschel, Krishna P. Gummadi, Alan Mislove.
USEC 2014.

Automating the Choice of Consistency Levels in Replicated Systems.

Cheng Li, João Leitão, Allen Clement, Nuno M. Preguiça, Rodrigo Rodrigues, Viktor Vafeiadis.
USENIX Annual Technical Conference 2014.

SDDR: Light-Weight, Secure Mobile Encounters.

Matthew Lentz, Viktor Erdélyi, Paarijaat Aditya, Elaine Shi, Peter Druschel, Bobby Bhattacharjee.
USENIX Security Symposium 2014.

Towards Detecting Anomalous User Behavior in Online Social Networks

Bimal Viswanath, Muhammad Ahmad Bashir, Mark Crovella, Saikat Guha, Krishna P. Gummadi, Balachander Krishnamurthy, Alan Mislove.
USENIX Security Symposium 2014.

Improving Trust in Cloud, Enterprise, and Mobile Computing Platforms

Nuno Miguel, Carvalho Santos.
Technical Report MPI-SWS-2013-007 2013.

String Discovery for Private Analytics

Istemi Ekin Akkus, Ruichuan Chen, Paul Francis.
Technical Report MPI-SWS-2013-006 2013.

Dependent Type Theory for Verification of Information Flow and Access Control Policies

Aleksandar Nanevski, Anindya Banerjee, Deepak Garg.
ACM TOPLAS 2013.

We Need to Talk About NICs.

Pravin Shinde, Antoine Kaufmann, Timothy Roscoe, Stefan Kaestle.
HotOS 2013.

Peer-assisted content distribution in Akamai netsession.

Mingchen Zhao, Paarijaat Aditya, Ang Chen, Yin Lin, Andreas Haeberlen, Peter Druschel, Bruce M. Maggs, Bill Wishon, Miroslav Ponec.
IMC 2013.

Chatty Tenants and the Cloud Network Sharing Problem.

Hitesh Ballani, Keon Jang, Thomas Karagiannis, Changhoon Kim, Dinan Gunawardena, Greg O'Shea.
NSDI 2013.

Modeling NICs with Unicorn.

Pravin Shinde, Antoine Kaufmann, Kornilios Kourtis, Timothy Roscoe.
PLOS@SOSP 2013.

SplitX: high-performance private analytics.

Ruichuan Chen, Istemi Ekin Akkus, Paul Francis.
SIGCOMM 2013.

Towards efficient traffic-analysis resistant anonymity networks.

Stevens Le Blond, David R. Choffnes, Wenxuan Zhou, Peter Druschel, Hitesh Ballani, Paul Francis.
SIGCOMM 2013.

Addressing the privacy management crisis in online social networks

Krishna P. Gummadi.
WWW 2013.

Slider: Incremental Sliding-Window Computations for Large-Scale Data Analysis

Pramod Bhatotia, Marcel Dischinger, Rodrigo Rodrigues, Umut A. Acar.
Technical Report MPI-SWS-2012-004 2012.

The power of batching in the Click modular router.

Joongi Kim, Seonggu Huh, Keon Jang, KyoungSoo Park, Sue B. Moon.
APSys 2012.

Non-tracking web analytics.

Istemi Ekin Akkus, Ruichuan Chen, Michaela Hardt, Paul Francis, Johannes Gehrke.
CCS 2012.

Adaptive Search Radius - Using hop count to reduce P2P traffic.

Ricardo J. F. Lopes Pereira, Teresa Maria Vazão, Rodrigo Rodrigues.
Computer Networks 2012.

Exploring the design space of social network-based Sybil defenses

Bimal Viswanath, Mainack Mondal, Allen Clement, Peter Druschel, Krishna P. Gummadi, Alan Mislove, Ansley Post.
COMSNETS 2012.

Defending against large-scale crawls in online social networks

Mainack Mondal, Bimal Viswanath, Allen Clement, Peter Druschel, Krishna P. Gummadi, Alan Mislove, Ansley Post.
CoNEXT 2012.

Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction

Valerio Genovese, Deepak Garg, Daniele Rispoli.
CSF 2012.

Canal: Scaling social network-based Sybil tolerance schemes

Bimal Viswanath, Mainack Mondal, Krishna P. Gummadi, Alan Mislove, Ansley Post.
EuroSys 2012.

Scalable testing of file system checkers.

João Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar.
EuroSys 2012.

Shredder: GPU-accelerated incremental storage and computation.

Pramod Bhatotia, Rodrigo Rodrigues, Akshat Verma.
FAST 2012.

Automatic Reconfiguration for Large-Scale Reliable Storage Systems.

Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses Liskov, David A. Schultz.
IEEE Trans. Dependable Sec. Comput. 2012.

Stateful authorization logic - Proof theory and a case study.

Deepak Garg, Frank Pfenning.
J. Comput. Secur. 2012.

Enhancing the OS against Security Threats in System Administration.

Nuno Santos, Rodrigo Rodrigues, Bryan Ford.
Middleware 2012.

Track Me If You Can: On the Effectiveness of Context-based Identifier Changes in Deployed Mobile Networks.

Laurent Bindschaedler, Murtuza Jadliwala, Igor Bilogrevic, Imad Aad, Philip Ginzboorg, Valtteri Niemi, Jean-Pierre Hubaux.
NDSS 2012.

Orchestrating the Deployment of Computations in the Cloud with Conductor.

Alexander Wieder, Pramod Bhatotia, Ansley Post, Rodrigo Rodrigues.
NSDI 2012.

Reliable Client Accounting for P2P-Infrastructure Hybrids

Paarijaat Aditya, Mingchen Zhao, Yin Lin, Andreas Haeberlen, Peter Druschel, Bruce M. Maggs and Bill Wishon.
NSDI 2012.

Towards Statistical Queries over Distributed Private User Data.

Ruichuan Chen, Alexey Reznichenko, Paul Francis, Johannes Gehrke.
NSDI 2012.

Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary.

Cheng Li, Daniel Porto, Allen Clement, Johannes Gehrke, Nuno M. Preguiça, Rodrigo Rodrigues.
OSDI 2012.

Big Brother Knows Your Friends: On Privacy of Social Communities in Pervasive Networks.

Igor Bilogrevic, Murtuza Jadliwala, István Lám, Imad Aad, Philip Ginzboorg, Valtteri Niemi, Laurent Bindschaedler, Jean-Pierre Hubaux.
Pervasive 2012.

On the (limited) power of non-equivocation.

Allen Clement, Flavio Junqueira, Aniket Kate, Rodrigo Rodrigues.
PODC 2012.

Reviving delay-based TCP for data centers.

Changhyun Lee, Keon Jang, Sue B. Moon.
SIGCOMM 2012.

Labeled Goal-Directed Search in Access Control Logic.

Valerio Genovese, Deepak Garg, Daniele Rispoli.
STM 2012.

Reactions on advice given by others on the business of becoming a researcher.

Paul Francis.
StudentWorkshop@CoNEXT 2012.

Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services.

Nuno Santos, Rodrigo Rodrigues, Krishna P. Gummadi, Stefan Saroiu.
USENIX Security Symposium 2012.

Understanding and combating link farming in the twitter social network

Saptarshi Ghosh, Bimal Viswanath, Farshad Kooti, Naveen Kumar Sharma, Gautam Korlam, Fabrício Benevenuto, Niloy Ganguly, Krishna P. Gummadi.
WWW 2012.

Protecting Data Integrity with Storage Leases

Anjo Vahldiek, Eslam Elnikety, Ansley Post, Peter Druschel, Rodrigo Rodrigues.
Technical Report MPI-SWS-2011-008 2011.

System Designs for Bulk and User-generated Content Delivery in the Internet

Massimiliano Marcon, Nuno Santos, Krishna P. Gummadi, Nikolaos Laoutaris, Pablo Rodriguez, Amin Vahdat.
Technical Report MPI-SWS-2011-007 2011.

Defending Against Large-scale Crawls in Online Social Networks

Mainack Mondal, Bimal Viswanath, Allen Clement,Peter Druschel, Krishna P. Gummadi, Alan Mislove, Ansley Post.
Technical Report MPI-SWS-2011-006 2011.

NetEx: Cost-effective Bulk Data Transfers for Cloud Computing

Massimiliano Marcon, Nuno Santos, Krishna P. Gummadi, Nikolaos Laoutaris, Pablo Rodriguez, Amin Vahdat.
Technical Report MPI-SWS-2011-005 2011.

Excalibur: Building Trustworthy Cloud Services

Nuno Santos, Rodrigo Rodrigues, Krishna P. Gummadi, Stefan Saroiu.
Technical Report MPI-SWS-2011-004 2011.

Incoop: MapReduce for Incremental Computations

Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut A. Acar, Rafael Pasquini.
Technical Report MPI-SWS-2011-003 2011.

Fighting Cybercrime with Packet Attestation

Andreas Haeberlen, Pedro Fonseca, Rodrigo Rodrigues, Peter Druschel.
Technical Report MPI-SWS-2011-002 2011.

Mapping user search queries to product categories.

Carolyn T. Hafernik, Bin Cheng, Paul Francis, Bernard J. Jansen.
ASIST 2011.

Auctions in do-not-track compliant internet advertising.

Alexey Reznichenko, Saikat Guha, Paul Francis.
CCS 2011.

Policy auditing over incomplete logs: Theory, implementation and applications

Deepak Garg, Limin Jia, Anupam Datta.
CCS 2011.

Accelerating SSL with GPUs.

Keon Jang, Sangjin Han, Seungyeop Han, Sue B. Moon, KyoungSoo Park.
Comput. Commun. Rev. 2011.

Scalable and systematic Internet-wide path and delay estimation from existing measurements.

D. K. Lee, Keon Jang, Changhyun Lee, Gianluca Iannaccone, Sue B. Moon.
Comput. Networks 2011.

The local and global effects of traffic shaping in the internet.

Massimiliano Marcon, Marcel Dischinger, P. Krishna Gummadi, Amin Vahdat.
COMSNETS 2011.

Address-based route reflection.

Ruichuan Chen, Aman Shaikh, Jia Wang, Paul Francis.
CoNEXT 2011.

SMALTA: practical and near-optimal FIB aggregation.

Zartash Afzal Uzmi, Markus E. Nebel, Ahsan Tariq, Sana Jawad, Ruichuan Chen, Aman Shaikh, Jia Wang, Paul Francis.
CoNEXT 2011.

Efficient middleware for byzantine fault tolerant database replication.

Rui Garcia, Rodrigo Rodrigues, Nuno M. Preguiça.
EuroSys 2011.

Finding complex concurrency bugs in large multi-threaded applications.

Pedro Fonseca 0001, Cheng Li 0001, Rodrigo Rodrigues.
EuroSys 2011.

Large-scale Incremental Data Processing with Change Propagation.

Pramod Bhatotia, Alexander Wieder, Istemi Ekin Akkus, Rodrigo Rodrigues, Umut A. Acar.
HotCloud 2011.

Analyzing facebook privacy settings: User expectations vs. reality

Yabing Liu, Krishna P. Gummadi, Balachander Krishnamurthy, Alan Mislove.
IMC 2011.

Sharing social content from home: a measurement-driven feasibility study.

Massimiliano Marcon, Bimal Viswanath, Meeyoung Cha, P. Krishna Gummadi.
NOSSDAV 2011.

Privad: Practical Privacy in Online Advertising.

Saikat Guha, Bin Cheng, Paul Francis.
NSDI 2011.

SSLShader: Cheap SSL Acceleration with Commodity Processors.

Keon Jang, Sangjin Han, Seungyeop Han, Sue B. Moon, KyoungSoo Park.
NSDI 2011.

Incoop: MapReduce for incremental computations.

Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut A. Acar, Rafael Pasquin.
SoCC 2011.

Autonomous Storage Management for Personal Devices with PodBase.

Ansley Post, Juan Navarro, Petr Kuznetsov, Peter Druschel.
USENIX Annual Technical Conference 2011.

Autonomous Storage Management for Personal Devices with PodBase.

Ansley Post, Juan Navarro, Petr Kuznetsov, Peter Druschel.
USENIX ATC 2011.

Doctoral Thesis: Making Broadband Access Networks Transparent to Researchers, Developers, and Users

Marcel Dischinger.
Technical Report MPI–SWS–2010–005 2010.

The Local and Global Effects of Traffic Shaping (Extended Version)

Massimiliano Marcon, Marcel Dischinger, Krishna Gummadi, Amin Vahdat.
Technical Report MPI–SWS–2010–004 2010.

Accountable Virtual Machines

Andreas Haeberlen, Paarijaat Aditya, Rodrigo Rodrigues, Peter Druschel.
Technical Report MPI-SWS-2010-003 2010.

Privacy Analysis of the Privad∗ Privacy-preserving Advertising System

Saikat Guha, Paul Francis.
Technical Report MPI-SWS-2010-002 2010.

Privad: Practical Privacy in Online Advertising

Saikat Guha, Bin Cheng, Alexey Reznichenko, Paul Francis.
Technical Report MPI-SWS-2010-001 2010.

NetEx: efficient and cost-effective internet bulk content delivery.

Massimiliano Marcon, Nuno Santos, P. Krishna Gummadi, Nikolaos Laoutaris, Pablo Rodriguez, Amin Vahdat.
ANCS 2010.

Peer-to-peer systems.

Rodrigo Rodrigues, Peter Druschel.
Commun. ACM 2010.

A study of the internal and external effects of concurrency bugs.

Pedro Fonseca, Cheng Li, Vishal Singhal, Rodrigo Rodrigues.
DSN 2010.

Measurement-based analysis, modeling, and synthesis of the internet delay space.

Bo Zhang, Tze Sing Eugene Ng, Animesh Nandi, Rudolf H. Riedi, Peter Druschel, Guohui Wang.
IEEE/ACM Trans. Netw. 2010.

Challenges in measuring online advertising systems.

Saikat Guha, Bin Cheng, Paul Francis.
IMC 2010.

Path Stitching: Internet-Wide Path and Delay Estimation from Existing Measurements.

D. K. Lee, Keon Jang, Changhyun Lee, Gianluca Iannaccone, Sue B. Moon.
INFOCOM 2010.

Building a single-box 100 Gbps software router.

Sangjin Han, Keon Jang, KyoungSoo Park, Sue B. Moon.
LANMAN 2010.

Glasnost: Enabling End Users to Detect Traffic Differentiation.

Marcel Dischinger, Massimiliano Marcon, Saikat Guha, P. Krishna Gummadi, Ratul Mahajan, Stefan Saroiu.
NSDI 2010.

Accountable Virtual Machines.

Andreas Haeberlen, Paarijaat Aditya, Rodrigo Rodrigues, Peter Druschel.
OSDI 2010.

Brief announcement: modelling MapReduce for optimal execution in the cloud.

Alexander Wieder, Pramod Bhatotia, Ansley Post, Rodrigo Rodrigues.
PODC 2010.

Accelerating SSL with GPUs.

Keon Jang, Sangjin Han, Seungyeop Han, Sue B. Moon, KyoungSoo Park.
SIGCOMM 2010.

An analysis of social network-based Sybil defenses

Bimal Viswanath, Ansley Post, Krishna P. Gummadi, Alan Mislove.
SIGCOMM 2010.

PacketShader: a GPU-accelerated software router.

Sangjin Han, Keon Jang, KyoungSoo Park, Sue B. Moon.
SIGCOMM 2010.

You are who you know: Inferring user profiles in online social networks

Alan Mislove, Bimal Viswanath, Krishna P. Gummadi, Peter Druschel.
WSDM 2010.

The Fault Detection Problem

Andreas Haeberlen, Petr Kuznetsov.
Technical Report MPI-SWS-2009-005 2009.

Privad: Rearchitecting Online Advertising for Privacy

Saikat Guha, Bin Cheng, Alexey Reznichenko, Hamed Haddadi, Paul Francis.
Technical Report MPI-SWS-2009-004 2009.

Understanding the design tradeoffs for cooperative streaming multicast

Animesh Nandi, Bobby Bhattacharjee, Peter Druschel.
Technical Report MPI-SWS-2009-002 2009.

Zeno: Eventually Consistent Byzantine-Fault Tolerance

Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis.
Technical Report MPI-SWS-2009-001 2009.

Dirty-slate approaches to scaling global internet routing.

Paul Francis.
CFI 2009.

Technical perspective - Narrowing the semantic gap in distributed programming.

Peter Druschel.
Commun. ACM 2009.

Verme: Worm containment in overlay networks.

Filipe Freitas, Edgar Marques, Rodrigo Rodrigues, Carlos Ribeiro, Paulo Ferreira, Luís E. T. Rodrigues.
DSN 2009.

Towards Trusted Cloud Computing.

Nuno Santos, Krishna P. Gummadi, Rodrigo Rodrigues.
HotCloud 2009.

Serving Ads from localhost for Performance, Privacy, and Profit.

Saikat Guha, Alexey Reznichenko, Kevin Tang, Hamed Haddadi, Paul Francis.
HotNets 2009.

Not All Adware Is Badware: Towards Privacy-Aware Advertising.

Hamed Haddadi, Saikat Guha, Paul Francis.
I3E 2009.

Full-Information Lookups for Peer-to-Peer Overlays.

Pedro Fonseca 0001, Rodrigo Rodrigues, Anjali Gupta, Barbara Liskov.
IEEE Trans. Parallel Distrib. Syst. 2009.

Fault Management Using the CONMan Abstraction.

Hitesh Ballani, Paul Francis.
INFOCOM 2009.

Preserving digital data in heterogeneous environments.

Gonçalo Antunes, José Barateiro, Manuel Cabral, José Luis Borbinha, Rodrigo Rodrigues.
JCDL 2009.

CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable.

Michael Backes, Peter Druschel, Andreas Haeberlen, Dominique Unruh.
NDSS 2009.

Making Routers Last Longer with ViAggre.

Hitesh Ballani, Paul Francis, Tuan Cao, Jia Wang.
NSDI 2009.

NetReview: Detecting When Interdomain Routing Goes Wrong.

Andreas Haeberlen, Ioannis C. Avramopoulos, Jennifer Rexford, Peter Druschel.
NSDI 2009.

Zeno: Eventually Consistent Byzantine-Fault Tolerance.

Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis.
NSDI 2009.

Barbara Liskov's turing award.

Rodrigo Rodrigues.
SIGACT News 2009.

BFTW : why? when? where? workshop on the theory and practice of byzantine fault tolerance.

Petr Kuznetsov, Rodrigo Rodrigues.
SIGACT News 2009.

CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable

Michael Backes, Peter Druschel, Andreas Haeberlen, Dominique Unruh.
Technical Report MPI-SWS-2008-002 2008.

The Local and Global Effects of Traffic Shaping

Massimiliano Marcon, Marcel Dischinger, Krishna Gummadi, Amin Vahdat.
Technical Report MPI–SWS–2008–001 2008.

Safari: A self-organizing, hierarchical architecture for scalable ad hoc networking.

Shu Du, Ahamed Khan, Santashil PalChaudhuri, Ansley Post, Amit Kumar Saha, Peter Druschel, David B. Johnson, Rudolf H. Riedi.
Ad Hoc Networks 2008.

Pastel: Bridging the Gap between Structured and Large-State Overlays.

Nuno Cruces, Rodrigo Rodrigues, Paulo Ferreira.
CCGRID 2008.

Mitigating DNS DoS attacks.

Hitesh Ballani, Paul Francis.
CCS 2008.

A priority-layered approach to transport for high bandwidth-delay product networks.

Vidhyashankar Venkataraman, Paul Francis, Murali S. Kodialam, T. V. Lakshman.
CoNEXT 2008.

Internet Sibilla: utilizing DNS for delay estimation service.

Keon Jang, D. K. Lee, Sue B. Moon, Gianluca Iannaccone.
CoNEXT 2008.

Digital Preservation of Scientific Data.

José Barateiro, Gonçalo Antunes, Manuel Cabral, José Luis Borbinha, Rodrigo Rodrigues.
ECDL 2008.

Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation.

Nuno M. Preguiça, Rodrigo Rodrigues, Cristóvão Honorato, João Lourenço.
HotDep 2008.

Pretty Good Packet Authentication.

Andreas Haeberlen, Rodrigo Rodrigues, P. Krishna Gummadi, Peter Druschel.
HotDep 2008.

ViAggre: Making Routers Last Longer!

Hitesh Ballani, Paul Francis, Tuan Cao, Jia Wang.
HotNets 2008.

Using a Grid for Digital Preservation.

José Barateiro, Gonçalo Antunes, Manuel Cabral, José Luis Borbinha, Rodrigo Rodrigues.
ICADL 2008.

Detecting bittorrent blocking.

Marcel Dischinger, Alan Mislove, Andreas Haeberlen, Krishna P. Gummadi.
IMC 2008.

On the difficulty of finding the nearest peer in p2p systems.

Vivek Vishnumurthy, Paul Francis.
IMC 2008.

A parameter-free load balancing mechanism for P2P networks.

Tyler Steele, Vivek Vishnumurthy, Paul Francis.
IPTPS 2008.

PodBase: transparent storage management for personal devices.

Ansley Post, Petr Kuznetsov, Peter Druschel.
IPTPS 2008.

BFT Protocols Under Fire.

Atul Singh, Tathagata Das, Petros Maniatis, Peter Druschel, Timothy Roscoe.
NSDI 2008.

Ostra: Leveraging Trust to Thwart Unwanted Communication

Alan Mislove, Ansley Post, Peter Druschel, Krishna P. Gummadi.
NSDI 2008.

Evaluation of VoIP Quality over WiBro.

Mongnam Han, Youngseok Lee, Sue B. Moon, Keon Jang, Dooyoung Lee.
PAM 2008.

Satellitelab: adding heterogeneity to planetary-scale network testbeds.

Marcel Dischinger, Andreas Haeberlen, Ivan Beschastnikh, P. Krishna Gummadi, Stefan Saroiu.
SIGCOMM 2008.

NOYB: privacy in online social networks.

Saikat Guha, Kevin Tang, Paul Francis.
WOSN 2008.

Thoughts on Improving Review Quality.

Paul Francis.
WOWCS 2008.

PeerReview: Practical Accountability for Distributed Systems

Andreas Haeberlen, Petr Kouznetsov, Peter Druschel.
Technical Report MPI-SWS-2007-003 2007.

Conflict-free Quorum-based BFT Protocols

Atul Singh, Petros Maniatis, Peter Druschel, Timothy Roscoe.
Technical Report MPI-SWS-2007-001 2007.

GiGi: An Ocean of Gridlets on a "Grid-for-the-Masses".

Luís Veiga, Rodrigo Rodrigues, Paulo Ferreira.
CCGRID 2007.

Characterizing residential broadband networks.

Marcel Dischinger, Andreas Haeberlen, Krishna P. Gummadi, Stefan Saroiu.
IMC 2007.

Verme: Worm Containment in Peer-to-Peer Overlays.

Filipe Freitas, Rodrigo Rodrigues, Carlos Ribeiro, Paulo Ferreira, Luís E. T. Rodrigues.
IPTPS 2007.

Adaptive Search Radius - Lowering Internet P2P File-Sharing Traffic through Self-Restraint.

Ricardo J. F. Lopes Pereira, Teresa Maria Vazão, Rodrigo Rodrigues.
NCA 2007.

SAAR: A Shared Control Plane for Overlay Multicast.

Animesh Nandi, Aditya Ganjam, Peter Druschel, T. S. Eugene Ng, Ion Stoica, Hui Zhang, Bobby Bhattacharjee.
NSDI 2007.

Identity Trail: Covert Surveillance Using DNS.

Saikat Guha, Paul Francis.
Privacy Enhancing Technologies 2007.

A light-weight distributed scheme for detecting ip prefix hijacks in real-time.

Changxi Zheng, Lusheng Ji, Dan Pei, Jia Wang, Paul Francis.
SIGCOMM 2007.

A study of prefix hijacking and interception in the internet.

Hitesh Ballani, Paul Francis, Xinyang Zhang.
SIGCOMM 2007.

An end-middle-end approach to connection establishment.

Saikat Guha, Paul Francis.
SIGCOMM 2007.

CONMan: a step towards network manageability.

Hitesh Ballani, Paul Francis.
SIGCOMM 2007.

PeerReview: practical accountability for distributed systems.

Andreas Haeberlen, Petr Kouznetsov, Peter Druschel.
SOSP 2007.

A Comparison of Structured and Unstructured P2P Approaches to Heterogeneous Random Peer Selection.

Vivek Vishnumurthy, Paul Francis.
USENIX Annual Technical Conference 2007.

The Case for Byzantine Fault Detection

Andreas Haeberlen, Petr Kouznetsov, Peter Druschel.
Technical Report MPI-SWS-2006-001 2006.

Performance analysis of TLS Web servers.

Cristian Coarfa, Peter Druschel, Dan S. Wallach.
ACM Trans. Comput. Syst. 2006.

Experiences in building and operating ePOST, a reliable peer-to-peer application.

Alan Mislove, Ansley Post, Andreas Haeberlen, Peter Druschel.
EuroSys 2006.

Using queries for distributed monitoring and forensics.

Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel.
EuroSys 2006.

The Case for Byzantine Fault Detection.

Andreas Haeberlen, Petr Kouznetsov, Peter Druschel.
HotDep 2006.

A Simple Approach to DNS DoS Defense.

Hitesh Ballani, Paul Francis.
HotNets 2006.

Exploiting Social Networks for Internet Search.

Alan Mislove, Krishna P. Gummadi, Peter Druschel.
HotNets 2006.

Tolerating Byzantine Faulty Clients in a Quorum System.

Barbara Liskov, Rodrigo Rodrigues.
ICDCS 2006.

Chunkyspread: Heterogeneous Unstructured Tree-Based Peer-to-Peer Multicast.

Vidhyashankar Venkataraman, Kaouru Yoshida, Paul Francis.
ICNP 2006.

Scaling IP Routing with the Core Router-Integrated Overlay.

Xinyang Zhang, Paul Francis, Jia Wang, Kaoru Yoshida.
ICNP 2006.

A measurement-based deployment proposal for IP anycast.

Hitesh Ballani, Paul Francis, Sylvia Ratnasamy.
IMC 2006.

Measurement based analysis, modeling, and synthesis of the internet delay space.

Bo Zhang, T. S. Eugene Ng, Animesh Nandi, Rudolf H. Riedi, Peter Druschel, Guohui Wang.
IMC 2006.

Monarch: a tool to emulate transport protocol flowsover the internet at large.

Andreas Haeberlen, Marcel Dischinger, Krishna P. Gummadi, Stefan Saroiu.
IMC 2006.

Eclipse Attacks on Overlay Networks: Threats and Defenses.

Atul Singh, Tsuen-Wan Ngan, Peter Druschel, Dan S. Wallach.
INFOCOM 2006.

On Heterogeneous Overlay Construction and Random Node Selection in Unstructured P2P Networks.

Vivek Vishnumurthy, Paul Francis.
INFOCOM 2006.

CONMan: taking the complexity out of network management.

Hitesh Ballani, Paul Francis.
INM@SIGCOMM 2006.

Chunkyspread: Multi-tree Unstructured Peer-to-Peer Multicast.

Vidhyashankar Venkataraman, Paul Francis.
IPTPS 2006.

Fallacies in Evaluating Decentralized Systems.

Andreas Haeberlen, Alan Mislove, Ansley Post, Peter Druschel.
IPTPS 2006.

HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance.

James A. Cowling, Daniel S. Myers, Barbara Liskov, Rodrigo Rodrigues, Liuba Shrira.
OSDI 2006.

Byzantine Clients Rendered Harmless.

Barbara Liskov, Rodrigo Rodrigues.
DISC 2005.

Characterization and Measurement of TCP Traversal Through NATs and Firewalls.

Saikat Guha, Paul Francis.
IMC 2005.

FeedTree: Sharing Web Micronews with Peer-to-Peer Event Notification.

Daniel Sandler, Alan Mislove, Ansley Post, Peter Druschel.
IPTPS 2005.

High Availability in DHTs: Erasure Coding vs. Replication.

Rodrigo Rodrigues, Barbara Liskov.
IPTPS 2005.

Scrivener: Providing Incentives in Cooperative Content Distribution Systems.

Animesh Nandi, Tsuen-Wan Ngan, Atul Singh, Peter Druschel, Dan S. Wallach.
Middleware 2005.

Glacier: Highly Durable, Decentralized Storage Despite Massive Correlated Failures.

Andreas Haeberlen, Alan Mislove, Peter Druschel.
NSDI 2005.

ePOST.

Alan Mislove, Andreas Haeberlen, Ansley Post, Peter Druschel.
Peer-to-Peer Systems and Applications 2005.

Towards a global IP anycast service.

Hitesh Ballani, Paul Francis.
SIGCOMM 2005.

AP3: cooperative, decentralized anonymous communication.

Alan Mislove, Gaurav Oberoi, Ansley Post, Charles Reis, Peter Druschel, Dan S. Wallach.
ACM SIGOPS European Workshop 2004.

Defending against eclipse attacks on overlay networks.

Atul Singh, Miguel Castro, Peter Druschel, Antony I. T. Rowstron.
ACM SIGOPS European Workshop 2004.

Transactional file systems can be fast.

Barbara Liskov, Rodrigo Rodrigues.
ACM SIGOPS European Workshop 2004.

NUTSS: a SIP-based approach to UDP and TCP network connectivity.

Saikat Guha, Yutaka Takeda, Paul Francis.
FDNA@SIGCOMM 2004.

Canon in G Major: Designing DHTs with Hierarchical Structure.

Prasanna Ganesan, P. Krishna Gummadi, Hector Garcia-Molina.
ICDCS 2004.

MPAT: Aggregate TCP Congestion Management as a Building Block for Internet QoS.

Manpreet Singh II, Prashant Pradhan, Paul Francis.
ICNP 2004.

Providing Administrative Control and Autonomy in Structured Peer-to-Peer Overlays.

Alan Mislove, Peter Druschel.
IPTPS 2004.

When Multi-hop Peer-to-Peer Lookup Matters.

Rodrigo Rodrigues, Charles Blake.
IPTPS 2004.

Efficient Routing for Peer-to-Peer Overlays.

Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues.
NSDI 2004.

Improving the Reliability of Internet Paths with One-hop Source Routing.

P. Krishna Gummadi, Harsha V. Madhyastha, Steven D. Gribble, Henry M. Levy, David Wetherall.
OSDI 2004.

Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory.

Rodrigo Rodrigues, Barbara Liskov.
PODC 2004.

Towards a Deployable IP Anycast Service.

Hitesh Ballani, Paul Francis.
WORLDS 2004.

BASE: Using abstraction to improve fault tolerance.

Miguel Castro, Rodrigo Rodrigues, Barbara Liskov.
ACM Trans. Comput. Syst. 2003.

Optimizing Routing in Structured Peer-to-Peer Overlay Networks Using Routing Table Redundancy.

Rongmei Zhang, Y. Charlie Hu, Peter Druschel.
FTDCS 2003.

Topology-Aware Routing in Structured Peer-to-Peer Overlay Networks.

Miguel Castro, Peter Druschel, Y. Charlie Hu, Antony I. T. Rowstron.
Future Directions in Distributed Computing 2003.

High Availability, Scalable Storage, Dynamic Peer Networks: Pick Two.

Charles Blake, Rodrigo Rodrigues.
HotOS 2003.

One Hop Lookups for Peer-to-Peer Overlays.

Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues.
HotOS 2003.

POST: A Secure, Resilient, Cooperative Messaging System.

Alan Mislove, Ansley Post, Charles Reis, Paul Willmann, Peter Druschel, Dan S. Wallach, Xavier Bonnaire, Pierre Sens, Jean-Michel Busca, Luciana Bezerra Arantes.
HotOS 2003.

Is the Internet Going NUTSS?

Paul Francis.
IEEE Internet Comput. 2003.

An efficient primary-segmented backup scheme for dependable real-time communication in multihop networks.

P. Krishna Gummadi, Jnana Pradeep Madhavarapu, C. Siva Ram Murthy.
IEEE/ACM Trans. Netw. 2003.

Enforcing Fair Sharing of Peer-to-Peer Resources.

Tsuen-Wan Ngan, Dan S. Wallach, Peter Druschel.
IPTPS 2003.

SplitStream: High-Bandwidth Content Distribution in Cooperative Environments.

Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony I. T. Rowstron, Atul Singh.
IPTPS 2003.

Towards a Common API for Structured Peer-to-Peer Overlays.

Frank Dabek, Ben Y. Zhao, Peter Druschel, John Kubiatowicz, Ion Stoica.
IPTPS 2003.

Scalable Application-Level Anycast for Highly Dynamic Groups.

Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron.
Networked Group Communication 2003.

The impact of DHT routing geometry on resilience and proximity.

P. Krishna Gummadi, Ramakrishna Gummadi, Steven D. Gribble, Sylvia Ratnasamy, Scott Shenker, Ion Stoica.
SIGCOMM 2003.

Measurement, modeling, and analysis of a peer-to-peer file-sharing workload.

P. Krishna Gummadi, Richard J. Dunn, Stefan Saroiu, Steven D. Gribble, Henry M. Levy, John Zahorjan.
SOSP 2003.

SplitStream: high-bandwidth multicast in cooperative environments.

Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony I. T. Rowstron, Atul Singh.
SOSP 2003.

One ring to rule them all: service discovery and binding in structured peer-to-peer overlay networks.

Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron.
ACM SIGOPS European Workshop 2002.

The design of a robust peer-to-peer system.

Rodrigo Rodrigues, Barbara Liskov, Liuba Shrira.
ACM SIGOPS European Workshop 2002.

King: estimating latency between arbitrary internet end hosts.

P. Krishna Gummadi, Stefan Saroiu, Steven D. Gribble.
Comput. Commun. Rev. 2002.

Scribe: a large-scale and decentralized application-level multicast infrastructure.

Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron.
IEEE J. Sel. Areas Commun. 2002.

Design and Scalability of NLS, a Scalable Naming and Location Service.

Y. Charlie Hu, Daniel Rodney, Peter Druschel.
INFOCOM 2002.

Exploring the Design Space of Distributed and Peer-to-Peer Systems: Comparing the Web, TRIAD, and Chord/CFS.

Stefan Saroiu, P. Krishna Gummadi, Steven D. Gribble.
IPTPS 2002.

Performance Analysis of TLS Web Servers.

Cristian Coarfa, Peter Druschel, Dan S. Wallach.
NDSS 2002.

An Analysis of Internet Content Delivery Systems.

Stefan Saroiu, P. Krishna Gummadi, Richard J. Dunn, Steven D. Gribble, Henry M. Levy.
OSDI 2002.

Practical, Transparent Operating System Support for Superpages.

Juan Navarro, Sitaram Iyer, Peter Druschel, Alan L. Cox.
OSDI 2002.

Secure Routing for Structured Peer-to-Peer Overlay Networks.

Miguel Castro, Peter Druschel, Ayalvadi J. Ganesh, Antony I. T. Rowstron, Dan S. Wallach.
OSDI 2002.

Squirrel: a decentralized peer-to-peer web cache.

Sitaram Iyer, Antony I. T. Rowstron, Peter Druschel.
PODC 2002.

Topic 09: Distributed Systems and Algorithms.

Bertil Folliot, Giovanni Chiola, Peter Druschel, Anne-Marie Kermarrec.
Euro-Par 2001.

PAST: A large-scale, persistent peer-to-peer storage utility.

Peter Druschel, Antony I. T. Rowstron.
HotOS 2001.

Using Abstraction To Improve Fault Tolerance.

Miguel Castro, Rodrigo Rodrigues, Barbara Liskov.
HotOS 2001.

IDMaps: a global internet host distance estimation service.

Paul Francis, Sugih Jamin, Cheng Jin, Yixin Jin, Danny Raz, Yuval Shavitt, Lixia Zhang.
IEEE/ACM Trans. Netw. 2001.

Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems.

Antony I. T. Rowstron, Peter Druschel.
Middleware 2001.

SCRIBE: The Design of a Large-Scale Event Notification Infrastructure.

Antony I. T. Rowstron, Anne-Marie Kermarrec, Miguel Castro, Peter Druschel.
Networked Group Communication 2001.

The IceCube approach to the reconciliation of divergent replicas.

Anne-Marie Kermarrec, Antony I. T. Rowstron, Marc Shapiro, Peter Druschel.
PODC 2001.

A scalable content-addressable network.

Sylvia Ratnasamy, Paul Francis, Mark Handley, Richard M. Karp, Scott Shenker.
SIGCOMM 2001.

IPNL: A NAT-extended internet architecture.

Paul Francis, Ramakrishna Gummadi.
SIGCOMM 2001.

Anticipatory scheduling: A disk scheduling framework to overcome deceptive idleness in synchronous I/O.

Sitaram Iyer, Peter Druschel.
SOSP 2001.

BASE: Using Abstraction to Improve Fault Tolerance.

Rodrigo Rodrigues, Miguel Castro, Barbara Liskov.
SOSP 2001.

Storage Management and Caching in PAST, A Large-scale, Persistent Peer-to-peer Storage Utility.

Antony I. T. Rowstron, Peter Druschel.
SOSP 2001.

IO-Lite: a unified I/O buffering and caching system.

Vivek S. Pai, Peter Druschel, Willy Zwaenepoel.
ACM Trans. Comput. Syst. 2000.

Soft timers: efficient microsecond software timer support for network processing.

Mohit Aron, Peter Druschel.
ACM Trans. Comput. Syst. 2000.

A Segmented Backup Scheme for Dependable Real Time Communication in Multihop Networks.

P. Krishna Gummadi, Jnana Pradeep Madhavarapu, C. Siva Ram Murthy.
IPDPS Workshops 2000.

Some thoughts on the role of IP multicast in an application multicast world (invited talk).

Paul Francis.
Networked Group Communication 2000.

Cluster reserves: a mechanism for resource management in cluster-based network servers.

Mohit Aron, Peter Druschel, Willy Zwaenepoel.
SIGMETRICS 2000.

Scalable Content-aware Request Distribution in Cluster-based Network Servers.

Mohit Aron, Darren Sanders, Peter Druschel, Willy Zwaenepoel.
USENIX Annual Technical Conference, General Track 2000.

Scalable Content-aware Request Distribution in Cluster-based Network Servers.

Mohit Aron, Darren Sanders, Peter Druschel, Willy Zwaenepoel.
USENIX ATC, General Track 2000.

A New Approach to Routing with Dynamic Metrics.

Johnny Chen, Peter Druschel, Devika Subramanian.
INFOCOM 1999.

An Architecture for a Global Internet Host Distance Estimation Service.

Paul Francis, Sugih Jamin, Vern Paxson, Lixia Zhang, Daniel F. Gryniewicz, Yixin Jin.
INFOCOM 1999.

IO-Lite: A Unified I/O Buffering and Caching System.

Vivek S. Pai, Peter Druschel, Willy Zwaenepoel.
OSDI 1999.

Resource Containers: A New Facility for Resource Management in Server Systems.

Gaurav Banga, Peter Druschel, Jeffrey C. Mogul.
OSDI 1999.

Soft timers: efficient microsecond software timer support for network processing.

Mohit Aron, Peter Druschel.
SOSP 1999.

A Scalable and Explicit Event Delivery Mechanism for UNIX.

Gaurav Banga, Jeffrey C. Mogul, Peter Druschel.
USENIX Annual Technical Conference, General Track 1999.

Efficient Support for P-HTTP in Cluster-Based Web Servers.

Mohit Aron, Peter Druschel, Willy Zwaenepoel.
USENIX Annual Technical Conference, General Track 1999.

Flash: An efficient and portable Web server.

Vivek S. Pai, Peter Druschel, Willy Zwaenepoel.
USENIX Annual Technical Conference, General Track 1999.

A Scalable and Explicit Event Delivery Mechanism for UNIX.

Gaurav Banga, Jeffrey C. Mogul, Peter Druschel.
USENIX ATC, General Track 1999.

Efficient Support for P-HTTP in Cluster-Based Web Servers.

Mohit Aron, Peter Druschel, Willy Zwaenepoel.
USENIX ATC, General Track 1999.

Flash: An efficient and portable Web server.

Vivek S. Pai, Peter Druschel, Willy Zwaenepoel.
USENIX ATC, General Track 1999.

Measuring the Capacity of a Web Server Under Realistic Loads.

Gaurav Banga, Peter Druschel.
World Wide Web 1999.

Locality-Aware Request Distribution in Cluster-based Network Servers.

Vivek S. Pai, Mohit Aron, Gaurav Banga, Michael Svendsen, Peter Druschel, Willy Zwaenepoel, Erich M. Nahum.
ASPLOS 1998.

An Efficient Multipath Forwarding Method.

Johnny Chen, Peter Druschel, Devika Subramanian.
INFOCOM 1998.

Better operating system features for faster network servers.

Gaurav Banga, Peter Druschel, Jeffrey C. Mogul.
SIGMETRICS Perform. Evaluation Rev. 1998.

Ants and Reinforcement Learning: A Case Study in Routing in Dynamic Networks.

Devika Subramanian, Peter Druschel, Johnny Chen.
IJCAI 1997.

Design of a database and cache management strategy for a global information infrastructure.

Paul Francis, Shin-Ya Sato.
ISADS 1997.

Measuring the Capacity of a Web Server.

Gaurav Banga, Peter Druschel.
USENIX Symposium on Internet Technologies and Systems 1997.

Extensible Systems are Leading OS Research Astray.

Peter Druschel, Vivek S. Pai, Willy Zwaenepoel.
Workshop on Hot Topics in Operating Systems 1997.

Operating System Support for High-Speed Communication: Techniques to Eliminate Processing Bottlenecks in High-Speed Networking are Present.

Peter Druschel.
Commun. ACM 1996.

A Global, Self-configuring Information Discovery Infrastructure.

Paul Francis.
Networked Information Retrieval 1996.

Lazy Receiver Processing (LRP): A Network Subsystem Architecture for Server Systems.

Peter Druschel, Gaurav Banga.
OSDI 1996.

Implementing Atomic Sequences on Uniprocessors Using Rollforward.

David Mosberger, Peter Druschel, Larry L. Peterson.
Softw. Pract. Exp. 1996.

Ingrid: A Self-Configuring Information Navigation Infrastructure.

Paul Francis, Takashi Kambayashi, Shin-Ya Sato, Susumu Shimizu.
WWW (Fall) 1995.

Addressing in internetwork protocols.

Paul Francis.
Addressing in internetwork protocols. 1994.

Comparison of Geographical and Provider-Rooted Internet Addressing.

Paul Francis.
Comput. Networks ISDN Syst. 1994.

Experiences with a High-Speed Network Adaptor: A Software Perspective.

Peter Druschel, Larry L. Peterson, Bruce S. Davie.
SIGCOMM 1994.

Flexible Routing and Addressing for a Next Generation IP.

Paul Francis, Ramesh Govindan.
SIGCOMM 1994.

A near-term architecture for deploying Pip.

Paul Francis.
IEEE Netw. 1993.

Network subsystem design.

Peter Druschel, Mark B. Abbott, Michael A. Pagels, Larry L. Peterson.
IEEE Netw. 1993.

Fast Routing Table Lookup Using CAMs.

Anthony J. McAuley, Paul Francis.
INFOCOM 1993.

Core Based Trees (CBT).

Tony Ballardie, Paul Francis, Jon Crowcroft.
SIGCOMM 1993.

Fbufs: A High-Bandwidth Cross-Domain Transfer Facility.

Peter Druschel, Larry L. Peterson.
SOSP 1993.

Modularity and Protection are Orthogonal, or "Why µ-kernel Architectures are Flawed" (Abstract).

Peter Druschel.
ACM SIGOPS Oper. Syst. Rev. 1992.

Beyond Micro-Kernel Design: Decoupling Modularlty and Protection in Lipto.

Peter Druschel, Larry L. Peterson, Norman C. Hutchinson.
ICDCS 1992.

Analysis of I/O Subsystem Design for Multimedia Workstations.

Peter Druschel, Mark B. Abbott, Michael A. Pagels, Larry L. Peterson.
NOSSDAV 1992.

Cookie	Duration	Description
cookielawinfo-checkbox-analytics	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional	11 months	The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
viewed_cookie_policy	11 months	The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.

Need help?