Room 106 & 107, IIS - AIM XXXVII

VenueIIS, Academia Sinica

Room nameRoom 106 & 107, IIS

Floor1

Room number106 & 107

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Sun 26 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

13:30 - 15:00	NIER Session 1APLAS NIER at Room 106 & 107, IIS Chair(s): Shin-Cheng Mu Academia Sinica, Taiwan

13:30 30m Talk		Counterfactual Explanations for Sequential Models through Computational Complexity APLAS NIER Anthony Widjaja Lin TU Kaiserslautern; MPI-SWS
14:00 30m Talk		A Neural-Network-Guided Approach to Program Verification and Synthesis APLAS NIER Naoki Kobayashi University of Tokyo
14:30 30m Talk		A Compositional Theory of Linearizability APLAS NIER Zhong Shao Yale University

15:30 - 17:00	NIER Session 2APLAS NIER at Room 106 & 107, IIS Chair(s): Anthony Widjaja Lin TU Kaiserslautern; MPI-SWS

15:30 30m Talk		Environment-Friendly Monadic Equational Reasoning for OCaml APLAS NIER Jacques Garrigue Nagoya University, Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan, Takafumi Saikawa Nagoya University File Attached
16:00 30m Talk		λGT: A Functional Language with Graphs as First-Class Data APLAS NIER Kazunori Ueda Waseda University, Jin Sano Waseda University File Attached
16:30 30m Talk		Bottom-Up Construction of Sublist Trees APLAS NIER Shin-Cheng Mu Academia Sinica, Taiwan

Mon 27 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	08:30 - 09:00	RegistrationAPLAS Catering at Room 106 & 107, IIS

09:00 - 10:00	Keynote 1APLAS at Room 106 & 107, IIS Chair(s): Shin-Cheng Mu Academia Sinica, Taiwan

09:00 60m Keynote		Data-Driven Static Analysis APLAS Hakjoo Oh Korea University

10:30 - 12:00	TypesAPLAS at Room 106 & 107, IIS Chair(s): Jacques Garrigue Nagoya University

10:30 30m Talk		Compilation Semantics for a Programming Language with Versions APLAS Yudai Tanabe Kyoto University, Luthfan Anshar Lubis Tokyo Institute of Technology, Tomoyuki Aotani Sanyo-Onoda City University, Hidehiko Masuhara Tokyo Institute of Technology
11:00 30m Talk		What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study APLAS Ke Sun Peking University, Sheng Chen University of Louisiana at Lafayette, Meng Wang University of Bristol, Dan Hao Peking University
11:30 30m Talk		Types and Semantics for Extensible Data Types APLAS Cas van der Rest Delft University of Technology, Casper Bach Poulsen Delft University of Technology

13:30 - 15:00	Functional LanguagesAPLAS at Room 106 & 107, IIS Chair(s): Jihyeok Park Korea University

13:30 30m Talk		A Diamond Machine for Strong Evaluation APLAS Beniamino Accattoli Inria & Ecole Polytechnique, Pablo Barenbaum Universidad Nacional de Quilmes (CONICET) & Universidad de Buenos Aires
14:00 30m Talk		Proofs as Terms, Terms as Graphs APLAS Jui-Hsuan Wu Institut Polytechnique de Paris
14:30 30m Talk		Typed Non-determinism in Functional and Concurrent Calculi APLAS Bas van den Heuvel University of Groningen, Joseph Paulus , Daniele Nantes-Sobrinho Imperial College London, Jorge A. Pérez University of Groningen

	15:30 - 17:00	Poster Session & ReceptionAPLAS SRC & Posters at Room 106 & 107, IIS See the SRC & Posters track page for more information about the entrants/authors and their work. Food and drink will be served.

Tue 28 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00	Keynote 2APLAS at Room 106 & 107, IIS Chair(s): Yannick Forster Inria

09:00 60m Keynote		Certified Automatic Verification of Industrial Cryptographic Primitive Programs APLAS Bow-Yaw Wang Academia Sinica

10:30 - 12:00	Interactive Theorem ProvingAPLAS at Room 106 & 107, IIS Chair(s): Chung-Kil Hur Seoul National University

