GPCE 2015
Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
VenueSheraton Station Square Hotel
Room nameHaselton 1
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
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 11:30
KeynoteWODA at Haselton 1
Chair(s): Harry XuUniversity of California, Irvine
10:30
60m
Talk
Concolic Testing: A Decade Later
WODA
Koushik SenUniversity of California, Berkeley
11:30 - 12:00
Research Reports 1WODA at Haselton 1
Chair(s): Yu David LiuState University of New York (SUNY) Binghamton
11:30
30m
Talk
SQL for Deep Dynamic Analysis?
WODA
Mohammad Reza AzadmaneshUniversity of Lugano, Matthias HauswirthUniversity of Lugano, Switzerland
13:30 - 15:00
Research Reports 2WODA at Haselton 1
Chair(s): Julian DolbyIBM Research
13:30
30m
Talk
Ayudante: Identifying Undesired Variable Interactions
WODA
Irfan Ul HaqIMDEA Software Institute, Juan CaballeroIMDEA Software Institute, Michael D. ErnstUniversity of Washington
14:00
30m
Talk
Efficient Dynamic Analysis of the Synchronization Performance of Java Applications
WODA
Peter HoferChristian Doppler Laboratory on Monitoring and Evolution of Very-Large-Scale Software Systems, Johannes Kepler University Linz, David GnedtChristian Doppler Laboratory on Monitoring and Evolution ofVery-Large-Scale Software Systems, Johannes Kepler UniversityLinz, Hanspeter MössenböckJohannes Kepler University Linz
14:30
30m
Talk
Recovering Execution Data from Incomplete Observations
WODA
Peter OhmannUniversity of Wisconsin - Madison, David Bingham BrownUniversity of Wisconsin - Madison, Ben LiblitUniversity of Wisconsin–Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
Pre-print
15:30 - 16:00
Research Reports 3WODA at Haselton 1
Chair(s): Matthias HauswirthUniversity of Lugano, Switzerland
15:30
30m
Talk
A Formal Foundation for Trace-Based JIT Compilers
WODA
Maarten VandercammenVrije Universiteit Brussel, Jens Nicolay, Stefan MarrINRIA, France, Joeri De KosterVrije Universiteit Brussel, Theo D'HondtVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
DOI Pre-print
16:00 - 17:00
Extended AbstractsWODA at Haselton 1
Chair(s): Harry XuUniversity of California, Irvine
16:00
15m
Talk
Infection Size as a Measure of Bug Severity
WODA
Mohammad Reza AzadmaneshUniversity of Lugano, Matthias HauswirthUniversity of Lugano, Switzerland
16:15
15m
Talk
Just-in-Time Data Structures: Towards Declarative Swap Rules
WODA
Mattias De WaelVrije Universiteit Brussel
16:30
15m
Talk
Towards Deployment-Time Dynamic Analysis of Server Applications
WODA
Luís PinaImperial College London, UK, Cristian CadarImperial College London
16:45
15m
Talk
Supporting PHP Dynamic Analysis in PHP AiR
WODA
Mark HillsEast Carolina University

Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Session 2REBLS at Haselton 1
10:30
22m
Talk
Indexing RETE's Working Memory - Catering to Dynamic Changes of the Ruleset
REBLS
Simon Van de WaterVUB, Thierry RenauxVrije Universiteit Brussel, Lode Hoste, Wolfgang De MeuterVrije Universiteit Brussel
10:52
22m
Talk
Type Inference of Asynchronous Arrows in JavaScript
REBLS
Eric Fritz, Tian ZhaoUniversity of Wisconsin-Milwaukee
11:15
22m
Talk
Functional Reactive Programming with nothing but Promises (Implementing Push/Pull FRP using JavaScript Promises)
REBLS
Alan JeffreyAlcatel-Lucent Bell Labs, Tom Van CutsemAlcatel-Lucent Bell Labs
11:37
22m
Talk
Type Safe Evolution of Live Systems
REBLS
Miguel DominguesNOVA-LINCS - Universidade Nova de Lisboa, João Costa SecoNOVA LINCS -- Universidade Nova de Lisboa
17:00 - 17:30
Session 5REBLS at Haselton 1
17:00
30m
Day closing
Discussion and closing remarks
REBLS

Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Haselton 1