I am currently an Assistant Professor with the CS department at University of Illinois Chicago (UIC), since August of 2019.
Previously, I was a post-doc at George Mason University’s Department of
Computer Science, from 2017 to 2019. I was part of the
Software Reliability Group (SRG) at Imperial
College London, from 2015 to 2017, part of the Programming Languages Group
(PLUM) at University of Maryland from 2012
to 2015, and part of the Software Engineering Group
(ESW) at INESC-ID in Lisbon from
2009 to 2012.
I hold a PhD on Information Systems and Computer
Engineering from
Instituto Superior Técnico, University of Lisbon,
Portugal. I developed
my dissertation
under the supervision of Prof. Luís Veiga
and Prof. Michael Hicks,
focusing on making Dynamic Software Updates (DSU) practical.
E-mail: |
[ point here]
|
Address: |
Department of Computer Science
University of Illinois at Chicago
851 S. Morgan Street
Chicago, IL 60607-7053, USA
|
Office: |
Science and Engineering Offices, Room 1340 |
Research
I work in the broad areas of software systems, programming languages, and software engineering.
My research interests include: Fuzz testing and property testing, Dynamic Software Updating, Concurrent Programming (Multiprocessor Programming, Lock-free/Wait-free Algorithms and Data Structures), High Level Language Virtual Machines.
My full publication list is available here.
Projects
Past
Current students
Past students
- (MS with thesis)
David Woloch.
Started on Fall 2021, ended on Fall 2021;
worked on
Multi-Version eXecution for Managed Languages.
Now at JP Morgan Chase.
- (MS)
Ankith Kowshik.
Started on Summer 2022, ended on Fall 2023;
worked on
Multi-Version eXecution for Managed Languages.
Now at Cisco.
- (MS)
Jason Pereira.
Started on Fall 2022, ended on Spring 2023;
worked on
Multi-Version eXecution for Managed Languages.
- (MS)
Meer Shah.
Started on Fall 2022, ended on Spring 2023;
worked on
Multi-Version eXecution for Managed Languages.
Now at Actico.
- (MS)
Ugnius Rumsevicius.
Started on Fall 2021, ended on Summer 2023;
worked on
Multi-Version eXecution for Managed Languages.
Now at EDX Markets.
- (MS)
Maazur Rahman.
Started on Fall 2022, ended on Fall 2023;
worked on
Multi-Version eXecution for Managed Languages.
- (MS)
Alekh Mekka.
Started on Fall 2021, ended on Summer 2023;
worked on
Principles of Fuzz and Property Testing.
- (MS)
Fahad Ahmad.
Started on Spring 2022, ended on Fall 2022;
worked on
Multi-Version eXecution for Managed Languages.
Now at FastModel Sports.
- (MS)
Linfeng Li.
Started on Fall 2021, ended on Fall 2021;
worked on
Multi-Version eXecution for Managed Languages.
Now at Google.
- (MS)
Ellen Kidane.
Started on Fall 2021, ended on Spring 2022;
worked on
Multi-Version eXecution for Managed Languages.
Now at UIC CS department.
- (MS)
Siddhanth Venkateshwaran.
Started on Spring 2021, ended on Fall 2021;
worked on
Multi-Version eXecution for Managed Languages.
Now at Salesforce.
- (BS)
Zara Farin.
Started on Spring 2022, ended on Fall 2023;
worked on
Principles of Fuzz and Property Testing.
Now at Microsoft.
- (BS)
Spanya Shamasa.
Started on Spring 2021, ended on Spring 2021;
worked on
Multi-Version eXecution for Managed Languages.
Now at Groupon.
- (BS)
Vittoria Laudando.
Started on Spring 2021, ended on Spring 2021;
worked on
Multi-Version eXecution for Managed Languages.
Now at Mediaocean.
- (BS)
Will Cygan.
Started on Fall 2020, ended on Fall 2021;
worked on
Principles of Fuzz and Property Testing.
Now at LinkedIn.
Funding
My research is generously supported by the following grants:
Teaching
Current: CS454 - Principles of Concurrent Programming