10:30 30m Talk		A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Listsbest paper APLAS Clemens Kupke University of Strathclyde, Fredrik Nordvall Forsberg University of Strathclyde, Sean Watters University of Strathclyde
11:00 30m Talk		Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions APLAS Yannick Forster Inria, Dominik Kirst Ben-Gurion University, Niklas Mück Saarland University
11:30 30m Talk		Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq APLAS Ayumu Saito Tokyo Institute of Technology, Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan

13:30 - 15:00	Student Research Competition PresentationsAPLAS SRC & Posters at Room 106 & 107, IIS Chair(s): Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica

13:30 20m Talk		[SRC] Separate Compilation for Compositional Programming via Extensible Records APLAS SRC & Posters Yaozhu Sun University of Hong Kong File Attached
13:50 20m Talk		[SRC] Multiple Screen States for Programming with Small Screens APLAS SRC & Posters Jin Ishikawa Oita University File Attached
14:10 20m Talk		[SRC] Type-Safe Auto-Completion of Incomplete Polymorphic Programs APLAS SRC & Posters Yong Qi Foo National University of Singapore File Attached
14:30 20m Talk		[SRC] Relational Hoare Logic for Comparing Nondeterministic Programs and Probabilistic Programs through a Categorical Framework APLAS SRC & Posters Kazuki Matsuoka Tokyo Institute of Technology File Attached

15:30 - 17:00	VerificationAPLAS at Room 106 & 107, IIS Chair(s): Zhong Shao Yale University

15:30 30m Talk		Towards a Framework for Developing Verified Assemblers for the ELF Format APLAS Jinhua Wu Shanghai Jiao Tong University, Yuting Wang Shanghai Jiao Tong University, Meng Sun Shanghai Jiao Tong University, Xiangzhe Xu Purdue University, Yichen Song Shanghai Jiao Tong University DOI File Attached
16:00 30m Talk		Transport via Partial Galois Connections and Equivalences APLAS Kevin Kappelmann Technical University of Munich
16:30 30m Talk		Argument Reduction of Constrained Horn Clauses Using Equality Constraints APLAS Ryo Ikeda University of Tokyo, Ryosuke Sato University of Tokyo, Naoki Kobayashi University of Tokyo

Wed 29 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00	Keynote 3APLAS at Room 106 & 107, IIS Chair(s): Kazunori Ueda Waseda University

09:00 60m Keynote		Covering the Last Mile in Trustworthy Automated Reasoning with CakeML APLAS Yong Kiam Tan Institute for Infocomm Research, A*STAR

10:30 - 12:00	Static Analysis and TestingAPLAS at Room 106 & 107, IIS Chair(s): Yu-Fang Chen Academia Sinica

10:30 30m Talk		Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection APLAS Wenhua Li National University of Singapore, Quang Loc Le University College London, Yahui Song , Wei-Ngan Chin National University of Singapore
11:00 30m Talk		m-CFA Exhibits Perfect Stack Precision APLAS Kimball Germane Brigham Young University
11:30 30m Talk		TorchProbe: Fuzzing Dynamic Deep Learning Compilers APLAS Qidong Su University of Toronto / Vector Institute, Chuqin Geng McGill University, Gennady Pekhimenko University of Toronto / Vector Institute, Xujie Si University of Toronto

	12:00 - 12:30	Student Research Competition and Poster Session AwardsAPLAS SRC & Posters at Room 106 & 107, IIS Chair(s): Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica

Sun 26 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Room 106 & 107, IIS							APLAS NIER																																				APLAS NIER NIER Session 1																								APLAS NIER NIER Session 2

Mon 27 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Room 106 & 107, IIS							APLAS Catering Registration						APLAS Keynote 1																		APLAS Types																																				APLAS Functional Languages																								APLAS SRC & Posters Poster Session & Reception

Tue 28 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Room 106 & 107, IIS	APLAS Keynote 2																		APLAS Interactive Theorem Proving																																				APLAS SRC & Posters Student Research Competition Presentations																								APLAS Verification

Wed 29 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change


Room	9:00						30						10:00						30						11:00						30						12:00						30
Room 106 & 107, IIS	APLAS Keynote 3																		APLAS Static Analysis and Testing																		APLAS SRC & Posters Student Research Competition and Poster Session Awards

