SPLASH 2016 (series) / WODA 2016 (series) / WODA /
The high-interest credit card of runtime enforcement
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 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 1 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:10 | Session 2WODA at Winterthur Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA | ||
10:30 33mTalk | Inferring test oracles from the Javadoc documentation WODA Alessandra Gorla IMDEA Software Institute | ||
11:03 33mTalk | The high-interest credit card of runtime enforcement WODA Ben Livshits Microsoft Research | ||
11:36 33mTalk | Making Malory Behave Maliciously: Targeted Fuzzing of Android Applications WODA Steven Arzt TU Darmstadt, Germany |