Adriana's Homepage

I'm a 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 distributed systems (i.e., secure, robust and functionally correct).

Publications

Meerkat: Multicore-Scalable Replicated Transactions Following the Zero-Coordination Principle
Adriana Szekeres, Michael Whittaker, Jialin Li, Naveen Kr. Sharma, Arvind Krishnamurthy, Dan R. K. Ports, Irene Zhang
EuroSys, 2020 [paper]

Making Consistency More Consistent: A Unified Model for Coherence, Consistency and Isolation
Adriana Szekeres, Irene Zhang
PaPoC, 2018 [paper]

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 2020