FLOPS 2022 (series) /
FLOPS 2022 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 10 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
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 70mKeynote | Adventures in Building Reliable Distributed Systems with Liquid Haskell FLOPS 2022 | ||
10:30 - 11:45 | |||
10:30 25mTalk | FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data FLOPS 2022 | ||
10:55 25mTalk | Improving Type Error Reporting for Type Classes FLOPS 2022 | ||
11:20 25mTalk | System Description: Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming FLOPS 2022 | ||
14:00 - 17:00 | |||
14:00 45mTalk | Constraint-based Relational and Temporal Verification AiDL 2022 Hiroshi Unno University of Tsukuba; RIKEN AIP | ||
14:45 45mTalk | Validating OCaml soundness by translation into Coq AiDL 2022 Jacques Garrigue Nagoya University | ||
15:30 90mMeeting | Discussion (1) AiDL 2022 | ||
21:00 - 21:50 | |||
21:00 25mTalk | Explanations as Programs in Probabilistic Logic Programming FLOPS 2022 German Vidal Universitat Politecnica de Valencia | ||
21:25 25mTalk | 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 | |||
22:10 25mTalk | 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 25mTalk | Scheduling Complexity of Interleaving Search FLOPS 2022 Dmitry Rozplokhas St Petersburg University, Dmitri Boulytchev Saint Petersburg State University / JetBrains Research | ||
Wed 11 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Wed 11 May
Displayed time zone: Osaka, Sapporo, Tokyo change
13:00 - 17:00 | |||
13:00 45mTalk | An Incremental Approach to Relational Interpreter AiDL 2022 William E. Byrd University of Alabama at Birmingham, USA | ||
13:45 45mTalk | Lambek Grammars and a new look to Context-Free Grammars (Half-Tutorial) AiDL 2022 Oleg Kiselyov Tohoku University | ||
14:45 45mTalk | Space-Efficient Polymorphic Gradual Typing AiDL 2022 Atsushi Igarashi Kyoto University, Japan | ||
15:30 90mMeeting | Discussion (2) AiDL 2022 | ||
20:30 - 21:30 | |||
20:30 60mKeynote | From Program Synthesis to Program Transformation: Case Study in Reduction Parallelization FLOPS 2022 | ||
22:00 - 22:50 | |||
22:00 25mTalk | Generating C: System Description FLOPS 2022 Oleg Kiselyov Tohoku University | ||
22:25 25mTalk | Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform FLOPS 2022 | ||
23:10 - 00:00 | |||
23:10 25mTalk | 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 25mTalk | On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs FLOPS 2022 | ||
Thu 12 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Thu 12 May
Displayed time zone: Osaka, Sapporo, Tokyo change
13:00 - 16:00 | |||
13:00 45mTalk | Efficient Black-Box Checking via Model Checking with Strengthened Specifications AiDL 2022 Junya Shijubo Kyoto University | ||
13:45 45mTalk | Weakest Preconditions in Fibrations AiDL 2022 Shin-ya Katsumata National Institute of Informatics | ||
14:30 90mMeeting | Discussion (3) AiDL 2022 | ||
18:00 - 19:00 | |||
18:00 60mKeynote | There are no integers in discrete optimisation models! FLOPS 2022 | ||
19:30 - 20:20 | |||
19:30 25mTalk | 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 25mTalk | 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 | |||
20:40 25mTalk | A Functional Account of Probabilistic Programming with Possible Worlds (Declarative Pearl) FLOPS 2022 | ||
21:05 25mTalk | 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 | ||