DLS 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Thu 19 Nov 2020 03:20 - 03:40 at SPLASH-III - 4 Chair(s): Caterina Urban, Shigeru Chiba
Wed 18 Nov 2020 15:20 - 15:40 at SPLASH-III - 4 Chair(s): Jeremy G. Siek, Antoine Miné

Pattern matching allows programs both to extract specific information from complex data types, as well as to branch on the structure of data and thus apply specialized actions to different forms of data. Originally designed for strongly typed functional languages with algebraic data types, pattern matching has since been adapted for object-oriented and even dynamic languages. This paper discusses how pattern matching can be included in the dynamically typed language \emph{Python} in line with existing features that support extracting values from sequential data structures.

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

15:00 - 16:20
4DLS 2020 / SAS at SPLASH-III +12h
Chair(s): Jeremy G. SiekIndiana University, USA, Antoine MinéSorbonne Université
15:00
20m
Research paper
Memory-Efficient Fixpoint ComputationArtifact
SAS
Sung Kook KimUniversity of California, Davis, Arnaud J. VenetFacebook, Aditya V. ThakurUniversity of California, Davis
Pre-print Media Attached
15:20
20m
Talk
Dynamic Pattern Matching with Python
DLS 2020
Tobias KohnUniversity of Cambridge, UK, Guido van RossumPython Software Foundation, Gary Brandt Bucher, IIResearch Affiliates, LLC, Talin, Ivan LevkivskyiDropbox Ireland
Link to publication DOI Media Attached
15:40
20m
Research paper
Simple and Efficient Computation of Minimal Weak Control ClosureArtifact
SAS
Abu Naser MasudMalardalen University
Media Attached File Attached
16:00
20m
Talk
Sound, Heuristic Type Annotation Inference for Ruby
DLS 2020
Milod KazerounianUniversity of Maryland, College Park, Brianna M. RenUniversity of Maryland, Jeffrey S. FosterTufts University
Link to publication DOI Pre-print Media Attached

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

03:00 - 04:20
4SAS / DLS 2020 at SPLASH-III
Chair(s): Caterina UrbanÉcole normale supérieure, Shigeru ChibaThe University of Tokyo
03:00
20m
Research paper
Memory-Efficient Fixpoint ComputationArtifact
SAS
Sung Kook KimUniversity of California, Davis, Arnaud J. VenetFacebook, Aditya V. ThakurUniversity of California, Davis
Pre-print Media Attached
03:20
20m
Talk
Dynamic Pattern Matching with Python
DLS 2020
Tobias KohnUniversity of Cambridge, UK, Guido van RossumPython Software Foundation, Gary Brandt Bucher, IIResearch Affiliates, LLC, Talin, Ivan LevkivskyiDropbox Ireland
Link to publication DOI Media Attached
03:40
20m
Research paper
Simple and Efficient Computation of Minimal Weak Control ClosureArtifact
SAS
Abu Naser MasudMalardalen University
Media Attached File Attached
04:00
20m
Talk
Sound, Heuristic Type Annotation Inference for Ruby
DLS 2020
Milod KazerounianUniversity of Maryland, College Park, Brianna M. RenUniversity of Maryland, Jeffrey S. FosterTufts University
Link to publication DOI Pre-print Media Attached