Ongoing Research at the UFPE Program Analysis Group

Speaker: Marcelo d'Amorim , Federal University of Pernambuco (UFPE), Brazil

Date: Friday, February 10, 2017

Time: 11:00 AM to 12:00 PM Note: all times are in the Eastern Time Zone

Public: Yes

Location: 32-D463

Event Type:

Room Description:

Host: Martin Rinard, MIT - CSAIL

Contact: Mary McDavitt, 617-253-9620, mmcdavit@csail.mit.edu

Relevant URL:

Speaker URL: None

Speaker Photo:
None

Reminders to: seminars@csail.mit.edu

Reminder Subject: TALK: Ongoing Research at the UFPE Program Analysis Group

Title: Ongoing Research at the Program Analysis Group

I will present in this talk ongoing projects at the program analysis group. All projects are related to software testing but address different problems. The primary goal of the talk is to give a broad perspective of the interests of our group to the audience.

I will talk about qCORAL, a constraint solver to support Probabilistic Symbolic Execution (PSE), a technique to analyze safety-critical software (e.g., aerospace software). qCORAL enables PSE to estimate what is the probability of an assertion being violated. Conceptually, qCORAL does that by "counting" how much of the input space satisfies an assertion.

I will then talk about testing of configurable systems, which are systems that can be configured with input options. These systems are very common and finding bugs on them is hard given the large space of input configurations where bugs can hide. We developed a system, named SPLat, to explore dynamically reachable configurations from an input test. Results show that SPLat and its variants, which focus on specialized problems in this domain, are promising.

Finally, I will present ongoing work in finding plugin conflicts in systems like WordPress (a website and blog management tool) and our work on Human-assisted Fault Localization.

Bio:
Marcelo d'Amorim is an Assistant Professor at the Federal University of Pernambuco (UFPE), Brazil. The overarching goal of his research is to improve software quality through program analysis and testing. His team has developed systems that find bugs, prevent them from happening, and diagnose errors. His research is funded by Microsoft, FACEPE, and CNPq. Marcelo holds a BS and MS degrees in Computer Science from UFPE and a PhD from the University of Illinois at Urbana-Champaign.

Research Areas:

Impact Areas:

This event is not part of a series.

Created by Mary McDavitt at Wednesday, February 08, 2017 at 3:47 PM.