WOSC
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
VenuePortland Marriott
Room nameSalon D
Floor0
Room numberSalon D
Capacity90
Room InformationNo extra information available
Program

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

Mon 20 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Opening & Invited Talk & Full-Papers IAGERE! at Salon D
08:30
5m
Day opening
Opening & Welcome
AGERE!

08:35
60m
Talk
Upgrade Programming for Mobile Cloud
AGERE!
Gul Agha University of Illinois at Urbana-Champaign
09:35
25m
Talk
Selectors: Actors with Multiple Guarded Mailboxes
AGERE!
Shams Imam Rice University, Vivek Sarkar Rice University
15:30 - 17:00
Short Papers, Posters and Brainstorming AGERE! at Salon D
15:30
15m
Talk
Savina - An Actor Benchmark Suite
AGERE!
Shams Imam Rice University, Vivek Sarkar Rice University
15:45
5m
Talk
Composita: Bringing Order to Agent Communications
AGERE!
15:50
5m
Talk
Modular Reasoning in Capsule
AGERE!
Mehdi Bagherzadeh Iowa State University, Hridesh Rajan
15:55
5m
Talk
Supporting Relative Location Constraints in Actor Systems
AGERE!
Xinghui Zhao University of Washington, Hua Zhang , Nadeem Jamali University of Saskatchewan
16:00
55m
Meeting
Brainstorming & Discussion
AGERE!

16:55
5m
Day closing
Closing
AGERE!

Tue 21 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Invited Speaker: Josh BlochPLATEAU at Salon D
Chair(s): Craig Anslow University of Calgary, Thomas LaToza University of California, Irvine, Joshua Sunshine Carnegie Mellon University
08:30
30m
Other
Welcome and Introductions
PLATEAU

09:00
60m
Talk
Invited Speaker: A Brief, Opinionated History of the API
PLATEAU
10:30 - 12:00
Session 2PLATEAU at Salon D
Chair(s): Craig Anslow University of Calgary
10:30
22m
Talk
Asking and Answering Questions during a Programming Change Task in Pharo Language
PLATEAU
File Attached
10:52
22m
Talk
EUKLAS: Supporting Copy-and-Paste Strategies for Integrating Example Code
PLATEAU
Christian Doerner Senacor Technologies AG, Andrew Faulring Carnegie Mellon University , Brad A. Myers Carnegie Mellon University
File Attached
11:15
22m
Talk
Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers
PLATEAU
Roxane Koitz-Hristov Graz University of Technology, Wolfgang Slany Institute of Software Technology, Graz University of Technology
File Attached
11:37
22m
Talk
Usability and Suitability Survey of Features in Visual IDEs for Non-Programmers
PLATEAU
Jean Michel Rouly George Mason University, Jonathan Orbeck University of Alabama, Eugene Syriani University of Montreal
File Attached
13:30 - 15:00
Session 3PLATEAU at Salon D
Chair(s): Joshua Sunshine Carnegie Mellon University
13:30
25m
Talk
How Developers Use Data Race Detection Tools
PLATEAU
File Attached
13:55
15m
Talk
Research.js: Evaluating Your Research on the Web
PLATEAU
Joel Galenson University of California, Berkeley and Qualcomm Research, Cindy Rubio-González University of California, Berkeley, Sarah E. Chasins University of California, Berkeley, Liang Gong University of California, Berkeley
File Attached
14:10
15m
Talk
Supporting Social Interactions and Awareness in Educational Programming Environments
PLATEAU
Adam Carter Washington State University, Christopher Hundhausen Washington State University
File Attached
14:25
35m
Talk
Invited Talk: How Do API Documentation and Static Typing Affect API Usability?
PLATEAU
S: Stefan Hanenberg University of Duisburg-Essen
15:30 - 17:00
Session 4PLATEAU at Salon D
Chair(s): Thomas LaToza University of California, Irvine
15:30
22m
Talk
Wyvern: Impacting Software Security via Programming Language Design
PLATEAU
Darya Melicher Carnegie Mellon University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
File Attached
15:52
22m
Talk
Considering Productivity Effects of Explicit Type Declarations
PLATEAU
Michael Coblenz Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University
File Attached
16:15
22m
Talk
Usability Hypotheses in the Design of Plaid
PLATEAU
Jonathan Aldrich Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University
File Attached
16:37
22m
Other
Group Activity
PLATEAU

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

13:00 - 13:40
Demo 1: Pocket Code IDESPLASH Demos at Salon D
13:00
40m
Talk
Demo 1: Pocket Code - IDE for your Phone
SPLASH Demos
Wolfgang Slany Institute of Software Technology, Graz University of Technology

Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

13:00 - 13:40
Demo 2: OMEN Testing Tool for Deadlock DetectionSPLASH Demos at Salon D
13:00
40m
Talk
Demo 2: OMEN - A Tool for Synthesizing Tests for Deadlock Detection
SPLASH Demos
Malavika Samak Indian Institute of Science, Bangalore, Murali Krishna Ramanathan Indian Institute of Science, Bangalore

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change

13:00 - 13:40
Demo 3: Agile Programming With Executable ModelsSPLASH Demos at Salon D
13:00
40m
Talk
Demo 3: Agile Programming With Executable Models
SPLASH Demos
Ed Seidewitz Model Driven Solutions, Arnaud Cuccuru CEA Saclay - NanoInnov

Mon 20 Oct

Displayed time zone: Tijuana, Baja California change

Tue 21 Oct

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Salon D

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change