FOOL
Mon 20 - Fri 24 October 2014
Portland, Oregon, United States
co-located with
SPLASH 2014
Toggle navigation
Attending
Venue: Portland Marriott
Program
Complete Program
Your Program
Mon 20 Oct
Tue 21 Oct
Wed 22 Oct
Thu 23 Oct
Fri 24 Oct
Track/Call
Organization
FOOL Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
FOOL
FOOL 2012
FOOL 2011
Sign in
Sign up
SPLASH 2014
(
series
) /
FOOL
(
series
) /
Portland Marriott
/
Room information: Salon G
Venue
Portland Marriott
Room name
Salon G
Floor
0
Room number
Salon G
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
Welcome, Introductions, Discussion
FOOL
at
Salon G
Chair(s):
Marco Servetto
Victoria University of Wellington
08:30
90m
Other
Informal Group Discussion
FOOL
10:30 - 12:00
Research Papers
FOOL
at
Salon G
Chair(s):
Marco Servetto
Victoria University of Wellington
10:30
30m
Talk
Program Equivalence through Trace Equivalence
FOOL
Tim Wood
Imperial College
,
Sophia Drossopoulou
Imperial College London
File Attached
11:00
30m
Talk
The Problem of Structural Type Tests in a Gradual-Typed Language
FOOL
John Boyland
University of Wisconsin, Milwaukee
File Attached
11:30
30m
Talk
Managing Gradual Typing with Message-Safety in Dart
FOOL
Erik Ernst
,
Mathias Schwarz
,
Fabio Strocco
,
Anders Møller
Aarhus University
File Attached
13:30 - 15:00
FOOF (Future of Object-Oriented Foundations)
FOOL
at
Salon G
Chair(s):
Marco Servetto
Victoria University of Wellington
13:30
44m
Talk
The Success, Failure, and Future of Distributed Objects
FOOL
A:
Jonathan Aldrich
Carnegie Mellon University
,
I:
Andrew Black
Portland State University
File Attached
14:15
45m
Talk
A Simple, Symmetric, Subjective Foundation for Object-, Aspect- and Context-Oriented Programming
FOOL
Harold Ossher
IBM Research
,
David Ungar
IBM Research
,
Doug Kimelman
IBM Research
,
I:
James Noble
Victoria University of Wellington
File Attached
15:30 - 17:00
Keynote
FOOL
at
Salon G
Chair(s):
Marco Servetto
Victoria University of Wellington
15:30
90m
Talk
Extensibilty for the masses
FOOL
William Cook
UT Austin
File Attached
Tue 21 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Session 1
MobileDeLi
at
Salon G
08:30
10m
Talk
Opening
MobileDeLi
08:40
35m
Talk
The 3 questions every enterprise mobile application developer should ask
MobileDeLi
09:15
15m
Talk
Reducing Attack Surface on Hybrid Mobile Apps
MobileDeLi
09:30
30m
Talk
Helping Children Eat Well Via Mobile Software
MobileDeLi
10:30 - 12:00
Session 2
MobileDeLi
at
Salon G
10:30
25m
Talk
Invited Talk: Integrating Security, Analytics and Application Management into the Mobile Development Lifecycle
MobileDeLi
10:55
25m
Talk
Wearable-based mobile app for decision making: The case of a safe workplace
MobileDeLi
11:20
40m
Talk
Panel: How Mobile affects Business Processes? : The Research Perspective
MobileDeLi
13:30 - 15:00
Session 3
MobileDeLi
at
Salon G
13:30
20m
Talk
Contextion: A Framework for Developing Context-Aware Mobile Applications
MobileDeLi
13:50
20m
Talk
Invited Talk: Rapidly Prototyping Apps for Mobile Cloud-Connected Devices
MobileDeLi
Nikolai Tillmann
Microsoft Research
14:10
25m
Talk
Invited Talk: TouchGuru - Integrating Static Analysis with a Mobile Development Environment
MobileDeLi
14:35
25m
Talk
Invited Talk: User Feedback in Mobile Development
MobileDeLi
Bernd Bruegge
Technische Universität München
15:30 - 17:00
Session 4
MobileDeLi
at
Salon G
15:30
90m
Talk
Activity: Hands-on Integrating Mobile to your Business Process
MobileDeLi
Wed 22 Oct
Displayed time zone:
Tijuana, Baja California
change
10:30 - 12:00
Tutorial 1: Quality Assurance to Agile Quality
SPLASH Tutorials
at
Salon G
10:30
90m
Talk
QA to AQ: Shifting from Quality Assurance to Agile Quality
SPLASH Tutorials
Joe Yoder
The Refactory, Inc.
13:30 - 15:00
Tutorial 3: Language Composition
SPLASH Tutorials
at
Salon G
13:30
90m
Talk
Towards Language Composition
SPLASH Tutorials
Laurence Tratt
King's College London
Thu 23 Oct
Displayed time zone:
Tijuana, Baja California
change
10:30 - 12:00
Tutorial 5: One VM to Rule Them All
SPLASH Tutorials
at
Salon G
10:30
90m
Talk
One VM to Rule Them All
SPLASH Tutorials
Christian Wimmer
Oracle Labs
13:30 - 15:00
Tutorial 7: SoftEng for Mobile Dev
SPLASH Tutorials
at
Salon G
13:30
90m
Talk
Software Engineering for Mobile Development: Best Practices, Anti-patterns, Tools, and Techniques
SPLASH Tutorials
Aharon Abadi
IBM Research
15:30 - 17:00
Tutorial 8: Exercises in Programming Style
SPLASH Tutorials
at
Salon G
15:30
90m
Talk
Exercises in Programming Style
SPLASH Tutorials
Crista Lopes
University of California, Irvine
Fri 24 Oct
Displayed time zone:
Tijuana, Baja California
change
10:30 - 12:00
Tutorial 9: Designing PL for People
SPLASH Tutorials
at
Salon G
10:30
90m
Talk
Designing Programming Languages for People: Data-Driven Methods
SPLASH Tutorials
Stefan Hanenberg
University of Duisburg-Essen
,
Andreas Stefik
University of Nevada, Las Vegas
13:30 - 15:00
Tutorial 11: Generative Programming
SPLASH Tutorials
at
Salon G
13:30
90m
Talk
Batteries Included: Generative Programming with Scala and LMS
SPLASH Tutorials
Tiark Rompf
Purdue & Oracle Labs
,
Nada Amin
EPFL
,
Manohar Jonnalagedda
EPFL, Switzerland
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 G
FOOL
Welcome, Introductions, Discussion
FOOL
Research Papers
FOOL
FOOF (Future of Object-Oriented Foundations)
FOOL
Keynote
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 G
MobileDeLi
Session 1
MobileDeLi
Session 2
MobileDeLi
Session 3
MobileDeLi
Session 4
Wed 22 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
Salon G
SPLASH Tutorials
Tutorial 1: Quality Assurance to Agile Quality
SPLASH Tutorials
Tutorial 3: Language Composition
Thu 23 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Salon G
SPLASH Tutorials
Tutorial 5: One VM to Rule Them All
SPLASH Tutorials
Tutorial 7: SoftEng for Mobile Dev
SPLASH Tutorials
Tutorial 8: Exercises in Programming Style
Fri 24 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
Salon G
SPLASH Tutorials
Tutorial 9: Designing PL for People
SPLASH Tutorials
Tutorial 11: Generative Programming
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 G
FOOL
Informal Group Discussion
08:30 - 10:00
FOOL
Program Equivalence through Trace Equivalence
10:30 - 11:00
FOOL
The Problem of Structural Type Tests in a Gradual-Typed Language
11:00 - 11:30
FOOL
Managing Gradual Typing with Message-Safety in Dart
11:30 - 12:00
FOOL
The Success, Failure, and Future of Distributed Objects
13:30 - 14:14
FOOL
A Simple, Symmetric, Subjective Foundation for Object-, Aspect- and Con ...
14:15 - 15:00
FOOL
Extensibilty for the masses
15:30 - 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 G
MobileDeLi
Opening
08:30 - 08:40
MobileDeLi
The 3 questions every enterprise mobile application developer should ask
08:40 - 09:15
MobileDeLi
Reducing Attack Surface on Hybrid Mobile Apps
09:15 - 09:30
MobileDeLi
Helping Children Eat Well Via Mobile Software
09:30 - 10:00
MobileDeLi
Invited Talk: Integrating Security, Analytics and Application Managemen ...
10:30 - 10:55
MobileDeLi
Wearable-based mobile app for decision making: The case of a safe workplace
10:55 - 11:20
MobileDeLi
Panel: How Mobile affects Business Processes? : The Research Perspective
11:20 - 12:00
MobileDeLi
Contextion: A Framework for Developing Context-Aware Mobile Applications
13:30 - 13:50
MobileDeLi
Invited Talk: Rapidly Prototyping Apps for Mobile Cloud-Connected Devices
13:50 - 14:10
MobileDeLi
Invited Talk: TouchGuru - Integrating Static Analysis with a Mobile Dev ...
14:10 - 14:35
MobileDeLi
Invited Talk: User Feedback in Mobile Development
14:35 - 15:00
MobileDeLi
Activity: Hands-on Integrating Mobile to your Business Process
15:30 - 17:00
Wed 22 Oct
Displayed time zone:
Tijuana, Baja California
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
Salon G
SPLASH Tutorials
QA to AQ: Shifting from Quality Assurance to Agile Quality
10:30 - 12:00
SPLASH Tutorials
Towards Language Composition
13:30 - 15:00
Thu 23 Oct
Displayed time zone:
Tijuana, Baja California
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
Salon G
SPLASH Tutorials
One VM to Rule Them All
10:30 - 12:00
SPLASH Tutorials
Software Engineering for Mobile Development: Best Practices, Anti-patte ...
13:30 - 15:00
SPLASH Tutorials
Exercises in Programming Style
15:30 - 17:00
Fri 24 Oct
Displayed time zone:
Tijuana, Baja California
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
Salon G
SPLASH Tutorials
Designing Programming Languages for People: Data-Driven Methods
10:30 - 12:00
SPLASH Tutorials
Batteries Included: Generative Programming with Scala and LMS
13:30 - 15:00
x
Mon 7 Oct 20:41