Title Page

Foreword

Mobile Device Security
Robert C. Seacord
(NCC Group, USA)

A Lightweight JavaScript Engine for Mobile Devices
Ryan H. Choi and Youngil Choi
(Samsung Electronics, South Korea)

An Energy-Saving Framework for Mobile Devices Based on Crowdsourcing Intelligences
Guangtai Liang and Shaochun Li
(IBM Research, China)

Improving the Android Development Lifecycle with the VALERA Record-and-Replay Approach
Yongjian Hu, Tanzirul Azim, and Iulian Neamtiu
(University of California at Riverside, USA)

Challenges in Transition from Web to App
Ranjan Kumar, Ashwin Nivangune, and Padmaja Joshi
(C-DAC Mumbai, India)

Mobile Devices as Interfaces for Steering Cloud-Based High-Performance Computations
Young-Woo Kwon and Eli Tilevich
(Utah State University, USA; Virginia Tech, USA)

An Evaluation Framework for Selection of Mobile App Development Platform
Arvind Hudli, Shrinidhi Hudli, and Raghu Hudli
(MSRIT, India; University of California at Los Angeles, USA; ObjectOrb Technologies, India)

Assessing the Benefits of Computational Offloading in Mobile-Cloud Applications
Tahmid Nabi, Pranjal Mittal, Pooria Azimi, Danny Dig, and Eli Tilevich
(Oregon State University, USA; Virginia Tech, USA)

Implementing Real-Time Collaboration in TouchDevelop using AST Merges
Jonathan Protzenko, Sebastian Burckhardt, Michał Moskal, and Jedidiah McClurg
(Microsoft Research, USA; University of Colorado at Boulder, USA)

Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem within an Ecosystem
Waqar Ahmad, Joshua Sunshine, Christian Kaestner, and Adam Wynne
(Carnegie Mellon University, USA; Bosch Research and Technology Center, USA)

Automatic Detection, Correction, and Visualization of Security Vulnerabilities in Mobile Apps
Marco Pistoia, Omer Tripp, Pietro Ferrara, and Paolina Centonze
(IBM Research, USA; Iona College, USA)

Automatic Code Generation for Cross-Platform, Multi-device Mobile Apps: Some Reflections from an Industrial Experience
Eric Umuhoza, Hamza Ed-douibi, Marco Brambilla, Jordi Cabot, and Aldo Bongio
(Politecnico di Milano, Italy; AtlanMod, France; ICREA, Spain; Open University of Catalonia, Spain; WebRatio, Italy)

An Interactive Approach to Mobile App Verification
Osbert Bastani, Saswat Anand, and Alex Aiken
(Stanford University, USA)

Program Analysis for Mobile: How and Why to Run WALA on Your Phone
Julian Dolby
(IBM Research, USA)

Gaps and Future Directions in Mobile Security Research
Violetta Vylegzhanina, Douglas C. Schmidt, and Jules White
(Vanderbilt University, USA)

Mobile Security: Challenges, Tools, and Techniques (Panel)
Aharon Abadi, Lori Flynn, and Jeff Gray
(IBM Research, Israel; CERT, USA; University of Alabama, USA)

Mobile Computing to Support Sustainability
Aharon Abadi, Lori Flynn, Jeff Gray, and Aaron Gordon
(IBM Research, Israel; CERT, USA; University of Alabama, USA; Metropolitan State University, USA)