Blogs (2) >>
ISMM 2017
Sun 18 Jun 2017 Barcelona, Spain
co-located with PLDI 2017
VenueUniversitat Politècnica de Catalunya
Room nameVertex WS218
Floor0
Room number218
Capacity40
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

Sun 18 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:30
Morning talks 1ARRAY at Vertex WS218
Chair(s): Andreas KloecknerUniversity of Illinois at Urbana-Champaign
10:00
30m
Talk
Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations
ARRAY
Florian BiermannIT University of Copenhagen, Peter SestoftIT University of Copenhagen
DOI File Attached
11:00 - 12:30
Morning talks 2ARRAY at Vertex WS218
Chair(s): Martin ElsmanDepartment of Computer Science, University of Copenhagen
11:00
30m
Talk
An ELI-to-C Compiler: Design, Implementation and Performance
ARRAY
Hanfeng ChenMcGill University, Wai-Mee Ching, Laurie HendrenMcGill University, Canada
DOI File Attached
11:30
30m
Talk
Array Programming in Whiley
ARRAY
David J. PearceVictoria University of Wellington
DOI File Attached
12:00
30m
Talk
Flexible Data Views: Design and Implementation
ARRAY
Leo OsvaldPurdue University, USA, Tiark RompfPurdue University
DOI File Attached
14:00 - 15:00
Invited talkARRAY at Vertex WS218
Chair(s): David PaduaUniversity of Illinois at Urbana-Champaign
14:00
60m
Talk
Invited talk: APLicative Programming with Naperian Functors
ARRAY
Jeremy GibbonsDepartment of Computer Science, University of Oxford
Pre-print File Attached
15:00 - 15:30
Afternoon talks 1ARRAY at Vertex WS218
Chair(s): David PaduaUniversity of Illinois at Urbana-Champaign
15:00
30m
Talk
Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations
ARRAY
DOI File Attached
16:00 - 17:30
Afternoon talks 2ARRAY at Vertex WS218
Chair(s): P. SadayappanOhio State University
16:00
30m
Talk
Efficient Array Slicing on the Intel Xeon Phi Coprocessor
ARRAY
Benjamin AndreassenNorwegian University of Science and Technology, Jan ChristianNorwegian University of Science and Technology, Lasse NatvigNorwegian University of Science and Technology
DOI File Attached
16:30
30m
Talk
Modular Array-based GPU Computing in a Dynamically-typed Language
ARRAY
Matthias SpringerTokyo Institute of Technology, Peter WauligmannTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
DOI File Attached
17:00
30m
Talk
HPTT: A High-Performance Tensor Transposition C++ Library
ARRAY
DOI File Attached
17:30 - 18:00
Closing / DiscussionARRAY at Vertex WS218
Chair(s): Martin ElsmanDepartment of Computer Science, University of Copenhagen, David PaduaUniversity of Illinois at Urbana-Champaign, Andreas KloecknerUniversity of Illinois at Urbana-Champaign
17:30
30m
Day closing
Closing / Discussion
ARRAY

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
AfternoonJSTools at Vertex WS218
Chair(s): Christian HammerUniversity of Potsdam
14:00
30m
Talk
BCoz: Effective Performance Debugging for Web Applications
JSTools
John VilkUniversity of Massachusetts, Amherst
File Attached
14:30
30m
Talk
Repairing Event Race Errors by Controlling Nondeterminism
JSTools
Frank TipNortheastern University
15:00
30m
Talk
Static Analysis of CommonJS Modules
JSTools
16:00 - 18:00
Afternoon 2JSTools at Vertex WS218
16:00
30m
Talk
WebPol: Fine-grained Information Flow Policies for Web Browsers
JSTools
Christian HammerUniversity of Potsdam

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Complex Event Recognition LanguagesDEBS Tutorials at Vertex WS218
09:00
90m
Talk
Complex Event Recognition Languages
DEBS Tutorials
Alexander ArtikisUniversity of Pireaus and NCSR "Demokritos", Alessandro MargaraPolitecnico di Milano, Martin UgarteUniversité Libre de Bruxelles, Stijn VansummerenUniversité Libre de Bruxelles, Matthias WeidlichHumboldt-Universtität zu Berlin
11:00 - 12:30
Complex Event Recognition LanguagesDEBS Tutorials at Vertex WS218
11:00
90m
Talk
Complex Event Recognition Languages
DEBS Tutorials
Alexander ArtikisUniversity of Pireaus and NCSR "Demokritos", Alessandro MargaraPolitecnico di Milano, Martin UgarteUniversité Libre de Bruxelles, Stijn VansummerenUniversité Libre de Bruxelles, Matthias WeidlichHumboldt-Universtität zu Berlin
14:00 - 15:30
Human-body Related Event ProcessingDEBS Tutorials at Vertex WS218
14:00
90m
Talk
Human Body Related Event Processing
DEBS Tutorials
Opher EtzionYezreel Valley College
16:00 - 17:30
Human-body Related Event ProcessingDEBS Tutorials at Vertex WS218
16:00
90m
Talk
Human Body Related Event Processing
DEBS Tutorials
Opher EtzionYezreel Valley College

Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
WALA Hack-A-ThonPLDI Tutorials at Vertex WS218
09:00
60m
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity 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 DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity 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 DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity 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 DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta

Fri 23 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 09:10
OpeningWCIRE at Vertex WS218
Chair(s): Milind KulkarniPurdue University
09:00
10m
Day opening
Opening Remarks
WCIRE
Louis-Noël PouchetColorado State University, Milind KulkarniPurdue University, Samuel MidkiffSchool of Electrical and Computer Engineering, Purdue University
09:10 - 10:00
Session 1WCIRE at Vertex WS218
Chair(s): Milind KulkarniPurdue University
09:10
50m
Talk
The ROSE Compiler Framework
WCIRE
Louis-Noël PouchetColorado State University
10:30 - 12:10
Session 2WCIRE at Vertex WS218
Chair(s): Milind KulkarniPurdue University
10:30
50m
Talk
The Spoofax Language Workbench
WCIRE
Eelco VisserDelft University of Technology
Link to publication
11:20
50m
Talk
Peeking into a polyhedral compiler through the Periscop toolkit
WCIRE
15:50 - 16:30
DiscussionWCIRE at Vertex WS218
Chair(s): Milind KulkarniPurdue University
15:50
40m
Other
Open Discussion: Building Infrastructure for Research and Education
WCIRE
Milind KulkarniPurdue University, Samuel MidkiffSchool of Electrical and Computer Engineering, Purdue University, Louis-Noël PouchetColorado State University

Sun 18 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vertex WS218

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Vertex WS218

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Vertex WS218

Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Vertex WS218

Fri 23 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change