Experience

Sep 2020 – Present
ML Engineer @ Amazon

Sep 2018 – Aug 2020
Data Engineer @ Teradata

Jul 2016 – Jun 2018
Postdoctoral Researcher @ HASLab (INESC TEC & University of Minho)

Summer 2015
Visiting Research Scholar @ Carnegie Mellon University

Summer 2014
Intern @ Microsoft Research Redmond

Selected Publications

. Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs. in DSN, 2021.

PDF

. Testing for Race Conditions in Distributed Systems via SMT Solving. in TAP, 2020.

PDF

. Exploiting Symbolic Execution to Accelerate Deterministic Databases. in ICDCS, 2020.

PDF

. Minha: Large-Scale Distributed Systems Testing Made Practical. in OPODIS, 2019.

PDF

. d'Artagnan: a Trusted NoSQL Database on Untrusted Clouds. in SRDS, 2019.

PDF

. Concurrency Debugging with MaxSMT. in AAAI, 2019.

PDF

. CoopREP: Cooperative Record and Replay of Concurrency Bugs. in Journal of Software Testing, Verification and Reliability, 2018.

PDF

. Production-guided Concurrency Debugging. in PPoPP, 2016.

PDF Project

. Concurrency Debugging with Differential Schedule Projections. in ACM TOSEM Vol. 25, No. 2, Article 14, 2016.

PDF Project

. Concurrency Debugging with Differential Schedule Projections. in PLDI, 2015.

PDF Project

Projects

Tool to capture and analyze causally-related events in distributed systems (Horus is the successor of Falcon)

Tool to capture log messages in distributed systems and order them with causal consistency

Deep Q-Learning agent for playing Tic-Tac-Toe

Tool to discover latent concurrency bugs in Java multithreaded applications

Tool to isolate concurrency bugs in Java and C/C++ multithreaded applications