FLOPS 2022
Tue 10 - Thu 12 May 2022 Online

Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 10 May

Displayed time zone: Osaka, Sapporo, Tokyo change

09:00 - 10:10
Session 1: Opening & Invited TalkFLOPS 2022
Chair(s): Michael Hanus Kiel University, Atsushi Igarashi Kyoto University, Japan
09:00
70m
Keynote
Adventures in Building Reliable Distributed Systems with Liquid Haskell
FLOPS 2022
I: Lindsey Kuper University of California at Santa Cruz
10:30 - 11:45
Session 2FLOPS 2022
Chair(s): William E. Byrd University of Alabama at Birmingham, USA
10:30
25m
Talk
FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data
FLOPS 2022
Huaduo Wang University of Texas at Dallas, Gopal Gupta The University of Texas at Dallas
10:55
25m
Talk
Improving Type Error Reporting for Type Classes
FLOPS 2022
Sheng Chen University of Louisiana at Lafayette, Md Rabib Noor UL Lafayette
11:20
25m
Talk
System Description: Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming
FLOPS 2022
Basel Shbita Information Sciences Institute, Abha Moitra General Electric Research
14:00 - 17:00
14:00
45m
Talk
Constraint-based Relational and Temporal Verification
AiDL 2022
Hiroshi Unno University of Tsukuba; RIKEN AIP
14:45
45m
Talk
Validating OCaml soundness by translation into Coq
AiDL 2022
Jacques Garrigue Nagoya University
15:30
90m
Meeting
Discussion (1)
AiDL 2022

21:00 - 21:50
Session 3FLOPS 2022
Chair(s): Youyou Cong Tokyo Institute of Technology
21:00
25m
Talk
Explanations as Programs in Probabilistic Logic Programming
FLOPS 2022
German Vidal Universitat Politecnica de Valencia
21:25
25m
Talk
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL
FLOPS 2022
Michikazu Hirata Tokyo Institute of Technology, Yasuhiko Minamide Tokyo Institute of Technology, Tetsuya Sato Tokyo Institute of Technology
22:10 - 23:00
Session 4FLOPS 2022
Chair(s): Koko Muroya RIMS, Kyoto University
22:10
25m
Talk
Checked corecursive streams: trading expressive power for reliability
FLOPS 2022
Davide Ancona DIBRIS, University of Genova, Italy, Pietro Barbieri Università di Genova, Elena Zucca University of Genova
22:35
25m
Talk
Scheduling Complexity of Interleaving Search
FLOPS 2022
Dmitry Rozplokhas St Petersburg University, Dmitri Boulytchev Saint Petersburg State University / JetBrains Research

Wed 11 May

Displayed time zone: Osaka, Sapporo, Tokyo change

13:00 - 17:00
13:00
45m
Talk
An Incremental Approach to Relational Interpreter
AiDL 2022
William E. Byrd University of Alabama at Birmingham, USA
13:45
45m
Talk
Lambek Grammars and a new look to Context-Free Grammars (Half-Tutorial)
AiDL 2022
Oleg Kiselyov Tohoku University
14:45
45m
Talk
Space-Efficient Polymorphic Gradual Typing
AiDL 2022
Atsushi Igarashi Kyoto University, Japan
15:30
90m
Meeting
Discussion (2)
AiDL 2022

20:30 - 21:30
Session 5: Invited TalkFLOPS 2022
Chair(s): Shin-Cheng Mu Academia Sinica, Taiwan
20:30
60m
Keynote
From Program Synthesis to Program Transformation: Case Study in Reduction Parallelization
FLOPS 2022
I: Akimasa Morihata University of Tokyo
22:00 - 22:50
Session 6FLOPS 2022
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
22:00
25m
Talk
Generating C: System Description
FLOPS 2022
Oleg Kiselyov Tohoku University
22:25
25m
Talk
Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform
FLOPS 2022
Masahiro Masuda University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba
23:10 - 00:00
Session 7FLOPS 2022
Chair(s): Hiroshi Unno University of Tsukuba; RIKEN AIP
23:10
25m
Talk
Asynchronous Unfolding for Fold/Unfold Transformation of Fixpoint Logic Formula
FLOPS 2022
Mahmudul Faisal Al Ameen University of Tokyo, Naoki Kobayashi University of Tokyo, Japan, Ryosuke Sato University of Tokyo, Japan
23:35
25m
Talk
On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs
FLOPS 2022
Shujun Zhang Nagoya University, Naoki Nishida Nagoya University

Thu 12 May

Displayed time zone: Osaka, Sapporo, Tokyo change

13:00 - 16:00
13:00
45m
Talk
Efficient Black-Box Checking via Model Checking with Strengthened Specifications
AiDL 2022
Junya Shijubo Kyoto University
13:45
45m
Talk
Weakest Preconditions in Fibrations
AiDL 2022
Shin-ya Katsumata National Institute of Informatics
14:30
90m
Meeting
Discussion (3)
AiDL 2022

18:00 - 19:00
Session 8: Invited TalkFLOPS 2022
Chair(s): Michael Hanus Kiel University
18:00
60m
Keynote
There are no integers in discrete optimisation models!
FLOPS 2022
I: Peter J. Stuckey Monash University
19:30 - 20:20
Session 9FLOPS 2022
Chair(s): Janis Voigtländer University of Duisburg-Essen
19:30
25m
Talk
A Lazy Desugaring System for Evaluating Programs with Sugars
FLOPS 2022
Ziyi Yang National University of Singapore, Yushuo Xiao Peking University, Zhichao Guan , Zhenjiang Hu Peking University
19:55
25m
Talk
Zipping Strategies and Attribute Grammars
FLOPS 2022
José Nuno Macedo University of Minho, Marcos Viera University of the Republic, Uruguay, João Saraiva
20:40 - 21:30
Session 10FLOPS 2022
Chair(s): Zhenjiang Hu Peking University
20:40
25m
Talk
A Functional Account of Probabilistic Programming with Possible Worlds (Declarative Pearl)
FLOPS 2022
Birthe van den Berg KU Leuven, Tom Schrijvers KU Leuven
21:05
25m
Talk
Translation Certification for Smart Contracts
FLOPS 2022
Jacco Krijnen Utrecht University, Manuel M. T. Chakravarty IOHK, Gabriele Keller Utrecht University, Wouter Swierstra Utrecht University, Netherlands