Safe Stream-Based Programming with Refinement Types

1 code implementation • 9 Aug 2018 • Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang

Our key insight is that the fluent APIs of stream-processing frameworks enable the tracking of threads via type-refinement, making it possible to reason automatically about what thread a piece of code runs on -- a difficult problem in general.

Software Engineering Programming Languages

Differential Performance Debugging with Discriminant Regression Trees

no code implementations • 11 Nov 2017 • Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang, Ashutosh Trivedi

We propose a data-driven technique based on discriminant regression tree (DRT) learning problem where the goal is to discriminate among different classes of inputs.

Clustering regression

Discriminating Traces with Time

no code implementations • 23 Feb 2017 • Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi

What properties about the internals of a program explain the possible differences in its overall running time for different inputs?

DroidStar: Callback Typestates for Android Classes

no code implementations • 26 Jan 2017 • Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Černý

We use DroidStar to learn callback typestates for Android classes both for cases where one is already provided by the documentation, and for cases where the documentation is unclear.

Active Learning