SPLASH 2015
Objectives
Theme and Topics
Important Dates
Call for Papers
Program
Keynote Speakers
Papers Submission
Organization
Our Events

Session I Chair: Aharon Abadi, Lori Flynn and Jeff Gray

08:30-08:40 Opening
Aharon Abadi, Lori Flynn and Jeff Gray

08:40-09:05 Keynote talk
Robert C. Seacord Mobile security

09:05-09:20 Ryan H. Choi and Youngil Choi. A Lightweight JavaScript Engine for Mobile Devices

09:20-09:35 Guangtai Liang and Shao Chun Li. An Energy-Saving Framework for Mobile Devices Based on Crowdsourcing Intelligences

09:35-09:50 Yongjian Hu, Tanzirul Azim and Iulian Neamtiu. Improving the Android Development Lifecycle with the VALERA Record-and-replay Approach

9:50-9:55 Ranjan Kumar, Ashwin Nivangune and Padmaja Joshi. Challenges in Transition from Web to App

9:55-10:00 Young-Woo Kwon and Eli Tilevich. Mobile Devices as Interfaces for Steering Cloud-Based High-Performance Computations

10:00-10:30 Coffee break

Session II Chair: Aharon Abadi, Lori Flynn and Jeff Gray

10:30-10:35 Arvind Hudli, Shrinidhi Hudli and Raghu Hudli. An Evaluation Framework For Selection Of Mobile App Development

10:35-10:55 Tahmid Nabi, Pranjal Mittal, Pooria Azimi, Danny Dig and Eli Tilevich. Assessing the Benefits of Computational Offloading in Mobile-Cloud Applications

10:55-11:15 Jonathan Protzenko Implementing real-time collaboration in TouchDevelop using AST merges

11:15-11:30 Waqar Ahmad, Joshua Sunshine, Christian Kästner and Adam Wynne. Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem within an Ecosystem

11:30-11:45 Marco Pistoia, Omer Tripp, Pietro Ferrara and Paolina Centonze. Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps

11:45-12:00 Pavol Bielik, Veselin Raychev and Martin Vechev. Scalable Race Detection for Android Applications

12:00-13:30 Lunch

Session III Chair: Aharon Abadi, Lori Flynn and Jeff Gray

13:30-13:50 Eric Umuhoza, Hamza Ed-Douibi, Marco Brambilla, Jordi Cabot and Aldo Bongio. Automatic Code Generation for Cross-platform, Multi-Device Mobile Apps: Some Reflections from an Industrial Experience

13:50-14:05 Osbert Bastani, Saswat Anand and Alex Aiken. Interactively Verifying Absence of Explicit Information Flows in Android

14:05-15:00 Panel: Mobile Security: methods and challenges during development
Chairs: Aharon Abadi, Lori Flynn and Jeff Gray
Panelists : Marco Pistoia, Patrick Tague, Jan S. Rellermeyer, Garret Wassermann

15:00-15:30 Coffee break

Session IV Chair: Aharon Abadi, Lori Flynn and Jeff Gray

15:30-15:45 Julian Dolby. Program Analysis for Mobile: how and why to run WALA on your phone

15:45-16:00 Violetta Vylegzhanina, Douglas C. Schmidt and Jules White. Gaps and Future Directions in Mobile Security Research

16:00-17:30 Activity: Mobile Computing to Support Sustainability
Chairs: Aharon Abadi, Lori Flynn and Jeff Gray

19:30 Informal dinner: Mallorca Restaurant
Click to see map