Admiral and Reflections - SPLASH 2015

Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States

VenueSheraton Station Square Hotel

Room nameAdmiral and Reflections

Floor1

Room number

Capacity0

Additional information

Program

Mon 26 Oct

18:00 - 21:00: Social Events - Welcome Reception & Poster Session at Admiral and Reflections

18:00 - 21:00
Social Event

Welcome Reception & Poster Session

Wed 28 Oct

18:00 - 21:00: Posters - Poster Session at Admiral and Reflections
Chair(s): Nick Sumner, Jeff Huang

18:00 - 21:00
Talk

Shiranui: A Live Programming with Support for Unit Testing

Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani

18:00 - 21:00
Talk

Exploiting Parallelism in Mobile Devices

Arghya Chatterjee, Timothy Newton, Tom Roush, Hunter Tidwell, Vivek Sarkar

18:00 - 21:00
Talk

ModeSens: An Approach for Multi-modal Mobile Sensing

Ahmed Abdel Moamen, Nadeem Jamali

18:00 - 21:00
Talk

Towards Transitory Encapsulation

Sebastian Fleissner

18:00 - 21:00
Talk

Statik: An Incremental Compiler Generator

18:00 - 21:00
Talk

Toward Incremental Type Checking for Java

Edlira Kuci, Sebastian Erdweg, Mira Mezini

18:00 - 21:00
Talk

Pyrlang: A High Performance Erlang Virtual Machine Based on RPython

Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani

18:00 - 21:00
Talk

Conf.Researchr.Org: Towards a Domain-Specific Content Management System for Managing Large Conference Websites

Elmer van Chastelet, Eelco Visser, Craig Anslow

18:00 - 21:00
Talk

Evaluating Work Distribution Patterns for Parallel Bitmap Compression over SMPs

Ben McCamish, Xinghui Zhao, David Chiu, Jason Sawin, Guadalupe Canahuate

18:00 - 21:00
Talk

Spotter: Towards a Unified Search Interface in IDEs

Aliaksei Syrel, Andrei Chiş, Tudor Gîrba, Juraj Kubelka, Oscar Nierstrasz, Stefan Reichhart

DOI Pre-print Media Attached

18:00 - 21:00
Talk

Toward a Java Based Infrastructure for Unmanned Aerial Vehicles

Yu David Liu, Lukasz Ziarek

18:00 - 21:00
Talk

Porting the NetBeans Java 8 Enhanced for Loop Lambda Expression Refactoring to Eclipse

Md. Arefin, Raffi Khatchadourian

DOI Pre-print File Attached

18:00 - 21:00: Student Research Competition - Posters at Admiral and Reflections
Chair(s): Sam Guyer, Patrick Lam

18:00 - 21:00
Talk

Efficient Support for Strong Semantics in Transactional and Non-transactional Programs

Aritra Sengupta

18:00 - 21:00
Talk

Automatic Array Property Detection Via Static Analysis

18:00 - 21:00
Talk

KinEdit: A Tool to Help Developers Refactor Manually

18:00 - 21:00
Talk

Finding Bugs in Spreadsheets Using Reference Counting

Nima Joharizadeh

18:00 - 21:00
Talk

Viser: Providing Serializability in Hardware With Simplified Cache Coherence

Swarnendu Biswas

18:00 - 21:00
Talk

Concurrency Control for Multithreaded Reactive Programming

18:00 - 21:00
Talk

Gradual Mode Types for Energy-Aware Programming

18:00 - 21:00
Talk

Race-driven UI-level Test Generation for JavaScript-based Web Applications

18:00 - 21:00
Talk

Contributions of the Under-Appreciated: Gender Bias in an Open-Source Ecology

18:00 - 21:00
Talk

Safely Evolving Configurable Systems

Flavio Medeiros

18:00 - 21:00
Talk

SIRe: An Efficient Snapshot Isolation-based Memory Model for Detecting and Tolerating Region Conflicts

18:00 - 21:00
Talk

The Oprop Verification Tool: Object Propositions in Action

18:00 - 21:00: Social Events - Posters Reception at Admiral and Reflections

18:00 - 21:00
Social Event

Posters Reception

Fri 30 Oct

17:00 - 18:30: Social Events - Ice Cream Social at Admiral and Reflections

17:00 - 18:30
Social Event

Ice Cream Social

Mon 26 Oct 2015


Room	18:00						30						19:00						30						20:00						30						21:00						30
Admiral and Reflections	Social Events Welcome Reception & Poster Session 18:00 - 21:00

Wed 28 Oct 2015


Room	18:00						30						19:00						30						20:00						30						21:00						30
Admiral and Reflections	Social Events Posters Reception Posters Poster Session Student Research Competition Posters 18:00 - 21:00

Fri 30 Oct 2015


Room	17:00						30						18:00						30
Admiral and Reflections	Social Events Ice Cream Social 17:00 - 18:30

Mon 26 Oct 2015


Room	18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45
Admiral and Reflections	SPLASH 2015 Social Events Welcome Reception & Poster Session 18:00 - 21:00

Wed 28 Oct 2015


Room	18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45
Admiral and Reflections	SPLASH 2015 Student Research Competition The Oprop Verification Tool: Object Propositions in Action Safely Evolving Configurable Systems SPLASH 2015 Posters Toward a Java Based Infrastructure for Unmanned Aerial Vehicles Conf.Researchr.Org: Towards a Domain-Specific Content Management System ... SPLASH 2015 Student Research Competition Automatic Array Property Detection Via Static Analysis SPLASH 2015 Posters Evaluating Work Distribution Patterns for Parallel Bitmap Compression o ... SPLASH 2015 Student Research Competition Concurrency Control for Multithreaded Reactive Programming Race-driven UI-level Test Generation for JavaScript-based Web Applications SPLASH 2015 Posters Exploiting Parallelism in Mobile Devices Pyrlang: A High Performance Erlang Virtual Machine Based on RPython Towards Transitory Encapsulation SPLASH 2015 Student Research Competition Finding Bugs in Spreadsheets Using Reference Counting SPLASH 2015 Posters ModeSens: An Approach for Multi-modal Mobile Sensing Statik: An Incremental Compiler Generator Toward Incremental Type Checking for Java SPLASH 2015 Social Events Posters Reception SPLASH 2015 Student Research Competition KinEdit: A Tool to Help Developers Refactor Manually SPLASH 2015 Posters Shiranui: A Live Programming with Support for Unit Testing Spotter: Towards a Unified Search Interface in IDEs SPLASH 2015 Student Research Competition Efficient Support for Strong Semantics in Transactional and Non-transac ... SPLASH 2015 Posters Porting the NetBeans Java 8 Enhanced for Loop Lambda Expression Refacto ... SPLASH 2015 Student Research Competition SIRe: An Efficient Snapshot Isolation-based Memory Model for Detecting ... Gradual Mode Types for Energy-Aware Programming Viser: Providing Serializability in Hardware With Simplified Cache Cohe ... Contributions of the Under-Appreciated: Gender Bias in an Open-Source E ... 18:00 - 21:00

Fri 30 Oct 2015


Room	17:00			15			30			45			18:00			15			30			45
Admiral and Reflections	SPLASH 2015 Social Events Ice Cream Social 17:00 - 18:30