SPLASH 2015
Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States
SPLASH 2015 (series) / Sheraton Station Square Hotel /

Room information: Edenburg

VenueSheraton Station Square Hotel
Room nameEdenburg
Floor2
Room Information

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:30 - 10:00
Session IMobileDeLi at Edenburg
Chair(s): Aharon Abadi IBM Research, Lori Flynn CERT, Jeff Gray University of Alabama, USA
08:30
10m
Day opening
Opening
MobileDeLi
Aharon Abadi IBM Research, C: Lori Flynn CERT, C: Jeff Gray University of Alabama, USA
08:40
25m
Talk
MobileDeli Keynote: Mobile security
MobileDeLi
Robert Seacord Secure Coding Institute
09:05
15m
Talk
A Lightweight JavaScript Engine for Mobile Devices
MobileDeLi
Ryan H. Choi Samsung Electronics, Youngil Choi Samsung Electronics
09:20
15m
Talk
An Energy-Saving Framework for Mobile Devices Based on Crowdsourcing Intelligences
MobileDeLi
Guangtai Liang IBM Research - China, Shao Chun Li IBM Research - Tokyo
09:35
15m
Talk
Improving the Android Development Lifecycle with the VALERA Record-and-replay Approach
MobileDeLi
Yongjian Hu University of California at Riverside, USA, Tanzirul Azim University of California at Riverside, USA, Iulian Neamtiu University of California at Riverside, USA
09:50
5m
Talk
Challenges in Transition from Web to App
MobileDeLi
Ranjan Kumar C-DAC Mumbai, Ashwin Nivangune C-DAC, Mumba, Padmaja Joshi C-DAC, Mumbai
File Attached
09:55
5m
Talk
Mobile Devices as Interfaces for Steering Cloud-Based High-Performance Computations
MobileDeLi
Young-Woo Kwon Utah State University, Eli Tilevich Virginia Tech
10:30 - 12:00
Session IIMobileDeLi at Edenburg
Chair(s): Aharon Abadi IBM Research, Lori Flynn CERT, Jeff Gray University of Alabama, USA
10:30
5m
Talk
An Evaluation Framework For Selection Of Mobile App Development Platform
MobileDeLi
Arvind Hudli MSRIT, Shrinidhi Hudli UCLA, Raghu Hudli ObjectOrb Technologies Pvt. Ltd
10:35
20m
Talk
Assessing the Benefits of Computational Offloading in Mobile-Cloud Applications
MobileDeLi
Tahmid Nabi Oregon State University, Pranjal Mittal Oregon State University, Pooria Azimi Oregon State University, Danny Dig Oregon State University, Eli Tilevich Virginia Tech
10:55
20m
Talk
Implementing real-time collaboration in TouchDevelop using AST merges
MobileDeLi
Jonathan Protzenko Microsoft Research
11:15
15m
Talk
Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem within an Ecosystem
MobileDeLi
Waqar Ahmad Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University, Christian Kästner Carnegie Mellon University, Adam Wynne Bosch Research and Technology Center
11:30
15m
Talk
Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps
MobileDeLi
Marco Pistoia IBM Research, USA, Omer Tripp IBM Research, USA, Pietro Ferrara IBM Research, USA, Paolina Centonze Iona College
11:45
15m
Talk
Scalable Race Detection for Android Applications
MobileDeLi
Pavol Bielik ETH Zurich, Switzerland, Veselin Raychev ETH Zurich, Switzerland, Martin Vechev ETH Zurich, Switzerland
13:30 - 15:00
Session IIIMobileDeLi at Edenburg
Chair(s): Aharon Abadi IBM Research, Lori Flynn CERT, Jeff Gray University of Alabama, USA
13:30
20m
Talk
Automatic Code Generation for Cross-platform, Multi-Device Mobile Apps: Some Reflections from an Industrial Experience
MobileDeLi
Eric Umuhoza Politecnico di Milano, Italy, Hamza Ed-Douibi Mines Nantes, Marco Brambilla Politecnico di Milano, Italy, Jordi Cabot ICREA, Spain, Aldo Bongio WebRatio S.r.l
13:50
20m
Talk
An Interactive Approach to Mobile App Verification
MobileDeLi
Osbert Bastani Stanford University, Alex Aiken Stanford University, Saswat Anand Stanford University
14:10
50m
Other
Panel: “Mobile security: methods and challenges during development”
MobileDeLi
Marco Pistoia IBM Research, USA, Patrick Tague Carnegie Mellon University, Jan S. Rellermeyer IBM Research, Garret Wassermann CERT Coordination Center
15:30 - 17:00
Session IVMobileDeLi at Edenburg
Chair(s): Aharon Abadi IBM Research, Lori Flynn CERT, Jeff Gray University of Alabama, USA
15:30
15m
Talk
Program Analysis for Mobile: how and why to run WALA on your phone
MobileDeLi
Julian Dolby IBM Research
15:45
15m
Talk
Gaps and Future Directions in Mobile Security Research
MobileDeLi
Violetta Vylegzhanina Vanderbilt University, Jules White Vanderbilt University, Douglas C. Schmidt Vanderbilt University
16:00
60m
Other
Activity:Mobile Computing to Support Sustainability
MobileDeLi

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:30 - 10:00
Session 1ETX at Edenburg
08:45
15m
Day opening
Workshop opening
ETX
Michael Burke Rice University, Tim Verbelen Ghent University
09:00
60m
Talk
ETX Invited Speaker: The Eclipse Academic Program: Creating the Eclipse University Ecosystem
ETX
Brian Barry FD Labs
10:30 - 12:00
Session 2ETX at Edenburg
10:30
40m
Talk
CSIclipse: Presenting Crash Analysis Data to Developers
ETX
Peter Ohmann University of Wisconsin - Madison, Ben Liblit University of Wisconsin–Madison
Pre-print
11:15
40m
Talk
Androsgi: bringing the power of OSGi to Android
ETX
Steven Bohez Ghent University - iMinds, Elias De Coninck Ghent University - iMinds, Tim Verbelen Ghent University, Bart Dhoedt Ghent University - iMinds
13:30 - 15:00
Session 3ETX at Edenburg
13:30
90m
Talk
ETX Keynote: High-Level Concurrency Libraries: Challenges for Tool Support
ETX
Philipp Haller KTH Royal Institute of Technology
Media Attached File Attached
15:30 - 17:00
Session 4ETX at Edenburg
15:30
40m
Talk
Experience from Implementing a Complex Eclipse Extension for Software Product Line Engineering
ETX
Sascha El-Sharkawy University of Hildesheim, Christian Kröher University of Hildesheim, Holger Eichelberger University of Hildesheim, Klaus Schmid Stiftung Universistat Hildesheim
16:10
40m
Talk
GOLD: A Graph Oriented Language Implemented Using the Eclipse Xtext FrameWork
ETX
Alejandro Sotelo Universidad de los Andes, Silvia Takahashi Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
16:50
10m
Day closing
Wrap up
ETX

