SCS Lecture - Making Software More Reliable by Uncovering Hidden Dependencies - Jonathan Bell, Columbia University

Event Details
  • Date/Time:
    • Tuesday February 9, 2016
      10:00 am - 11:00 am
  • Location: Klaus 1116E&W
  • Phone:
  • URL:
  • Email:
  • Fee(s):
    0.00
  • Extras:
Contact

Francella M. Tonge

ftonge3@cc.gatech.edu

Summaries

Summary Sentence: SCS Lecture - Making Software More Reliable by Uncovering Hidden Dependencies - Jonathan Bell, Columbia University

Full Summary: No summary paragraph submitted.

Abstract:

 

As software grows in size and complexity, it also becomes more interdependent. Multiple internal components often share state and data. Whether these dependencies are intentional or not, I have found that their mismanagement often poses several challenges to testing. My research seeks to make it easier to create reliable software by making testing more efficient and more effective through explicit knowledge of these hidden dependencies.

 

The first problem I address, reducing testing time, directly impacts the day-to-day work of every software developer, who are likely running tests daily if not more frequently on their code. Typical techniques for accelerating tests (like running only a subset of them, or running them in parallel) often can’t be applied soundly, since there may be hidden dependencies between tests. I have built several systems, VMVM and ElectricTest, that detect different sorts of dependencies between tests and use that information to soundly reduce testing time by several orders of magnitude. To enable more broad use of general dependency information for testing and other analyses, I created Phosphor, the first and only portable and performant dynamic taint tracking system for the JVM. Towards making testing more effective, I created Pebbles, which makes it easy for developers to specify data-related test oracles by thinking in terms of high level objects.

 

Bio:

 

Jon is a final-year PhD candidate at Columbia University studying Software Engineering and Systems with Prof Gail Kaiser. His research interests mostly fall under the umbrella of Software Testing and Program Analysis. Jon's recent research in accelerating software testing has been recognized with an ACM SIGSOFT Distinguished Paper Award (ICSE '14), and has been the basis for an industrial collaboration with the bay-area software build acceleration company Electric Cloud. Jon actively participates in the artifact evaluation program committees of ISSTA and OOPSLA, and has served several years as the Student Volunteer chair for OOPSLA.

 

Additional Information

In Campus Calendar
No
Groups

College of Computing, School of Computer Science

Invited Audience
Undergraduate students, Faculty/Staff, Graduate students
Categories
Seminar/Lecture/Colloquium
Keywords
College of Computing, Georgia Tech, Jonathan Bell, School of Computer Science, SCS
Status
  • Created By: Birney Robert
  • Workflow Status: Draft
  • Created On: Jan 27, 2016 - 7:45am
  • Last Updated: Apr 13, 2017 - 5:16pm