Modularity 2016
Mon 14 - Thu 17 March 2016
Spain
Toggle navigation
Attending
Conference Venue: University of Málaga
Survival Guide
About
Registration
Accomodation
Travelling to Málaga
Sponsoring
Program
Modularity Program
Your Program
Modularity 2016 Proceedings
Mon 14 Mar
Tue 15 Mar
Wed 16 Mar
Thu 17 Mar
Tracks
Modularity 2016
Demos & Posters
MIP Award 2006
Keynotes
Student Research Competition
Modularity Visions
Research Results
Workshops
Workshops
AOSDM
- CANCELLED
CROW
FOAL
LASSY
LaMOD
Language Modularity
MASS
MOMO
Reflect
SE4SuSy
- CANCELLED
Organization
Modularity 2016 Committees
Organizing Committee
Steering Committee
Track Committees
MIP Award 2006
Student Research Competition
Organizing Committee
SRC Reviewers
SRC Judges
Modularity Visions
Research Results
Program Committee
Review Committee (External)
Contributors
People Index
Workshops
AOSDM
N/A - check homepage
CROW
Organizing Committee
Program Committee
FOAL
N/A - check homepage
LASSY
N/A - check homepage
LaMOD
Organizing Committee
Program Committee
MASS
N/A - check homepage
MOMO
N/A - check homepage
Reflect
Organizing Committee
Program Committee
SE4SuSy
N/A - check homepage
Search
Series
Series
Modularity 2017
Modularity 2016
Sign in
Sign up
Modularity 2016
(
series
) /
University of Málaga
/
Room information: MODULARITY
Venue
University of Málaga
Room name
MODULARITY
Floor
0
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) Belfast
.
Use conference time zone: (GMT) Belfast
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-07: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-04: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-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03: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+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:00) 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
Wed 16 Mar
Displayed time zone:
Belfast
change
08:30 - 09:00
Opening Announcements
Modularity 2016
at
MODULARITY
09:00 - 10:00
Alan Borning
Keynotes
at
MODULARITY
09:00
60m
Talk
Constraints and Modularity
Keynotes
Alan Borning
CDG Labs
10:30 - 12:30
Modular Design and Reasoning
Research Results
at
MODULARITY
Chair(s):
Hridesh Rajan
Iowa State University
10:30
30m
Talk
Segregating Feature Interfaces to Support Software Product Line Maintenance
Research Results
Bruno B. P. Cafeo
PUC-Rio, Brazil
,
Claus Hunsen
University of Passau, Germany
,
Alessandro Garcia
PUC-Rio, Brazil
,
Sven Apel
University of Passau
,
Jaejoon Lee
Lancaster University, UK
DOI
11:00
30m
Talk
Reasoning Tradeoffs in Languages with Enhanced Modularity Features
Research Results
José Sánchez
Universidad Nacional, Costa Rica
,
Gary T. Leavens
University of Central Florida
DOI
11:30
30m
Talk
Unveiling and Reasoning about Co-change Dependencies
Research Results
Marcos César de Oliveira
MPOG, Brazil
,
Rodrigo Bonifácio
University of Brasília, Brazil
,
Guilherme N. Ramos
University of Brasília, Brazil
,
Márcio Ribeiro
Federal University of Alagoas (UFAL)
DOI
12:00
30m
Talk
The Expression Problem, Trivially!
Research Results
Yanlin Wang
,
Bruno C. d. S. Oliveira
University of Hong Kong
DOI
14:00 - 15:00
Modularity Mechanisms
Modularity Visions
at
MODULARITY
Chair(s):
Peter D. Mosses
Swansea University
14:00
30m
Talk
Modular Architecture for Code and Metadata Sharing
Modularity Visions
Tomas Tauber
,
Bruno C. d. S. Oliveira
University of Hong Kong
DOI
14:30
30m
Talk
Matriona: Class Nesting with Parameterization in Squeak/Smalltalk
Modularity Visions
Matthias Springer
Tokyo Institute of Technology
,
Fabio Niephaus
Hasso Plattner Institute, University of Potsdam
,
Robert Hirschfeld
HPI
,
Hidehiko Masuhara
Tokyo Institute of Technology
DOI
16:00 - 17:30
Concurrency and Recovery
Research Results
at
MODULARITY
Chair(s):
Steffen Zschaler
King's College London
16:00
30m
Talk
A Type-and-Effect System for Asynchronous, Typed Events
Research Results
Yuheng Long
Iowa State University
,
Hridesh Rajan
Iowa State University
DOI
16:30
30m
Talk
On Ordering Problems in Message Passing Software
Research Results
Yuheng Long
Iowa State University
,
Mehdi Bagherzadeh
Iowa State University
,
Eric Lin
Iowa State University, USA
,
Ganesha Upadhyaya
Iowa State University, USA
,
Hridesh Rajan
Iowa State University
DOI
17:00
30m
Talk
Fault Tolerance with Aspects: A Feasibility Study
Research Results
Sven Karol
Technische Universität Dresden
,
Norman A. Rink
TU Dresden, Germany
,
Bálint Gyapjas
TU Dresden, Germany
,
Jeronimo Castrillon
Technische Universität Dresden
DOI
16:00 - 16:05
MIP Award 2016-2006
Modularity 2016
at
MODULARITY
Thu 17 Mar
Displayed time zone:
Belfast
change
08:15 - 08:30
Opening Announcements
Modularity 2016
at
MODULARITY
08:30 - 09:30
Sven Apel
Keynotes
at
MODULARITY
08:30
60m
Talk
From Crosscutting Concerns to Feature Interactions: A Tale of Misunderstandings and Enlightenments
Keynotes
Sven Apel
University of Passau
10:00 - 11:30
Languages and Modularity
Research Results
at
MODULARITY
Chair(s):
Shigeru Chiba
University of Tokyo
10:00
30m
Talk
Modularity and Optimization in Synergy
Research Results
Walter Cazzola
Università degli Studi di Milano
,
Albert Shaqiri
DOI
10:30
30m
Talk
Cooperative Decoupled Processes: The E-Calculus and Linearity
Research Results
Andi Bejleri
TU Darmstadt, Germany
,
Mira Mezini
TU Darmstadt
,
Patrick Eugster
Purdue University
DOI
11:00
30m
Talk
CPL: A Core Language for Cloud Computing
Research Results
Oliver Bračevac
TU Darmstadt
,
Sebastian Erdweg
TU Darmstadt, Germany
,
Guido Salvaneschi
TU Darmstadt
,
Mira Mezini
TU Darmstadt
DOI
13:00 - 14:00
Crista Lopes
Keynotes
at
MODULARITY
13:00
60m
Talk
Simulating Cities: A Systems Design Perspective
Keynotes
Crista Lopes
University of California, Irvine
14:30 - 15:30
Modularity and Architecture
Modularity Visions
at
MODULARITY
Chair(s):
Walter Cazzola
Università degli Studi di Milano
14:30
30m
Talk
On Structuring Holistic Fault Tolerance
Modularity Visions
Rem Gensh
,
Alexander Romanovsky
Newcastle University, UK
,
Alex Yakovlev
Newcastle University, UK
DOI
15:00
30m
Talk
Constraints as Polymorphic Connectors
Modularity Visions
Marcel Weiher
HPI, Germany
,
Robert Hirschfeld
HPI
DOI
Wed 16 Mar
Displayed time zone:
Belfast
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
17:00
30
MODULARITY
Modularity 2016
Opening Announcements
Keynotes
Alan Borning
Research Results
Modular Design and Reasoning
Modularity Visions
Modularity Mechanisms
Research Results
Concurrency and Recovery
Modularity 2016
MIP Award 2016-2006
16:00 - 16:05
Thu 17 Mar
Displayed time zone:
Belfast
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
MODULARITY
Modularity 2016
Opening Announcements
Keynotes
Sven Apel
Research Results
Languages and Modularity
Keynotes
Crista Lopes
Modularity Visions
Modularity and Architecture
Wed 16 Mar
Displayed time zone:
Belfast
change
Room
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
17:00
15
30
45
MODULARITY
Modularity Keynotes
Constraints and Modularity
09:00 - 10:00
Modularity Research Results
Segregating Feature Interfaces to Support Software Product Line Maintenance
10:30 - 11:00
Modularity Research Results
Reasoning Tradeoffs in Languages with Enhanced Modularity Features
11:00 - 11:30
Modularity Research Results
Unveiling and Reasoning about Co-change Dependencies
11:30 - 12:00
Modularity Research Results
The Expression Problem, Trivially!
12:00 - 12:30
Modularity Visions
Modular Architecture for Code and Metadata Sharing
14:00 - 14:30
Modularity Visions
Matriona: Class Nesting with Parameterization in Squeak/Smalltalk
14:30 - 15:00
Modularity Research Results
A Type-and-Effect System for Asynchronous, Typed Events
16:00 - 16:30
Modularity Research Results
On Ordering Problems in Message Passing Software
16:30 - 17:00
Modularity Research Results
Fault Tolerance with Aspects: A Feasibility Study
17:00 - 17:30
Thu 17 Mar
Displayed time zone:
Belfast
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
MODULARITY
Modularity Keynotes
From Crosscutting Concerns to Feature Interactions: A Tale of Misunders ...
08:30 - 09:30
Modularity Research Results
Modularity and Optimization in Synergy
10:00 - 10:30
Modularity Research Results
Cooperative Decoupled Processes: The E-Calculus and Linearity
10:30 - 11:00
Modularity Research Results
CPL: A Core Language for Cloud Computing
11:00 - 11:30
Modularity Keynotes
Simulating Cities: A Systems Design Perspective
13:00 - 14:00
Modularity Visions
On Structuring Holistic Fault Tolerance
14:30 - 15:00
Modularity Visions
Constraints as Polymorphic Connectors
15:00 - 15:30
x
Thu 21 Nov 10:42