AGERE!
Mon 20 - Tue 21 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
VenuePortland Marriott
Room nameSalon G
Floor0
Room numberSalon G
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
Welcome, Introductions, DiscussionFOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
08:30
90m
Other
Informal Group Discussion
FOOL

10:30 - 12:00
Research PapersFOOL 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
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
KeynoteFOOL 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

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Tutorial 1: Quality Assurance to Agile QualitySPLASH 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 CompositionSPLASH 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 AllSPLASH 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 DevSPLASH 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 StyleSPLASH 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 PeopleSPLASH 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 ProgrammingSPLASH 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

Tue 21 Oct

Displayed time zone: Tijuana, Baja California change

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

Wed 22 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

Room10:0015304511:0015304512:0015304513:0015304514:00153045
Salon G

Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change