Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
ICFP 2020 (series) / Online /

Room information: ICFP Asia 3

VenueOnline
Room nameICFP Asia 3
Floor0
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

Tue 25 Aug

Displayed time zone: Eastern Time (US & Canada) change

22:30 - 00:00
Asia 3 (JFP talks)ICFP Program at ICFP Asia 3
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford

Public livestreams: YouTube, Bilibili (China)

22:30
11m
Talk
A theory of RPC calculi for client–server modelJFP
ICFP Program
Kwanghoon Choi , Byeong-Mo Chang
DOI Media Attached
22:41
11m
Talk
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculusJFP
ICFP Program
Álvaro García Perez IMDEA Software Institute, Pablo Nogueira ESNE University School of Design, Innovation and Technology
DOI Media Attached
22:52
11m
Talk
Local algebraic effect theoriesJFP
ICFP Program
Žiga Lukšič , Matija Pretnar University of Ljubljana, Slovenia
DOI Media Attached
23:03
11m
Talk
Heterogeneous binary random-access listsJFP
ICFP Program
Wouter Swierstra Utrecht University, Netherlands
DOI Media Attached
23:15
11m
Talk
POPLMark reloaded: Mechanizing proofs by logical relationsJFP
ICFP Program
Andreas Abel Gothenburg University, Guillaume Allais University of St Andrews, Aliya Hameer McGill University, Brigitte Pientka McGill University, Alberto Momigliano Università degli Studi di Milano, Steven Schäfer Google, Aarhus, Kathrin Stark Princeton University, USA
DOI Media Attached
23:26
11m
Talk
Perturbation confusion in forward automatic differentiation of higher-order functionsJFP
ICFP Program
Oleksandr Manzyuk , Barak A. Pearlmutter Maynooth University, Alexey Radul , David Rush , Jeffrey Mark Siskind School of Electrical and Computer Engineering, Purdue University
DOI Media Attached
23:37
11m
Talk
Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input ArraysJFP
ICFP Program
Matt McCutchen , Judith Borghouts , Andrew D. Gordon Microsoft Research and University of Edinburgh, Simon Peyton Jones Microsoft, UK, Advait Sarkar Microsoft Research and University of Cambridge
DOI Pre-print Media Attached
23:48
11m
Talk
Emerging languages: An alternative approach to teaching programming languagesJFP
ICFP Program
Saverio Perugini Ave Maria University
DOI Media Attached

Tue 25 Aug

Displayed time zone: Eastern Time (US & Canada) change

Room22:003023:0030
ICFP Asia 3

ICFP Program

Asia 3 (JFP talks)

Tue 25 Aug

Displayed time zone: Eastern Time (US & Canada) change

Room22:0015304523:00153045
ICFP Asia 3
ICFP ProgramJFP
A theory of RPC calculi for client–server model
22:30 - 22:41
ICFP ProgramJFP
The full-reducing Krivine abstract machine KN simulates pure normal-ord ...
22:41 - 22:52
ICFP ProgramJFP
Local algebraic effect theories
22:52 - 23:03
ICFP ProgramJFP
Heterogeneous binary random-access lists
23:03 - 23:15
ICFP ProgramJFP
POPLMark reloaded: Mechanizing proofs by logical relations
23:15 - 23:26
ICFP ProgramJFP
Perturbation confusion in forward automatic differentiation of higher-o ...
23:26 - 23:37
ICFP ProgramJFP
Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to ...
23:37 - 23:48
ICFP ProgramJFP
Emerging languages: An alternative approach to teaching programming lan ...
23:48 - 00:00