Wed 28 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Tutorial 2Tutorials at Edenburg
10:30
90m
Talk
Evaluating Programming Languages and Tools in Studies with Human Participants
Tutorials
Thomas LaToza George Mason University
File Attached
13:30 - 15:00
Tutorial 3Tutorials at Edenburg
13:30
90m
Talk
The Role of Ethnography in Programming Language Research: Developer-Centered Design of Languages and Tools
Tutorials
Yvonne Dittrich IT University of Copenhagen, Cleidson de Souza Federal University of Pará Belém, Helen Sharp The Open University
File Attached
15:30 - 17:00
Tutorial 4Tutorials at Edenburg
15:30
90m
Talk
Software Analytics: Achievements and Challenges
Tutorials
Tao Xie University of Illinois at Urbana-Champaign, Dongmei Zhang Microsoft Research, China

Thu 29 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Tutorial 5Tutorials at Edenburg
10:30
90m
Talk
Building Secure Software Architectures using Security Patterns
Tutorials
Eduardo Fernandez Florida Atlantic University
13:30 - 15:00
Tutorial 6Tutorials at Edenburg
13:30
90m
Talk
The Use of Text Retrieval and Natural Language Processing in Software Engineering
Tutorials
Venera Arnaoudova Washington State University Pullman, Sonia Haiduc Florida State University Tallahassee, Andrian Marcus University of Texas at Dallas, Giuliano Antoniol Polytechnique Montréal
15:30 - 17:00
Tutorial 7Tutorials at Edenburg
15:30
90m
Talk
Mining Programming Language Usage with Boa
Tutorials
Robert Dyer Bowling Green State University, Hridesh Rajan Iowa State University, USA, Tien N. Nguyen Iowa State University, Hoan Nguyen Iowa State University
Pre-print File Attached

Fri 30 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Tutorial 8Tutorials at Edenburg
10:30
90m
Talk
Shipshape: An Open Program Analysis Platform
Tutorials
Ciera Jaspan Google, Emma Söderberg Google Inc., Jesper Oqvist Lund University
Media Attached
13:30 - 15:00
Tutorial 9Tutorials at Edenburg
13:30
90m
Talk
Analyze your Java Source Code with ExtendJ
Tutorials
Jesper Oqvist Lund University, Gorel Hedin Lund University, Emma Söderberg Google Inc.
Media Attached
15:30 - 17:00
Tutorial 10Tutorials at Edenburg
15:30
90m
Talk
Concurrency in Rust: Data race safety with zero cost abstractions
Tutorials
Nicholas Cameron Mozilla Research, Nicholas Matsakis Mozilla Corporation

Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Edenburg

