Blogs (2) >>
ISMM 2017
Sun 18 Jun 2017
Barcelona, Spain
co-located with
PLDI 2017
Toggle navigation
Attending
Venue: Universitat Politècnica de Catalunya
Registration
Visa
Program
ISMM Program
Your Program
Sun 18 Jun
Track/Call
Organization
ISMM 2017 Committees
Organizing Committee
Steering Committee
Track Committees
Program Committee
External Review Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
(
series
) /
PLDI 2017
(
series
) /
ISMM 2017
(
series
) /
Universitat Politècnica de Catalunya
/
Room information: Vertex WS218
Venue
Universitat Politècnica de Catalunya
Room name
Vertex WS218
Floor
0
Room number
218
Capacity
40
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+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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-06: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:00) Caracas
(GMT-04: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-02: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) 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+01: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+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04: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+07: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
Sun 18 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Keynote
ARRAY
at
Vertex WS218
Chair(s):
Andreas Kloeckner
University of Illinois at Urbana-Champaign
09:00
60m
Talk
Keynote: Towards achieving high performance, productivity, and portability for matrix/tensor computations in machine learning and data analytics
ARRAY
P. Sadayappan
Ohio State University
10:00 - 10:30
Morning talks 1
ARRAY
at
Vertex WS218
Chair(s):
Andreas Kloeckner
University of Illinois at Urbana-Champaign
10:00
30m
Talk
Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations
ARRAY
Florian Biermann
IT University of Copenhagen
,
Peter Sestoft
IT University of Copenhagen
DOI
File Attached
11:00 - 12:30
Morning talks 2
ARRAY
at
Vertex WS218
Chair(s):
Martin Elsman
Department of Computer Science, University of Copenhagen
11:00
30m
Talk
An ELI-to-C Compiler: Design, Implementation and Performance
ARRAY
Hanfeng Chen
McGill University
,
Wai-Mee Ching
,
Laurie Hendren
McGill University, Canada
DOI
File Attached
11:30
30m
Talk
Array Programming in Whiley
ARRAY
David J. Pearce
Victoria University of Wellington
DOI
File Attached
12:00
30m
Talk
Flexible Data Views: Design and Implementation
ARRAY
Leo Osvald
Purdue University, USA
,
Tiark Rompf
Purdue University
DOI
File Attached
14:00 - 15:00
Invited talk
ARRAY
at
Vertex WS218
Chair(s):
David Padua
University of Illinois at Urbana-Champaign
14:00
60m
Talk
Invited talk: APLicative Programming with Naperian Functors
ARRAY
Jeremy Gibbons
Department of Computer Science, University of Oxford
Pre-print
File Attached
15:00 - 15:30
Afternoon talks 1
ARRAY
at
Vertex WS218
Chair(s):
David Padua
University of Illinois at Urbana-Champaign
15:00
30m
Talk
Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations
ARRAY
Laurent Plagne
EDF Lab
,
Kavoos Bojnourdi
EDF Lab
DOI
File Attached
16:00 - 17:30
Afternoon talks 2
ARRAY
at
Vertex WS218
Chair(s):
P. Sadayappan
Ohio State University
16:00
30m
Talk
Efficient Array Slicing on the Intel Xeon Phi Coprocessor
ARRAY
Benjamin Andreassen
Norwegian University of Science and Technology
,
Jan Christian
Norwegian University of Science and Technology
,
Lasse Natvig
Norwegian University of Science and Technology
DOI
File Attached
16:30
30m
Talk
Modular Array-based GPU Computing in a Dynamically-typed Language
ARRAY
Matthias Springer
Tokyo Institute of Technology
,
Peter Wauligmann
Tokyo Institute of Technology
,
Hidehiko Masuhara
Tokyo Institute of Technology
DOI
File Attached
17:00
30m
Talk
HPTT: A High-Performance Tensor Transposition C++ Library
ARRAY
Paul Springer
,
Tong Su
RWTH Aachen
,
Paolo Bientinesi
DOI
File Attached
17:30 - 18:00
Closing / Discussion
ARRAY
at
Vertex WS218
Chair(s):
Martin Elsman
Department of Computer Science, University of Copenhagen
,
Andreas Kloeckner
University of Illinois at Urbana-Champaign
,
David Padua
University of Illinois at Urbana-Champaign
17:30
30m
Day closing
Closing / Discussion
ARRAY
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Morning
JSTools
at
Vertex WS218
Chair(s):
Julian Dolby
IBM Thomas J. Watson Research Center
11:00
30m
Talk
JaVerT: a logic-based tool for JavaScript Verification
JSTools
José Fragoso Santos
File Attached
11:30
30m
Talk
To Type or Not to Type: Quantifying Detectable Bugs in JavaScript
JSTools
Zheng Gao
12:00
30m
Talk
Testing and Evolving TypeScript Declaration Files with Program Analysis
JSTools
Anders Møller
Aarhus University
14:00 - 15:30
Afternoon
JSTools
at
Vertex WS218
Chair(s):
Christian Hammer
University of Potsdam
14:00
30m
Talk
BCoz: Effective Performance Debugging for Web Applications
JSTools
John Vilk
University of Massachusetts, Amherst
File Attached
14:30
30m
Talk
Repairing Event Race Errors by Controlling Nondeterminism
JSTools
Frank Tip
Northeastern University
15:00
30m
Talk
Static Analysis of CommonJS Modules
JSTools
Max Schlüter
16:00 - 18:00
Afternoon 2
JSTools
at
Vertex WS218
16:00
30m
Talk
WebPol: Fine-grained Information Flow Policies for Web Browsers
JSTools
Christian Hammer
University of Potsdam
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
Complex Event Recognition Languages
DEBS Tutorials
at
Vertex WS218
09:00
90m
Talk
Complex Event Recognition Languages
DEBS Tutorials
Alexander Artikis
University of Pireaus and NCSR "Demokritos"
,
Alessandro Margara
Politecnico di Milano
,
Martin Ugarte
Université Libre de Bruxelles
,
Stijn Vansummeren
Université Libre de Bruxelles
,
Matthias Weidlich
Humboldt-Universtität zu Berlin
11:00 - 12:30
Complex Event Recognition Languages
DEBS Tutorials
at
Vertex WS218
11:00
90m
Talk
Complex Event Recognition Languages
DEBS Tutorials
Alexander Artikis
University of Pireaus and NCSR "Demokritos"
,
Alessandro Margara
Politecnico di Milano
,
Martin Ugarte
Université Libre de Bruxelles
,
Stijn Vansummeren
Université Libre de Bruxelles
,
Matthias Weidlich
Humboldt-Universtität zu Berlin
14:00 - 15:30
Human-body Related Event Processing
DEBS Tutorials
at
Vertex WS218
14:00
90m
Talk
Human Body Related Event Processing
DEBS Tutorials
Opher Etzion
Yezreel Valley College
16:00 - 17:30
Human-body Related Event Processing
DEBS Tutorials
at
Vertex WS218
16:00
90m
Talk
Human Body Related Event Processing
DEBS Tutorials
Opher Etzion
Yezreel Valley College
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
WALA Hack-A-Thon
PLDI Tutorials
at
Vertex WS218
09:00
60m
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian Dolby
IBM Thomas J. Watson Research Center
,
Karim Ali
University of Alberta
10:30 - 12:10
WALA Hack-A-Thon (2)
PLDI Tutorials
at
Vertex WS218
10:30
1h40m
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian Dolby
IBM Thomas J. Watson Research Center
,
Karim Ali
University of Alberta
13:40 - 15:20
WALA Hack-A-Thon (3)
PLDI Tutorials
at
Vertex WS218
13:40
1h40m
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian Dolby
IBM Thomas J. Watson Research Center
,
Karim Ali
University of Alberta
15:50 - 17:00
WALA Hack-A-Thon (4)
PLDI Tutorials
at
Vertex WS218
15:50
70m
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian Dolby
IBM Thomas J. Watson Research Center
,
Karim Ali
University of Alberta
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 09:10
Opening
WCIRE
at
Vertex WS218
Chair(s):
Milind Kulkarni
Purdue University
09:00
10m
Day opening
Opening Remarks
WCIRE
Louis-Noël Pouchet
Colorado State University
,
Milind Kulkarni
Purdue University
,
Samuel Midkiff
School of Electrical and Computer Engineering, Purdue University
09:10 - 10:00
Session 1
WCIRE
at
Vertex WS218
Chair(s):
Milind Kulkarni
Purdue University
09:10
50m
Talk
The ROSE Compiler Framework
WCIRE
Louis-Noël Pouchet
Colorado State University
10:30 - 12:10
Session 2
WCIRE
at
Vertex WS218
Chair(s):
Milind Kulkarni
Purdue University
10:30
50m
Talk
The Spoofax Language Workbench
WCIRE
Eelco Visser
Delft University of Technology
Link to publication
11:20
50m
Talk
Peeking into a polyhedral compiler through the Periscop toolkit
WCIRE
Oleksandr Zinenko
Inria
13:40 - 15:20
Session 3
WCIRE
at
Vertex WS218
Chair(s):
Milind Kulkarni
Purdue University
13:40
50m
Talk
JetBrains Meta Programming System (MPS)
WCIRE
Oscar Rodriguez
JetBrains
Link to publication
14:30
50m
Talk
Polyhedral Compilation and Accelerator Programming with PENCIL and PPCG
WCIRE
Chandan Reddy
INRIA
15:50 - 16:30
Discussion
WCIRE
at
Vertex WS218
Chair(s):
Milind Kulkarni
Purdue University
15:50
40m
Other
Open Discussion: Building Infrastructure for Research and Education
WCIRE
Milind Kulkarni
Purdue University
,
Samuel Midkiff
School of Electrical and Computer Engineering, Purdue University
,
Louis-Noël Pouchet
Colorado State University
Sun 18 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Vertex WS218
ARRAY
Keynote
ARRAY
Morning talks 1
ARRAY
Morning talks 2
ARRAY
Invited talk
ARRAY
Afternoon talks 1
ARRAY
Afternoon talks 2
ARRAY
Closing / Discussion
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Vertex WS218
JSTools
JSTools
Morning
JSTools
Afternoon
JSTools
Afternoon 2
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Vertex WS218
DEBS Tutorials
Complex Event Recognition Languages
DEBS Tutorials
Complex Event Recognition Languages
DEBS Tutorials
Human-body Related Event Processing
DEBS Tutorials
Human-body Related Event Processing
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Vertex WS218
PLDI Tutorials
WALA Hack-A-Thon
PLDI Tutorials
WALA Hack-A-Thon (2)
PLDI Tutorials
WALA Hack-A-Thon (3)
PLDI Tutorials
WALA Hack-A-Thon (4)
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Vertex WS218
WCIRE
Opening
WCIRE
Session 1
WCIRE
Session 2
WCIRE
Session 3
WCIRE
Discussion
Sun 18 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
Vertex WS218
ARRAY
Keynote: Towards achieving high performance, productivity, and portabil ...
09:00 - 10:00
ARRAY
Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations
10:00 - 10:30
ARRAY
An ELI-to-C Compiler: Design, Implementation and Performance
11:00 - 11:30
ARRAY
Array Programming in Whiley
11:30 - 12:00
ARRAY
Flexible Data Views: Design and Implementation
12:00 - 12:30
ARRAY
Invited talk: APLicative Programming with Naperian Functors
14:00 - 15:00
ARRAY
Portable Vectorization and Parallelization of C++ Multi-Dimensional Arr ...
15:00 - 15:30
ARRAY
Efficient Array Slicing on the Intel Xeon Phi Coprocessor
16:00 - 16:30
ARRAY
Modular Array-based GPU Computing in a Dynamically-typed Language
16:30 - 17:00
ARRAY
HPTT: A High-Performance Tensor Transposition C++ Library
17:00 - 17:30
ARRAY
Closing / Discussion
17:30 - 18:00
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Vertex WS218
JSTools
JaVerT: a logic-based tool for JavaScript Verification
11:00 - 11:30
JSTools
To Type or Not to Type: Quantifying Detectable Bugs in JavaScript
11:30 - 12:00
JSTools
Testing and Evolving TypeScript Declaration Files with Program Analysis
12:00 - 12:30
JSTools
BCoz: Effective Performance Debugging for Web Applications
14:00 - 14:30
JSTools
Repairing Event Race Errors by Controlling Nondeterminism
14:30 - 15:00
JSTools
Static Analysis of CommonJS Modules
15:00 - 15:30
JSTools
WebPol: Fine-grained Information Flow Policies for Web Browsers
16:00 - 16:30
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
Vertex WS218
DEBS Tutorials
Complex Event Recognition Languages
09:00 - 10:30
DEBS Tutorials
Complex Event Recognition Languages
11:00 - 12:30
DEBS Tutorials
Human Body Related Event Processing
14:00 - 15:30
DEBS Tutorials
Human Body Related Event Processing
16:00 - 17:30
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
Vertex WS218
PLDI Tutorials
WALA Hack-A-Thon
09:00 - 10:00
PLDI Tutorials
WALA Hack-A-Thon
10:30 - 12:10
PLDI Tutorials
WALA Hack-A-Thon
13:40 - 15:20
PLDI Tutorials
WALA Hack-A-Thon
15:50 - 17:00
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
Vertex WS218
WCIRE
Opening Remarks
09:00 - 09:10
WCIRE
The ROSE Compiler Framework
09:10 - 10:00
WCIRE
The Spoofax Language Workbench
10:30 - 11:20
WCIRE
Peeking into a polyhedral compiler through the Periscop toolkit
11:20 - 12:10
WCIRE
JetBrains Meta Programming System (MPS)
13:40 - 14:30
WCIRE
Polyhedral Compilation and Accelerator Programming with PENCIL and PPCG
14:30 - 15:20
WCIRE
Open Discussion: Building Infrastructure for Research and Education
15:50 - 16:30
x
Sat 21 Dec 17:17