FLOPS 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (67)

A Andreas AbelAbel, Andreas Gothenburg UniversitySweden Committee Member in Program Committee within the FLOPS -track
Elvira AlbertAlbert, Elvira Complutense University of Madrid Committee Member in Program Committee within the FLOPS -track
Mahmudul Faisal Al AmeenAmeen, Mahmudul Faisal Al University of Tokyo Asynchronous Unfolding for Fold/Unfold Transformation of Fixpoint Logic Formula
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in Program Committee within the FLOPS -track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Session Chair of Session 6 (part of FLOPS ) Checked corecursive streams: trading expressive power for reliability Committee Member in Program Committee within the FLOPS -track
B Pietro BarbieriBarbieri, Pietro Università di GenovaItaly Checked corecursive streams: trading expressive power for reliability
Dmitri BoulytchevBoulytchev, Dmitri Saint Petersburg State University / JetBrains ResearchRussia Scheduling Complexity of Interleaving Search
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Session Chair of Session 2 (part of FLOPS ) An Incremental Approach to Relational Interpreter Committee Member in Program Committee within the FLOPS -track
C Manuel M. T. ChakravartyChakravarty, Manuel M. T. IOHKNetherlands Translation Certification for Smart Contracts
Sheng ChenChen, Sheng University of Louisiana at Lafayette Improving Type Error Reporting for Type Classes
Matteo CiminiCimini, Matteo University of Massachusetts at Lowell, USAUnited States Committee Member in Program Committee within the FLOPS -track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Session Chair of Session 3 (part of FLOPS ) Committee Member in Program Committee within the FLOPS -track
G Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Validating OCaml soundness by translation into Coq
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the FLOPS -track
Zhichao GuanGuan, Zhichao A Lazy Desugaring System for Evaluating Programs with Sugars
Gopal GuptaGupta, Gopal The University of Texas at DallasUnited States FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data
H Makoto HamanaHamana, Makoto Gunma University, Japan Committee Member in Program Committee within the FLOPS -track
Michael HanusHanus, Michael Kiel UniversityGermany Program Co-Chair in Organizing Committee for FLOPS 2022 Session Chair of Session 8: Invited Talk (part of FLOPS ) Session Chair of Session 1: Opening & Invited Talk (part of FLOPS ) Committee Member in Programme Chairs within the FLOPS -track Co-chair in Program Committee within the FLOPS -track
Michikazu HirataHirata, Michikazu Tokyo Institute of TechnologyJapan Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Session Chair of Session 10 (part of FLOPS ) A Lazy Desugaring System for Evaluating Programs with Sugars Committee Member in Program Committee within the FLOPS -track
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Program Co-Chair in Organizing Committee for FLOPS 2022 Session Chair of Session 1: Opening & Invited Talk (part of FLOPS ) Space-Efficient Polymorphic Gradual Typing Committee Member in Programme Chairs within the FLOPS -track Co-chair in Program Committee within the FLOPS -track Committee Member in Organizing Committee within the FLOPS AiDL-track
Keigo ImaiImai, Keigo Gifu UniversityJapan Organization Co-chair in Organizing Committee for FLOPS 2022 Committee Member in Organizing Committee within the FLOPS AiDL-track
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform
Shin-ya KatsumataKatsumata, Shin-ya National Institute of InformaticsJapan Weakest Preconditions in Fibrations
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Translation Certification for Smart Contracts
Oleg KiselyovKiselyov, Oleg Tohoku UniversityJapan Generating C: System Description Lambek Grammars and a new look to Context-Free Grammars (Half-Tutorial)
Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan Asynchronous Unfolding for Fold/Unfold Transformation of Fixpoint Logic Formula
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK Committee Member in Program Committee within the FLOPS -track
Jacco KrijnenKrijnen, Jacco Utrecht UniversityNetherlands Translation Certification for Smart Contracts
Lindsey KuperKuper, Lindsey University of California at Santa Cruz Adventures in Building Reliable Distributed Systems with Liquid Haskell
M José Nuno MacedoMacedo, José Nuno University of MinhoPortugal Zipping Strategies and Attribute Grammars
Masahiro MasudaMasuda, Masahiro University of TsukubaJapan Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform
Yasuhiko MinamideMinamide, Yasuhiko Tokyo Institute of TechnologyJapan Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL
Abha MoitraMoitra, Abha General Electric ResearchUnited States System Description: Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming
Akimasa MorihataMorihata, Akimasa University of TokyoJapan From Program Synthesis to Program Transformation: Case Study in Reduction Parallelization
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, TaiwanTaiwan Session Chair of Session 5: Invited Talk (part of FLOPS ) Committee Member in Program Committee within the FLOPS -track
Koko MuroyaMuroya, Koko RIMS, Kyoto UniversityJapan Session Chair of Session 4 (part of FLOPS ) Committee Member in Program Committee within the FLOPS -track
N Naoki NishidaNishida, Naoki Nagoya UniversityJapan On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs
Md Rabib NoorNoor, Md Rabib UL LafayetteUnited States Improving Type Error Reporting for Type Classes
O Klaus OstermannOstermann, Klaus University of Tübingen Committee Member in Program Committee within the FLOPS -track
R Ricardo RochaRocha, Ricardo University of Porto, PortugalPortugal Committee Member in Program Committee within the FLOPS -track
Dmitry RozplokhasRozplokhas, Dmitry St Petersburg UniversityRussia Scheduling Complexity of Interleaving Search
S João SaraivaSaraiva, João Zipping Strategies and Attribute Grammars
Ryosuke SatoSato, Ryosuke University of Tokyo, JapanJapan Asynchronous Unfolding for Fold/Unfold Transformation of Fixpoint Logic Formula
Tetsuya SatoSato, Tetsuya Tokyo Institute of TechnologyJapan Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium A Functional Account of Probabilistic Programming with Possible Worlds (Declarative Pearl) Committee Member in Program Committee within the FLOPS -track
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Organization Co-chair in Organizing Committee for FLOPS 2022 Committee Member in Organizing Committee within the FLOPS AiDL-track
Basel ShbitaShbita, Basel Information Sciences InstituteUnited States System Description: Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming
Junya ShijuboShijubo, Junya Kyoto University Efficient Black-Box Checking via Model Checking with Strengthened Specifications
Harald SondergaardSondergaard, Harald The University of MelbourneAustralia Committee Member in Program Committee within the FLOPS -track
Peter J. StuckeyStuckey, Peter J. Monash University There are no integers in discrete optimisation models!
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands Translation Certification for Smart Contracts
U Hiroshi UnnoUnno, Hiroshi University of Tsukuba; RIKEN AIPJapan Session Chair of Session 7 (part of FLOPS ) Constraint-based Relational and Temporal Verification Committee Member in Program Committee within the FLOPS -track
V Birthe van den Bergvan den Berg, Birthe KU LeuvenBelgium A Functional Account of Probabilistic Programming with Possible Worlds (Declarative Pearl)
Niki VazouVazou, Niki IMDEA Software Institute Committee Member in Program Committee within the FLOPS -track
German VidalVidal, German Universitat Politecnica de ValenciaSpain Explanations as Programs in Probabilistic Logic Programming
Marcos VieraViera, Marcos University of the Republic, UruguayUruguay Zipping Strategies and Attribute Grammars
Janis VoigtländerVoigtländer, Janis University of Duisburg-Essen Session Chair of Session 9 (part of FLOPS ) Committee Member in Program Committee within the FLOPS -track
W Huaduo WangWang, Huaduo University of Texas at DallasUnited States FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Committee Member in Program Committee within the FLOPS -track
X Yushuo XiaoXiao, Yushuo Peking UniversityChina A Lazy Desugaring System for Evaluating Programs with Sugars
Ningning XieXie, Ningning University of CambridgeUnited Kingdom Committee Member in Program Committee within the FLOPS -track
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Committee Member in Program Committee within the FLOPS -track
Ziyi YangYang, Ziyi National University of SingaporeSingapore A Lazy Desugaring System for Evaluating Programs with Sugars
Z Shujun ZhangZhang, Shujun Nagoya UniversityChina On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs
Neng-Fa ZhouZhou, Neng-Fa CUNY Brooklyn College and Graduate Center Committee Member in Program Committee within the FLOPS -track
Elena ZuccaZucca, Elena University of GenovaItaly Checked corecursive streams: trading expressive power for reliability