Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Thu 3 Nov 2016 16:30 - 16:55 at Matterhorn 1 - Program Modeling and Learning Chair(s): Ondřej Lhoták

With increasing amounts of data available on the web and a diverse range of users interested in programmatically accessing that data, web automation must become easier. Automation helps users complete many tedious interactions, such as scraping data, completing forms, or transferring data between websites.
However, writing web automation scripts typically requires an expert programmer because the writer must be able to reverse engineer the target webpage. We have built a record and replay tool, Ringer, that makes web automation accessible to non-coders. Ringer takes a user demonstration as input and creates a script that interacts with the page as a user would.
This approach makes Ringer scripts more robust to webpage changes because user-facing interfaces remain relatively stable compared to the underlying webpage implementations. We evaluated our approach on benchmarks recorded on real webpages and found that it replayed 4x more benchmarks than a state-of-the-art replay tool.

Conference Day
Thu 3 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:40 - 17:20
Program Modeling and LearningOOPSLA at Matterhorn 1
Chair(s): Ondřej LhotákUniversity of Waterloo
15:40
25m
Talk
Computing Repair Alternatives for Malformed Programs using Constraint Attribute GrammarsAEC
OOPSLA
Friedrich SteimannFernuniversität, Jörg HagemannFernuniversität in Hagen, Bastian UlkeFernuniversität in Hagen
DOI Media Attached
16:05
25m
Talk
Probabilistic Model for Code with Decision Trees
OOPSLA
Veselin RaychevETH Zurich, Switzerland, Pavol Bielik, Martin VechevETH Zurich
DOI
16:30
25m
Talk
Ringer: Web Automation by DemonstrationAEC
OOPSLA
Shaon BarmanUC Berkeley, Sarah E. ChasinsUniversity of California, Berkeley, Rastislav BodikUniversity of Washington, USA, Sumit GulwaniMicrosoft Research
DOI Media Attached
16:55
25m
Talk
Scalable Verification of Border Gateway Protocol Configurations with an SMT SolverAEC
OOPSLA
Konstantin WeitzUniversity of Washington, Doug WoosUniversity of Washington, Emina TorlakUniversity of Washington, Michael D. ErnstUniversity of Washington, Arvind KrishnamurthyUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle
DOI Media Attached