MobileDeLi

Session I

MobileDeLi

Session II

MobileDeLi

Session III

MobileDeLi

Session IV

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Edenburg

ETX

Session 1

ETX

Session 2

ETX

Session 3

ETX

Session 4

Wed 28 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:0030
Edenburg

Tutorials

Tutorial 2

Tutorials

Tutorial 3

Tutorials

Tutorial 4

Thu 29 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:0030
Edenburg

Tutorials

Tutorial 5

Tutorials

Tutorial 6

Tutorials

Tutorial 7

Fri 30 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:0030
Edenburg

Tutorials

Tutorial 8

Tutorials

Tutorial 9

Tutorials

Tutorial 10

Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Edenburg
MobileDeLi
Opening
08:30 - 08:40
MobileDeLi
MobileDeli Keynote: Mobile security
08:40 - 09:05
MobileDeLi
A Lightweight JavaScript Engine for Mobile Devices
09:05 - 09:20
MobileDeLi
An Energy-Saving Framework for Mobile Devices Based on Crowdsourcing In ...
09:20 - 09:35
MobileDeLi
Improving the Android Development Lifecycle with the VALERA Record-and- ...
09:35 - 09:50
MobileDeLi
Challenges in Transition from Web to App
09:50 - 09:55
MobileDeLi
Mobile Devices as Interfaces for Steering Cloud-Based High-Performance ...
09:55 - 10:00
MobileDeLi
An Evaluation Framework For Selection Of Mobile App Development Platform
10:30 - 10:35
MobileDeLi
Assessing the Benefits of Computational Offloading in Mobile-Cloud Appl ...
10:35 - 10:55
MobileDeLi
Implementing real-time collaboration in TouchDevelop using AST merges
10:55 - 11:15
MobileDeLi
Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem wi ...
11:15 - 11:30
MobileDeLi
Automatic Detection, Correction and Visualization of Security Vulnerabi ...
11:30 - 11:45
MobileDeLi
Scalable Race Detection for Android Applications
11:45 - 12:00
MobileDeLi
Automatic Code Generation for Cross-platform, Multi-Device Mobile Apps: ...
13:30 - 13:50
MobileDeLi
An Interactive Approach to Mobile App Verification
13:50 - 14:10
MobileDeLi
Panel: “Mobile security: methods and challenges during development”
14:10 - 15:00
MobileDeLi
Program Analysis for Mobile: how and why to run WALA on your phone
15:30 - 15:45
MobileDeLi
Gaps and Future Directions in Mobile Security Research
15:45 - 16:00
MobileDeLi
Activity:Mobile Computing to Support Sustainability
16:00 - 17:00

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Edenburg
ETX
Workshop opening
08:45 - 09:00
ETX
ETX Invited Speaker: The Eclipse Academic Program: Creating the Eclipse ...
09:00 - 10:00
ETX
CSIclipse: Presenting Crash Analysis Data to Developers
10:30 - 11:10
ETX
Androsgi: bringing the power of OSGi to Android
11:15 - 11:55
ETX
ETX Keynote: High-Level Concurrency Libraries: Challenges for Tool Support
13:30 - 15:00
ETX
Experience from Implementing a Complex Eclipse Extension for Software P ...
15:30 - 16:10
ETX
GOLD: A Graph Oriented Language Implemented Using the Eclipse Xtext Fra ...
16:10 - 16:50
ETX
Wrap up
16:50 - 17:00

Wed 28 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Edenburg
SPLASH Tutorials
Evaluating Programming Languages and Tools in Studies with Human Partic ...
10:30 - 12:00
SPLASH Tutorials
The Role of Ethnography in Programming Language Research: Developer-Cen ...
13:30 - 15:00
SPLASH Tutorials
Software Analytics: Achievements and Challenges
15:30 - 17:00

Thu 29 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Edenburg
SPLASH Tutorials
Building Secure Software Architectures using Security Patterns
10:30 - 12:00
SPLASH Tutorials
The Use of Text Retrieval and Natural Language Processing in Software E ...
13:30 - 15:00
SPLASH Tutorials
Mining Programming Language Usage with Boa
15:30 - 17:00

Fri 30 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Edenburg
SPLASH Tutorials
Shipshape: An Open Program Analysis Platform
10:30 - 12:00
SPLASH Tutorials
Analyze your Java Source Code with ExtendJ
13:30 - 15:00
SPLASH Tutorials
Concurrency in Rust: Data race safety with zero cost abstractions
15:30 - 17:00