News

Aug 2020
I am excited to be joining the program committee for PLDI 2021!
Aug 2020
Necip Yildiran joined as a graduate research assistant.
July 2020
My paper "Inferring and Securing Software Configurations Using Automated Reasoning" was accepted into the ESEC/FSE 2020 Visions & Reflections track!
June 2020
Jeho Oh joined as a visiting graduate research assistant.
May 2020
Kmax Tool Suite Version 2.0 has been released.
Mar 2020
I gave a talk at LibrePlanet 2020.
Jan 2020
Congratulations to Julian Braha on his acceptance to a DAAD RISE research internship.
Jan 2020
My NSF CAREER award is now official!
Jan 2020
Alexandra Arriola and Reeder Ward have joined as undergraduate research assistants.
Jan 2020
Went on a podcast to discuss privacy considerations for consumer smart devices.
Dec 2019
Went on local news to discuss tips for consumer cybersecurity.
Oct 2019
Julian Braha, Kai Garcia, Jacob Thomas, and Connor Westcott ran our Stem Day event "What Is Inside My Computer?".
Oct 2019
Genoveva Fossas has joined as an undergraduate research assistant.
Aug 2019
I gave a talk, "Good Engineering Makes for Good Science", at The Third ROSE Festival at ESEC/FSE 2019
Aug 2019
Sayma Sultana has joined as a graduate research assistant.
Aug 2019
Our paper, "Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects", has been accepted to APLAS 2019!
Aug 2019
A pre-release of the latest version of Kmax with many new improvements to performance, functionality, documentation, and testing.
July 2019
Kaarthik Alagappan and Julian Braha will be working with me as undergraduate research assistants.
July 2019
Preprint of "An Empirical Study of Real-World Variability Bugs Detected by Variability-Oblivious Tools" now available.
June 2019
Our challenge solution paper "t-wise Coverage by Uniform Sampling" was accepted to the SPLC Challenge Track.
June 2019
I hosted Computer Science sessions at UCF's Camp Connect.
June 2019
Slides from my talk "Conditional Compilation is Dead, Long Live Conditional Compilation!" at ICSE 2019 now available.
June 2019
Our journal article "Adding Concurrency to Smart Contracts" was accepted to the journal Distributed Computing.
May 2019
Our paper, "An Empirical Study of Real-World Variability Bugs Detected by Variability-Oblivious Tools", has been accepted to ESEC/FSE!
May 2019
I gave a guest talk at SNAPL, "Can We Replace the Preprocessor by Extending C?‚Äč".
May 2019
I gave an invited talk, "Security Considerations for Highly-Configurable Software", at the 1st International Conference on Smart Tourism, Smart Cities and Enabling Technologies.
April 2019
Josh Santana and Pradheep Kethi-Reddy will be working with me over the summer thanks to generous funding from the NSF's Research Experience for Undergraduates.
Jan 2019
Jin Koay has joined as an undergraduate research assistant.
Dec 2018
Our paper "Conditional Compilation is Dead, Long Live Conditional Compilation!" has been accepted to ICSE NIER!
Sep 2018
I gave a talk on our SPLC Challenge Track paper "Localizing Configurations in Highly-Configurable Systems".
Aug 2018
Joined University of Central Florida as an assistant professor.
May 2018
I was awarded a collaborative grant from the NSF on analyzing configurable systems.
Apr 2018
I am excited to be joining UCF as an assistant professor this August!
Mar 2018
We contributed "How to add concurrency to smart contracts" to the new Distributed Computing column of the Bulletin of the EATCS.
Feb 2018
I'm excited to be on the program committee for the SPLC Challenge Track. Try solving one of the challenges!
Jan 2018
Our paper "On-the-Chain Proofs for 'Off-the-Chain' Safety" was accepted at WTSC 2018!
Jan 2018
Our SPLC challenge case, "Localizing Configurations in Highly-Configurable Systems", has been accepted!
Sep 2017
Our smart contract concurrency paper was featured on the morning blog.
Aug 2017
Slides from my talk on "Adding Concurrency to Smart Contracts" at PODC 2017 now available.
Jul 2017
Slides from my ESEC FSE 2017 talk on Kmax now available.
Jul 2017
Preprint of ESEC/FSE 2017 paper on Kmax now up.
Jul 2017
I gave a talk at PODC 2017 on "Adding Concurrency to Smart Contracts".
Jun 2017
Video and slides of my PLDI 2017 talk on our timing channel static analysis work now available.
Jun 2017
My paper on Makefile analysis will appear at ESEC/FSE 2017.
Jun 2017
I gave a talk at PLDI 2017 on our timing channel static analysis paper.
Jun 2017
Gave a talk at NEPLS on our upcoming PLDI 2017 paper paper
May 2017
Our paper "Adding Concurrency to Smart Contracts" will appear at PODC 2017.
Mar 2017
Gave a talk at FOSD 2017 on "Enabling Variability-Aware Software Tools"