Adriana Szekeres

Adriana Szekeres

Ph.D student @ Systems Lab, CSE, UW

E-mail: aaasz [at]
CSE 591, Paul G. Allen Center

I'm a fifth year Ph.D. student in Computer Science at University of Washington, working with Prof. Henry M. Levy, Prof. Arvind Krishnamurthy, Prof. Dan R. K. Ports and many others. I am interested in building dependable systems (i.e., secure, robust and functionally correct).

Current Projects

  • Agate is a new trusted distributed runtime system that gives users control over how mobile/cloud applications share sensitive user data collected on mobile devices (e.g., photos, GPS location). Agate combines aspects of access control and information flow control to allow applications to share user data in application-specific ways, while enforcing user policies without trusting the application or the application programmer.


Recovering Shared Objects Without Stable Storage
Adriana Szekeres, Ellis Michael, Naveen Kr. Sharma, Dan R. K. Ports
DISC, 2017 [paper]
Geo-Distribution of Actor-Based Services
Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
OOPSLA, 2017 [paper]
Just say NO to Paxos Overhead: Replacing Consensus with Network Ordering
Jialin Li, Ellis Michael, Naveen Kr. Sharma, Adriana Szekeres, Dan R. K. Ports
OSDI, 2016 [paper]
When Is Operation Ordering Required in Replicated Transactional Storage?
Irene Zhang, Naveen Kr. Sharma, Adriana Szekeres, Arvind Krishnamurthy, Dan R. K. Ports
IEEE Data Engineering Bulletin, March 2016 [paper]
Building Consistent Transactions with Inconsistent Replication
Irene Zhang, Naveen Kr. Sharma, Adriana Szekeres, Arvind Krishnamurthy, Dan R. K. Ports
SOSP, 2015 [paper]
Customizable and Extensible Deployment for Mobile/Cloud Applications
Irene Zhang, Adriana Szekeres, Dana Van Aken, Isaac Ackerman, Steven D. Gribble, Arvind Krishnamurthy, Henry M. Levy
OSDI, 2014 [paper]

Teaching Experience

  • CSEP 552: Distributed Systems, Winter 2016.
  • CSE 551: Operating Systems, Spring 2015.

Last update: July 2016