Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Tue 1 Nov 2016 11:03 - 11:36 at Winterthur - Session 2 Chair(s): Michael Pradel, Omer Tripp

For years, the program analysis community has accepted that runtime enforcement is a technique that is in many ways preferable to static analysis and is amenable to deployment, as long as we keep the runtime overhead low enough. In this talk we will try to understand what actually gets deployed and when. Given that the cost of independent runtime enforcement mechanisms is usually additive, we will be confronted with the question: can we afford always-on runtime enforcement? This talk will summarize some of the experiences we have accumulated as a community and propose some insights.

Tue 1 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Session 2WODA at Winterthur
Chair(s): Michael PradelTU Darmstadt, Germany, Omer TrippIBM Research, USA
10:30
33m
Talk
Inferring test oracles from the Javadoc documentation
WODA
Alessandra GorlaIMDEA Software Institute
11:03
33m
Talk
The high-interest credit card of runtime enforcement
WODA
Ben LivshitsMicrosoft Research
11:36
33m
Talk
Making Malory Behave Maliciously: Targeted Fuzzing of Android Applications
WODA
Steven ArztTU Darmstadt, Germany