FLOPS 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (55)

A Supun AbeysingheAbeysinghe, Supun Purdue UniversityUnited States [System Description] Rhyme: A Data-Centric Multi-Paradigm Query Language based on Functional Logic Metaprogramming
Sandra AlvesAlves, Sandra University of PortoPortugal Committee Member in Programme Committee within the FLOPS-track
Lennart AugustssonAugustsson, Lennart Epic Games Session Chair of Algebra (part of FLOPS) Verse: A New Functional Logic Language
C Matteo CiminiCimini, Matteo University of Massachusetts LowellUnited States Session Chair of Rewriting (part of FLOPS) Language-parameterized Proofs for Functional Languages with Subtyping Committee Member in Programme Committee within the FLOPS-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Session Chair of Applications (part of FLOPS) Continuations from Three Angles
D Stefan DollaseDollase, Stefan RWTH Aachen, Research Group Computer Science 2Germany A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
F François FagesFages, François Inria Saclay - Ile de FranceFrance Session Chair of Program Analysis (part of FLOPS) [System description paper] A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
Maribel FernandezFernandez, Maribel King's College LondonUnited Kingdom Committee Member in Programme Committee within the FLOPS-track
Carsten FuhsFuhs, Carsten Birkbeck, University of LondonUnited Kingdom Committee Member in Programme Committee within the FLOPS-track
G Seth GalassoGalasso, Seth University of Massachusetts LowellUnited States Language-parameterized Proofs for Functional Languages with Subtyping
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom PC Chair in Program Chairs for FLOPS 2024 Session Chair of Invited Talk (part of FLOPS) Co-chair in Programme Committee within the FLOPS-track
Jürgen GieslGiesl, Jürgen RWTH Aachen UniversityGermany A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Programme Committee within the FLOPS-track
Maxime GuillaumeGuillaume, Maxime Yseop/INRIAFrance System Description: ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars
H Makoto HamanaHamana, Makoto Kyushu Institute of Technology, JapanJapan Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement
Michael HanusHanus, Michael Kiel UniversityGermany Session Chair of Metaprogramming (part of FLOPS) Inferring Non-Failure Conditions for Declarative Programs
Naohiko HoshinoHoshino, Naohiko Sojo UniversityJapan Organizing Chair in Organizing Committee for FLOPS 2024 Session Chair of Invited Talk (part of FLOPS)
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programming
Katsumi InoueInoue, Katsumi NIIJapan Algebraic Connection between Logic Programming and Machine Learning
J Patricia JohannJohann, Patricia Appalachian State University Committee Member in Programme Committee within the FLOPS-track
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Programme Committee within the FLOPS-track
Jan-Christoph KassingKassing, Jan-Christoph RWTH AachenGermany A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
Shin-ya KatsumataKatsumata, Shin-ya Kyoto Sangyo UniversityJapan General Chair in Organizing Committee for FLOPS 2024 Session Chair of Invited Talk (part of FLOPS)
Oleg KiselyovKiselyov, Oleg Tohoku UniversityJapan Session Chair of Invited Talk (part of FLOPS) MetaOCaml: Ten Years Later (System Description)
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom Committee Member in Programme Committee within the FLOPS-track
L Chun Kit LamLam, Chun Kit Hong Kong University of Science and Technology Practical Constant-Time Memory Management for Functional Programming
Dakotah LambertLambert, Dakotah Université Jean MonnetFrance System Description: A theorem-prover for subregular systems: The Language Toolkit and its interpreter, plebby
Bjoern LellmannLellmann, Bjoern Bundesministerium für FinanzenAustria Grants4Companies: Applying declarative methods for recommending and reasoning about business grants in the Austrian public administration (System description)
Yuliya LierlerLierler, Yuliya University of Nebraska Verification of Refactoring in Answer Set Programming
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Committee Member in Programme Committee within the FLOPS-track
M Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom Committee Member in Programme Committee within the FLOPS-track
Philipp MarekMarek, Philipp BRZAustria Grants4Companies: Applying declarative methods for recommending and reasoning about business grants in the Austrian public administration (System description)
Aart MiddeldorpMiddeldorp, Aart Committee Member in Programme Committee within the FLOPS-track
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance PC Chair in Program Chairs for FLOPS 2024 Co-chair in Programme Committee within the FLOPS-track
Akimasa MorihataMorihata, Akimasa University of TokyoJapan Committee Member in Programme Committee within the FLOPS-track
Koko MuroyaMuroya, Koko RIMS, Kyoto UniversityJapan Session Chair of Proofs (part of FLOPS) Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement
N Gopalan NadathurNadathur, Gopalan University of MinnesotaUnited States Committee Member in Programme Committee within the FLOPS-track
O Carlos OlarteOlarte, Carlos CNRS; LIPN; Université Sorbonne Paris NordFrance Committee Member in Programme Committee within the FLOPS-track
P Alberto PardoPardo, Alberto Universidad de la Republica, UruguayUruguay Tabulation with Zippers
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China Practical Constant-Time Memory Management for Functional Programming
Sylvain PogodallaPogodalla, Sylvain LORIA/INRIA LorraineFrance System Description: ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars
R Tiark RompfRompf, Tiark Purdue UniversityUnited States [System Description] Rhyme: A Data-Centric Multi-Paradigm Query Language based on Functional Logic Metaprogramming
Andreas RossbergRossberg, Andreas IndependentGermany Committee Member in Programme Committee within the FLOPS-track
S João SaraivaSaraiva, João HASLab/INESC TEC, University of MinhoPortugal Tabulation with Zippers Committee Member in Programme Committee within the FLOPS-track
Alexis SaurinSaurin, Alexis Committee Member in Programme Committee within the FLOPS-track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Declarative Pearl: Rigged Contracts
Takashi SuwaSuwa, Takashi Kyoto University and National Institute of InformaticsJapan An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programming
T Paul TarauTarau, Paul University of North TexasUnited States DeepLLM: Casting Dialog Threads into Logic Programs Committee Member in Programme Committee within the FLOPS-track
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Committee Member in Programme Committee within the FLOPS-track
Alwen TiuTiu, Alwen Committee Member in Programme Committee within the FLOPS-track
Vincent TourneurTourneur, Vincent LORIA/INRIA NancyFrance System Description: ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars
Markus TriskaTriska, Markus Bundesministerium für FinanzenAustria Grants4Companies: Applying declarative methods for recommending and reasoning about business grants in the Austrian public administration (System description)
Kanae TsushimaTsushima, Kanae National Institute of Informatics, JapanJapan Committee Member in Programme Committee within the FLOPS-track
V Alexander VandenbrouckeVandenbroucke, Alexander Standard CharteredUnited Kingdom Declarative Pearl: Rigged Contracts
Marcos VieraViera, Marcos University of the Republic, UruguayUruguay Tabulation with Zippers