Write a Blog >>
ISMM 2019
Sun 23 Jun 2019 Phoenix, Arizona, United States
co-located with PLDI 2019
PLDI 2019 (series) / ISMM 2019 (series) / Phoenix Convention Center /

Room information: 106C

VenuePhoenix Convention Center
Room name106C
Floor0
Room number106C
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

Sat 22 Jun

Displayed time zone: Tijuana, Baja California change

09:00 - 10:00
Session 1ARRAY at 106C
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
09:00
60m
Talk
Array Processing on Steroids for the SKA Radio-Telescope
ARRAY
S: Peter Braam
10:00 - 11:00
Session 2ARRAY at 106C
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
10:00
30m
Talk
Convolutional Neural Networks in APL
ARRAY
A: Artjoms Šinkarovs Heriot-Watt University, UK, A: Robert Bernecky Snake Island Research, A: Sven-Bodo Scholz Heriot-Watt University
10:30
30m
Talk
Toward Generalized Tensor Algebra for ab initio Quantum Chemistry Methods
ARRAY
A: Erdal Mutlu Pacific Northwest National Laboratory, A: Karol Kowalski Pacific Northwest National Laboratory, A: Sriram Krishnamoorthy Pacific Northwest National Laboratories
11:30 - 12:30
Session 3ARRAY at 106C
Chair(s): Martin Elsman University of Copenhagen, Denmark
11:30
30m
Talk
Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays
ARRAY
A: Benjamin Chetioui University of Bergen, Norway, A: Lenore Mullin SUNY Albany, USA, A: Ole Abusdal , A: Magne Haveraaen University of Bergen, Norway, A: Jaakko Järvi University of Bergen, A: Sandra Macià Barcelona Supercomputing Center
12:00
30m
Talk
Linear Algebraic Depth-First Search
ARRAY
A: Daniele G. Spampinato ETH Zurich, A: Upasana Sridhar , A: Tze Meng Low CMU
14:00 - 15:30
Session 4ARRAY at 106C
Chair(s): Tze Meng Low CMU
14:00
30m
Talk
TeIL: a type-safe imperative Tensor Intermediate Language
ARRAY
Norman A. Rink TU Dresden, Germany, Jeronimo Castrillon TU Dresden, Germany
14:30
30m
Talk
Records with Rank Polymorphism
ARRAY
A: Justin Slepak Northeastern University, A: Olin Shivers Northeastern University, USA, A: Panagiotis Manolios Northeastern University
15:00
30m
Talk
Data-Parallel Flattening by Expansion
ARRAY
Martin Elsman University of Copenhagen, Denmark, Troels Henriksen University of Copenhagen, Denmark, Niels G. W. Serup DIKU, University of Copenhagen
16:00 - 17:30
Session 5ARRAY at 106C
Chair(s): Lenore Mullin SUNY Albany, USA
16:00
30m
Talk
ALPyNA: Acceleration of Loops in Python for Novel Architectures
ARRAY
A: Dejice Jacob , A: Jeremy Singer University of Glasgow
16:30
30m
Talk
Code Generation in Linnea (extended abstract)
ARRAY
A: Henrik Barthels RWTH Aachen, A: Paolo Bientinesi Umeå University
17:00
30m
Talk
High-Level Synthesis of Functional Patterns with Lift
ARRAY
A: Martin Kristien University of Edinburgh, UK, A: Bruno Bodin Yale-NUS College, A: Michel Steuwer University of Glasgow, A: Christophe Dubach University of Edinburgh

Sun 23 Jun

Displayed time zone: Tijuana, Baja California change

