AGERE!
Mon 20 - Tue 21 October 2014
Portland, Oregon, United States
co-located with
SPLASH 2014
Toggle navigation
Attending
Venue: Portland Marriott
SPLASH 2014
About
Registration
Accommodation
Travel
Insider's Guide to Portland
Students
Supporters
Support Program
Visas
MobileApp
Maps
Downloads
Anti-Harassment Policy
Program
AGERE! Program
Your Program
Mon 20 Oct
Tue 21 Oct
Track/Call
Organization
AGERE! Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
AGERE 2021
AGERE 2020
AGERE 2019
AGERE 2018
AGERE 2017
AGERE 2016
AGERE! 2015
AGERE!
AGERE 2012
AGERE 2011
Sign in
Sign up
SPLASH 2014
(
series
) /
AGERE!
(
series
) /
Portland Marriott
/
Room information: Salon D
Venue
Portland Marriott
Room name
Salon D
Floor
0
Room number
Salon D
Capacity
90
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
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-02: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+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+04: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+06:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+08:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+09:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+10:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+11:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+12:00) Magadan
(GMT+11:30) 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 20 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Opening & Invited Talk & Full-Papers I
AGERE!
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
10:30 - 12:00
Full-Papers II
AGERE!
at
Salon D
10:30
22m
Talk
Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing
AGERE!
Phillip Kuang
,
John Field
,
Carlos Varela
Rensselaer Polytechnic Institute, US
10:52
22m
Talk
Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures
AGERE!
David Harel
,
Guy Katz
11:15
22m
Talk
Multiple Inheritance in AgentSpeak(L)-style Programming Languages
AGERE!
Dhaon Akshat
University College Dublin
,
Rem Collier
11:37
22m
Talk
From Actor Event-Loop to Agent Control-Loop - Impact on Programming
AGERE!
Alessandro Ricci
University of Bologna
13:30 - 15:00
Full-Papers III
AGERE!
at
Salon D
13:30
22m
Talk
CAF - The C++ Actor Framework for Scalable and Resource-efficient Applications
AGERE!
Dominik Charousset
,
Raphael Hiesgen
,
Thomas Schmidt
13:52
22m
Talk
An Automatic Actors to Threads Mapping Technique for JVM-based Actor Frameworks
AGERE!
Ganesha Upadhyaya
,
Hridesh Rajan
14:15
22m
Talk
Event-based Analysis of Timed Rebeca Models using SQL
AGERE!
Brynjar Magnusson
,
Ehsan Khamespanah
,
Marjan Sirjani
Reykjavik University
,
Ramtin Khosravi
14:37
22m
Talk
Efficient TCTL Model Checking Algorithm for Timed Actors
AGERE!
Ehsan Khamespanah
,
Ramtin Khosravi
,
Marjan Sirjani
Reykjavik 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!
Luc Bläser
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 Bloch
PLATEAU
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
Josh Bloch
10:30 - 12:00
Session 2
PLATEAU
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
Juraj Kubelka
University of Chile
,
Alexandre Bergel
,
Romain Robbes
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 3
PLATEAU
at
Salon D
Chair(s):
Joshua Sunshine
Carnegie Mellon University
13:30
25m
Talk
How Developers Use Data Race Detection Tools
PLATEAU
Caitlin Sadowski
Google
,
Jaeheon Yi
Google
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 4
PLATEAU
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 IDE
SPLASH 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 Detection
SPLASH 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 Models
SPLASH 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
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
Salon D
AGERE!
Opening & Invited Talk & Full-Papers I
AGERE!
Full-Papers II
AGERE!
Full-Papers III
AGERE!
Short Papers, Posters and Brainstorming
Tue 21 Oct
Displayed time zone:
Tijuana, Baja California
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
Salon D
PLATEAU
Invited Speaker: Josh Bloch
PLATEAU
Session 2
PLATEAU
Session 3
PLATEAU
Session 4
Wed 22 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
13:00
30
Salon D
SPLASH Demos
Demo 1: Pocket Code IDE
Thu 23 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
13:00
30
Salon D
SPLASH Demos
Demo 2: OMEN Testing Tool for Deadlock Detection
Fri 24 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
13:00
30
Salon D
SPLASH Demos
Demo 3: Agile Programming With Executable Models
Mon 20 Oct
Displayed time zone:
Tijuana, Baja California
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
Salon D
AGERE!
Opening & Welcome
08:30 - 08:35
AGERE!
Upgrade Programming for Mobile Cloud
08:35 - 09:35
AGERE!
Selectors: Actors with Multiple Guarded Mailboxes
09:35 - 10:00
AGERE!
Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing
10:30 - 10:52
AGERE!
Scaling-Up Behavioral Programming: Steps from Basic Principles to Appli ...
10:52 - 11:15
AGERE!
Multiple Inheritance in AgentSpeak(L)-style Programming Languages
11:15 - 11:37
AGERE!
From Actor Event-Loop to Agent Control-Loop - Impact on Programming
11:37 - 12:00
AGERE!
CAF - The C++ Actor Framework for Scalable and Resource-efficient Appli ...
13:30 - 13:52
AGERE!
An Automatic Actors to Threads Mapping Technique for JVM-based Actor Fr ...
13:52 - 14:15
AGERE!
Event-based Analysis of Timed Rebeca Models using SQL
14:15 - 14:37
AGERE!
Efficient TCTL Model Checking Algorithm for Timed Actors
14:37 - 15:00
AGERE!
Savina - An Actor Benchmark Suite
15:30 - 15:45
AGERE!
Composita: Bringing Order to Agent Communications
15:45 - 15:50
AGERE!
Modular Reasoning in Capsule
15:50 - 15:55
AGERE!
Supporting Relative Location Constraints in Actor Systems
15:55 - 16:00
AGERE!
Brainstorming & Discussion
16:00 - 16:55
AGERE!
Closing
16:55 - 17:00
Tue 21 Oct
Displayed time zone:
Tijuana, Baja California
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
Salon D
PLATEAU
Welcome and Introductions
08:30 - 09:00
PLATEAU
Invited Speaker: A Brief, Opinionated History of the API
09:00 - 10:00
PLATEAU
Asking and Answering Questions during a Programming Change Task in Phar ...
10:30 - 10:52
PLATEAU
EUKLAS: Supporting Copy-and-Paste Strategies for Integrating Example Code
10:52 - 11:15
PLATEAU
Empirical Comparison of Visual to Hybrid Formula Manipulation in Educat ...
11:15 - 11:37
PLATEAU
Usability and Suitability Survey of Features in Visual IDEs for Non-Pro ...
11:37 - 12:00
PLATEAU
How Developers Use Data Race Detection Tools
13:30 - 13:55
PLATEAU
Research.js: Evaluating Your Research on the Web
13:55 - 14:10
PLATEAU
Supporting Social Interactions and Awareness in Educational Programming ...
14:10 - 14:25
PLATEAU
Invited Talk: How Do API Documentation and Static Typing Affect API Usa ...
14:25 - 15:00
PLATEAU
Wyvern: Impacting Software Security via Programming Language Design
15:30 - 15:52
PLATEAU
Considering Productivity Effects of Explicit Type Declarations
15:52 - 16:15
PLATEAU
Usability Hypotheses in the Design of Plaid
16:15 - 16:37
PLATEAU
Group Activity
16:37 - 17:00
Wed 22 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
13:00
15
30
45
Salon D
SPLASH Demos
Demo 1: Pocket Code - IDE for your Phone
13:00 - 13:40
Thu 23 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
13:00
15
30
45
Salon D
SPLASH Demos
Demo 2: OMEN - A Tool for Synthesizing Tests for Deadlock Detection
13:00 - 13:40
Fri 24 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
13:00
15
30
45
Salon D
SPLASH Demos
Demo 3: Agile Programming With Executable Models
13:00 - 13:40
x
Fri 13 Dec 02:44