Write a Blog >>

The Workshop on Gradual Typing (WGT) aims at disseminating the latest results on the integration of compile­-time and run­-time checking of program invariants, such as the integration of static and dynamic type checking. The workshop serves as an incubator for ideas, open problems, and manuscripts: it is a place where the community can meet, discuss, and give each other constructive feedback. The workshop will encourage participation from researchers in both academia and industry, drawing people from the many active projects on both sides of the aisle.

Format: A one-day workshop with 1­-2 invited talks and 6­-9 regular talks. The submission formats will be full­papers (max 25 pages) and short papers (max 10 pages), but there will be no official proceedings. Authors are encouraged to submit polished versions of their workshop submissions to other ACM conferences. The review process is standard, with at least three reviews of each paper by the program committee, who will then select the papers that will be presented at the workshop. The criteria for selection will prioritize novelty and timeliness over presentation quality. The program committee will also decide on the invited talks.

History: This will be the first edition of the Workshop on Gradual Typing. There was a closely related workshop that ran from 2009 to 2016, the Scripts to Programs Workshop (STOP), that was affiliated with the ECOOP conference. With the ending of that workshop coupled with the recent strength of publishing on gradual typing at the ACM SIGPLAN conferences, it seemed that the time was right to start a SIGPLAN affiliated workshop on gradual typing. In that respect, POPL is the right venue to hold this workshop. There have been 12 papers on gradual typing published in the last four editions of POPL and there was a session dedicated to gradual typing in three of the last four editions of POPL.

Plenary
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 25 Jan
Times are displayed in time zone: Saskatchewan, Central America change

09:00 - 10:00
Gradual CriteriaWGT at Orleans
Chair(s): Amal AhmedNortheastern University, USA
09:00
30m
Talk
Gradual Typing as if Types Mattered
WGT
Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile
Pre-print
09:30
30m
Talk
Fully Abstract from Static to Gradual
WGT
Koen JacobsKU Leuven, Amin Timanyimec-Distrinet KU-Leuven, Dominique DevrieseVrije Universiteit Brussel
Pre-print
10:00 - 10:30
Saturday Morning BreakCatering at Break
10:30 - 12:30
Programming featuresWGT at Orleans
Chair(s): Giuseppe CastagnaCNRS - Université de Paris, France
10:30
30m
Talk
Gradual Algebraic Data Types
WGT
Michael GreenbergPomona College, Stefan MalewskiUniversity of Santiago de Chile, Éric TanterUniversity of Chile
Pre-print File Attached
11:00
30m
Talk
Gradual Typing for Extensibility by Rows
WGT
Taro SekiyamaNational Institute of Informatics, Atsushi IgarashiKyoto University, Japan
Pre-print
11:30
30m
Talk
Foreign Function Typing: Semantic Type Soundness for FFIs
WGT
Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA
Pre-print
12:00
30m
Talk
Space-Efficient Monotonic References
WGT
Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA
Pre-print
12:30 - 14:00
Saturday LunchCatering at Lunch Room
12:30
90m
Lunch
Lunch
Catering
14:00 - 15:05
CoercionsWGT at Orleans
Chair(s): Jeremy G. SiekIndiana University, USA
14:00
32m
Talk
Hypercoercions and a Framework for Equivalence of Cast Calculi
WGT
Kuang-Chen LuIndiana University Bloomington, Jeremy G. SiekIndiana University, USA, Andre KuhlenschmidtIndiana University
Pre-print
14:32
32m
Talk
Space-Efficient Gradual Typing in Coercion-Passing Style
WGT
Yuya TsudaKyoto University, Atsushi IgarashiKyoto University, Japan, Tomoya TabuchiKyoto University
Pre-print
15:05 - 15:35
Saturday Afternoon BreakCatering at Break
15:35 - 17:45
Analysis, verification, blameWGT at Orleans
Chair(s): Niki VazouIMDEA Software Institute
15:35
32m
Talk
Gradual Verification of Recursive Heap Data Structures
WGT
Jenna WiseCarnegie Mellon University, Johannes BaderFacebook, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University
Pre-print
16:07
33m
Talk
Gradual Program Analysis
WGT
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Johannes BaderFacebook, Joshua SunshineCarnegie Mellon University
Pre-print
16:40
10m
Break
Minibreak
WGT
16:50
30m
Talk
Blame tracking at higher fidelity
WGT
Jakub ZalewskiUniversity of Edinburgh, James McKinnaUniversity of Edinburgh, J. Garrett MorrisUniversity of Kansas, USA, Philip WadlerUniversity of Edinburgh, UK
Pre-print
17:20
25m
Day closing
Discussion on gradual typing and WGT21
WGT

Call for Papers

First ACM SIGPLAN Workshop on Gradual Typing (WGT) to be held on January 25th, 2020 in New Orleans co-hosted with POPL.

Important dates

  • (Extended) Submission deadline: Sunday, October 27, 2019
  • Notification: Sunday, December the 1st, 2019
  • Workshop: Saturday, January the 25th, 2020

Description

The ACM SIGPLAN Workshop on Gradual Typing is a venue for disseminating the latest results on the integration of compile-time and run-time checking of program invariants, such as the integration of static and dynamic type checking. The workshop serves as an incubator for ideas, open problems, and manuscripts: it is a place where the community can meet, discuss, and give each other constructive feedback. The workshop will encourage participation from researchers in both academia and industry, drawing people from the many active projects on both sides of the aisle.

Criteria and proceedings

We expect the workshop to be informal since its goals are to exchange information, foster collaboration, and establish common ground. This is why not only new results, but also unfinished work with stimulating ideas, or visionary work proposing new research tracks will be welcome. The Program Committee will thus prioritize novelty and timeliness over presentation quality. We also expect authors to use the workshop as a testbed for their work before submitting a polished version of it to mainstream ACM conferences. Thus, the proceedings will not be a formal or archival publication but they will be made available online right before the workshop.

Submissions

Submission site: http://wgt20.hotcrp.com

Authors are invited to submit unpublished manuscripts using the site above. Submissions must be in pdf and have no more than 25 pages of text, excluding bibliography, using the new ACM Proceedings format for PACMPL. However, we hope to receive also much shorter submissions typically of 5-10 pages. Why such a stark difference in lengths? We think that 5-10 pages are all you need to expose your unbaked topic or your brilliant idea you want present at the workshop, but we do not want authors of a polished work to be obliged to cut their article just for presenting their results at WGT.

PACMPL templates for Microsoft Word and LaTeX can be found at the SIGPLAN author information page. In particular, authors using LaTeX should use the acmart-pacmpl-template.tex file (with the acmsmall option).

Submitted papers must adhere to the SIGPLAN Republication Policy and the ACM Policy on Plagiarism. Concurrent submissions to other conferences, workshops, journals, or similar forums of publication are not allowed.

Program Committee

  • Amal Ahmed (Northeastern University)
  • Nick Benton (Facebook)
  • Giuseppe Castagna (co-organizer, CNRS and University of Paris)
  • Erik Ernst (Google Inc.)
  • Ronald Garcia (University of British Columbia)
  • Atsushi Igarashi (Kyoto University)
  • Dmitry Petrashko (Stripe Inc.)
  • Jeremy G. Siek (co-organizer, Indiana University)
  • Eric Tanter (University of Chile)
  • Sam Tobin-Hochstadt (Indiana University)
  • Niki Vazou (IMDEA)
  • Eric Walkingshaw (Oregon State University)
  • Francesco Zappa Nardelli (INRIA)

Questions? Use the WGT contact form.