09:00 - 09:10
WelcomeDBPL at 106C
Chair(s): Alvin Cheung University of Washington, Kim Nguyễn University of Paris-Sud, France
09:10 - 10:20
Invited Talk: Jeremy GibbonsDBPL at 106C
10:20 - 11:00
Novel Data ApplicationsDBPL at 106C
10:20
20m
Talk
Detecting Unsatisfiable CSS Rules in the Presence of DTDs
DBPL
Nobutaka Suzuki University of Tsukuba, Takuya Okada University of Tsukuba, Yeondae Kwon The University of Tokyo
10:40
20m
Talk
Fluid Data Structures
DBPL
Darshana Balakrishnan University at Buffalo, Lukasz Ziarek SUNY Buffalo, USA, Oliver Kennedy University at Buffalo
11:20 - 12:20
Graphs and StreamsDBPL at 106C
11:20
20m
Talk
Streaming saturation for large RDF graphs with dynamic schema information
DBPL
Mohammad Amin Farvardin PSL, Université Paris-Dauphine, LAMSADE, Dario Colazzo , Khalid Belhajjame PSL, Université Paris-Dauphine, LAMSADE, Carlo Sartiani
11:40
20m
Talk
Arc: An IR for Batch and Stream Programming
DBPL
Lars Kroll KTH Royal Institute of Technology, Sweden, Klas Segeljakt KTH, Paris Carbone KTH, Sweden, Christian Schulte KTH Royal Institute of Technology, Sweden, Seif Haridi
Pre-print Media Attached
12:00
20m
Talk
Towards Compiling Graph Queries in Relational Engines
DBPL
Ruby Tahboub Purdue University, Xilun Wu Purdue University, Gregory Essertel , Tiark Rompf Purdue University
14:00 - 15:10
Invited Talk: Işıl DilligDBPL at 106C
15:10 - 15:30
Semantics and Analysis (part 1)DBPL at 106C
15:10
20m
Talk
On the Semantics of Cypher's Implicit Group-by
DBPL
Filip Murlak University of Warsaw, Jan Posiadała Nodes and Edges, Paweł Susicki Nodes and Edges
16:00 - 16:40
Semantics and Analysis (part 2)DBPL at 106C
16:00
20m
Talk
Language-integrated provenance by trace analysis
DBPL
Stefan Fehrenbach University of Edinburgh, James Cheney University of Edinburgh, UK
16:20
20m
Talk
Mixing set and bag semantics
DBPL
Wilmer Ricciotti University of Edinburgh, UK, James Cheney University of Edinburgh, UK
16:40 - 17:00
Concluding remarksDBPL at 106C

Sat 22 Jun

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
106C

ARRAY

Session 1

ARRAY

Session 2

ARRAY

ARRAY

Session 3

ARRAY

ARRAY

Session 4

ARRAY

ARRAY

Session 5

Sun 23 Jun

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
106C

SOAP

DBPL

Welcome

DBPL

Invited Talk: Jeremy Gibbons

DBPL

Novel Data Applications

DBPL

Graphs and Streams

DBPL

Invited Talk: Işıl Dillig

DBPL

Semantics and Analysis (part 1)

DBPL

Semantics and Analysis (part 2)

DBPL

Concluding remarks

Sat 22 Jun

Displayed time zone: Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
106C
ARRAY
Array Processing on Steroids for the SKA Radio-Telescope
09:00 - 10:00
ARRAY
Convolutional Neural Networks in APL
10:00 - 10:30
ARRAY
Toward Generalized Tensor Algebra for ab initio Quantum Chemistry Methods
10:30 - 11:00
ARRAY
Finite Difference Methods Fengshui: Alignment through a Mathematics of ...
11:30 - 12:00
ARRAY
Linear Algebraic Depth-First Search
12:00 - 12:30
ARRAY
TeIL: a type-safe imperative Tensor Intermediate Language
14:00 - 14:30
ARRAY
Records with Rank Polymorphism
14:30 - 15:00
ARRAY
Data-Parallel Flattening by Expansion
15:00 - 15:30
ARRAY
ALPyNA: Acceleration of Loops in Python for Novel Architectures
16:00 - 16:30
ARRAY
Code Generation in Linnea (extended abstract)
16:30 - 17:00
ARRAY
High-Level Synthesis of Functional Patterns with Lift
17:00 - 17:30

Sun 23 Jun

Displayed time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
106C
DBPL
Detecting Unsatisfiable CSS Rules in the Presence of DTDs
10:20 - 10:40
DBPL
Fluid Data Structures
10:40 - 11:00
DBPL
Streaming saturation for large RDF graphs with dynamic schema information
11:20 - 11:40
DBPL
Arc: An IR for Batch and Stream Programming
11:40 - 12:00
DBPL
Towards Compiling Graph Queries in Relational Engines
12:00 - 12:20
DBPL
On the Semantics of Cypher's Implicit Group-by
15:10 - 15:30
DBPL
Language-integrated provenance by trace analysis
16:00 - 16:20
DBPL
Mixing set and bag semantics
16:20 - 16:40