PLoP 2015
Fri 23 - Mon 26 October 2015
Pittsburgh, Pennsylvania, United States
co-located with
SPLASH 2015
Toggle navigation
Attending
Conference Venue: Sheraton Station Square Hotel
Conference Banquet: Carnegie Museum of Natural History
SPLASH 2015
About
Accommodation
Anti-Harassment Policy
Dining
Downloads
Insider's Guide to Pittsburgh
Maps
Mobile App
Registration
Students
Support Program
Supporters
Travel
Visas
Program
PLoP Program
Your Program
Fri 23 Oct
Sat 24 Oct
Sun 25 Oct
Mon 26 Oct
Track/Call
Organization
PLoP 2015 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
MiniPLoP 2020
MiniPLOP 2019
PLoP 2017
MiniPLoP 2017
PLoP 2015
PLOP 2011
Sign in
Sign up
SPLASH 2015
(
series
) /
PLoP 2015
(
series
) /
Sheraton Station Square Hotel
/
Room information: Edenburg
Venue
Sheraton Station Square Hotel
Room name
Edenburg
Floor
2
Room Information
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:30) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 I
MobileDeLi
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 II
MobileDeLi
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 III
MobileDeLi
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 IV
MobileDeLi
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 1
ETX
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 2
ETX
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 3
ETX
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 4
ETX
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 2
SPLASH Tutorials
at
Edenburg
10:30
90m
Talk
Evaluating Programming Languages and Tools in Studies with Human Participants
SPLASH Tutorials
Thomas LaToza
George Mason University
File Attached
13:30 - 15:00
Tutorial 3
SPLASH Tutorials
at
Edenburg
13:30
90m
Talk
The Role of Ethnography in Programming Language Research: Developer-Centered Design of Languages and Tools
SPLASH 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 4
SPLASH Tutorials
at
Edenburg
15:30
90m
Talk
Software Analytics: Achievements and Challenges
SPLASH 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 5
SPLASH Tutorials
at
Edenburg
10:30
90m
Talk
Building Secure Software Architectures using Security Patterns
SPLASH Tutorials
Eduardo Fernandez
Florida Atlantic University
13:30 - 15:00
Tutorial 6
SPLASH Tutorials
at
Edenburg
13:30
90m
Talk
The Use of Text Retrieval and Natural Language Processing in Software Engineering
SPLASH 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 7
SPLASH Tutorials
at
Edenburg
15:30
90m
Talk
Mining Programming Language Usage with Boa
SPLASH 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 8
SPLASH Tutorials
at
Edenburg
10:30
90m
Talk
Shipshape: An Open Program Analysis Platform
SPLASH Tutorials
Ciera Jaspan
Google
,
Emma Söderberg
Google Inc.
,
Jesper Oqvist
Lund University
Media Attached
13:30 - 15:00
Tutorial 9
SPLASH Tutorials
at
Edenburg
13:30
90m
Talk
Analyze your Java Source Code with ExtendJ
SPLASH Tutorials
Jesper Oqvist
Lund University
,
Gorel Hedin
Lund University
,
Emma Söderberg
Google Inc.
Media Attached
15:30 - 17:00
Tutorial 10
SPLASH Tutorials
at
Edenburg
15:30
90m
Talk
Concurrency in Rust: Data race safety with zero cost abstractions
SPLASH Tutorials
Nicholas Cameron
Mozilla Research
,
Nicholas Matsakis
Mozilla Corporation
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Edenburg
MobileDeLi
Session I
MobileDeLi
Session II
MobileDeLi
Session III
MobileDeLi
Session IV
Tue 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Edenburg
ETX
Session 1
ETX
Session 2
ETX
Session 3
ETX
Session 4
Wed 28 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Edenburg
SPLASH Tutorials
Tutorial 2
SPLASH Tutorials
Tutorial 3
SPLASH Tutorials
Tutorial 4
Thu 29 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Edenburg
SPLASH Tutorials
Tutorial 5
SPLASH Tutorials
Tutorial 6
SPLASH Tutorials
Tutorial 7
Fri 30 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Edenburg
SPLASH Tutorials
Tutorial 8
SPLASH Tutorials
Tutorial 9
SPLASH Tutorials
Tutorial 10
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
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
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
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
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
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
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
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
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
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
x
Mon 23 Dec 06:04