Sun 26 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change


Room	13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Room 106 & 107, IIS							APLAS NIER Counterfactual Explanations for Sequential Models through Computational ... 13:30 - 14:00						APLAS NIER A Neural-Network-Guided Approach to Program Verification and Synthesis 14:00 - 14:30						APLAS NIER A Compositional Theory of Linearizability 14:30 - 15:00												APLAS NIER Environment-Friendly Monadic Equational Reasoning for OCaml 15:30 - 16:00						APLAS NIER λGT: A Functional Language with Graphs as First-Class Data 16:00 - 16:30						APLAS NIER Bottom-Up Construction of Sublist Trees 16:30 - 17:00

Mon 27 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45
Room 106 & 107, IIS	APLAS Data-Driven Static Analysis 09:00 - 10:00																		APLAS Compilation Semantics for a Programming Language with Versions 10:30 - 11:00						APLAS What Types are Needed for Typing Dynamic Objects? A Python-based Empiri ... 11:00 - 11:30						APLAS Types and Semantics for Extensible Data Types 11:30 - 12:00																								APLAS A Diamond Machine for Strong Evaluation 13:30 - 14:00						APLAS Proofs as Terms, Terms as Graphs 14:00 - 14:30						APLAS Typed Non-determinism in Functional and Concurrent Calculi 14:30 - 15:00

Tue 28 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Room 106 & 107, IIS	APLAS Certified Automatic Verification of Industrial Cryptographic Primitive ... 09:00 - 10:00																		APLAS best paper A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists 10:30 - 11:00						APLAS Oracle Computability and Turing Reducibility in the Calculus of Inducti ... 11:00 - 11:30						APLAS Experimenting with an Intrinsically-Typed Probabilistic Programming Lan ... 11:30 - 12:00																								APLAS SRC & Posters [SRC] Separate Compilation for Compositional Programming via Extensible ... 13:30 - 13:50				APLAS SRC & Posters [SRC] Multiple Screen States for Programming with Small Screens 13:50 - 14:10				APLAS SRC & Posters [SRC] Type-Safe Auto-Completion of Incomplete Polymorphic Programs 14:10 - 14:30				APLAS SRC & Posters [SRC] Relational Hoare Logic for Comparing Nondeterministic Programs an ... 14:30 - 14:50												APLAS Towards a Framework for Developing Verified Assemblers for the ELF Format 15:30 - 16:00						APLAS Transport via Partial Galois Connections and Equivalences 16:00 - 16:30						APLAS Argument Reduction of Constrained Horn Clauses Using Equality Constraints 16:30 - 17:00

Wed 29 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45
Room 106 & 107, IIS	APLAS Covering the Last Mile in Trustworthy Automated Reasoning with CakeML 09:00 - 10:00																		APLAS Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection 10:30 - 11:00						APLAS m-CFA Exhibits Perfect Stack Precision 11:00 - 11:30						APLAS TorchProbe: Fuzzing Dynamic Deep Learning Compilers 11:30 - 12:00

Room information: Room 106 & 107, IIS

Sun 26 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Mon 27 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 28 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 29 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Sun 26 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

APLAS NIER

APLAS NIER

APLAS NIER

Mon 27 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

APLAS Catering

APLAS

APLAS

APLAS

APLAS SRC & Posters

Tue 28 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

APLAS

APLAS

APLAS SRC & Posters

APLAS

Wed 29 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

APLAS

APLAS

APLAS SRC & Posters

Sun 26 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Mon 27 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 28 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 29 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tracks

Room information: Room 106 & 107, IIS

Program Display Configuration

Sun 26 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Mon 27 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 28 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 29 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Sun 26 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

APLAS NIER

APLAS NIER

APLAS NIER

Mon 27 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

APLAS Catering

APLAS

APLAS

APLAS

APLAS SRC & Posters

Tue 28 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

APLAS

APLAS

APLAS SRC & Posters

APLAS

Wed 29 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

APLAS

APLAS

APLAS SRC & Posters

Sun 26 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Mon 27 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 28 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 29 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Sun 26 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Mon 27 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 28 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 29 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Sun 26 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Mon 27 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 28 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 29 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Sun 26 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Mon 27 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 28 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 29 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change