FLOPS 2022
Tue 10 - Thu 12 May 2022 Online

<Information: Registration page is now open!>

Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness.

FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming.

FLOPS solicits original papers in all areas of declarative programming:

  • functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques;

  • foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies.

FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by the wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged.

Dates
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
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

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

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

Accepted Papers

Title
A Functional Account of Probabilistic Programming with Possible Worlds (Declarative Pearl)
FLOPS 2022
A Lazy Desugaring System for Evaluating Programs with Sugars
FLOPS 2022
Asynchronous Unfolding for Fold/Unfold Transformation of Fixpoint Logic Formula
FLOPS 2022
Checked corecursive streams: trading expressive power for reliability
FLOPS 2022
Explanations as Programs in Probabilistic Logic Programming
FLOPS 2022
FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data
FLOPS 2022
Generating C: System Description
FLOPS 2022
Improving Type Error Reporting for Type Classes
FLOPS 2022
On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs
FLOPS 2022
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL
FLOPS 2022
Scheduling Complexity of Interleaving Search
FLOPS 2022
System Description: Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming
FLOPS 2022
Translation Certification for Smart Contracts
FLOPS 2022
Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform
FLOPS 2022
Zipping Strategies and Attribute Grammars
FLOPS 2022

Call for Papers

FLOPS solicits original papers in all areas of declarative programming:

  • functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques;

  • foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies.

FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by the wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged.

Submission

Submissions should fall into one of the following categories:

  • Regular research papers: they should describe new results and will be judged on originality, correctness, and significance.

  • System descriptions: they should describe a working system and will be judged on originality, usefulness, and design.

  • Declarative pearls: new and excellent declarative programs or theories with illustrative applications.

System descriptions and declarative pearls must be explicitly marked as such in the title.

Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy, as explained at http://www.sigplan.org/Resources/Policies/Republication.

Submissions must be written in English and can be up to 15 pages excluding references, though system descriptions and pearls are typically shorter. The formatting has to conform to Springer’s guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to an anonymized web page or an appendix, which does not count towards the page limit). However, it is the responsibility of the authors to guarantee that their paper can be understood and appreciated without referring to this supporting information; reviewers may simply choose not to look at it when writing their review.

FLOPS 2022 will employ a double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules:

  1. author names and institutions must be omitted, and

  2. references to authors’ own related work should be in the third person (e.g., not “We build on our previous work…” but rather “We build on the work of…”).

The purpose of this process is to help the reviewers come to a judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas.

Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2022

Proceedings

The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series.

Post-proceedings: The authors of 4-7 best papers will be invited to submit an extended version of their FLOPS paper to a special issue which will appear in the journal Science of Computer Programming (SCP).

Important Dates

  • Abstract submission: December 8, 2021 (AoE)
  • Paper submission: December 12, 2021 (AoE)
  • Notification: January 28, 2022
  • Camera ready due: February 20, 2022
  • Symposium: May 10-12, 2022