Experience

Sep 2018 – Present
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

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

. 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

Falcon

Tool to capture and analyze causally-related events in distributed systems

Nando

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

Cortex

Tool to discover latent concurrency bugs in Java multithreaded applications

Symbiosis

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