FLOPS 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (60)

A Matteo AcclavioAcclavio, Matteo University of Sussex Probabilistic Linear Logic Programming with an application to Bayesian Networks computations
Reynald AffeldtAffeldt, Reynald AIST Committee Member in Program Committee within the FLOPS-track
Jesse AlamaAlama, Jesse Vicampo TypeScript, meet Lean!
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Committee Member in Program Committee within the FLOPS-track
Joaquín AriasArias, Joaquín Universidad Rey Juan CarlosSpain Automatic Knowledge Gap Detection and Plan Validation Using Counterfactual Justifications
Michael ArntzeniusArntzenius, Michael UC BerkeleyUnited States Finite Functional Programming or, LAMBDA: the Ultimate Predicate
Lennart AugustssonAugustsson, Lennart Epic Games Committee Member in Program Committee within the FLOPS-track
B Mutsunori BanbaraBanbara, Mutsunori Nagoya UniversityJapan Committee Member in Program Committee within the FLOPS-track
Hendrik BierleeBierlee, Hendrik Monash University Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication into SAT (Declarative Pearl)
Rose BohrerBohrer, Rose National Institute of Advanced Industrial Science and Technology (AIST), JapanJapan Demonic Dynamic Logic Programming
Peter BoylandBoyland, Peter Breccia: A Functional DSL Compiled to Egglog for Test Input Generation
Alessandro BruniBruni, Alessandro IT University of Copenhagen Committee Member in Program Committee within the FLOPS-track
William E. ByrdByrd, William E. University of Alabama at BirminghamUnited States Committee Member in Program Committee within the FLOPS-track
C Pedro CabalarCabalar, Pedro University of CorunnaSpain Committee Member in Program Committee within the FLOPS-track
Quinten CaboCabo, Quinten Radboud University Nijmegen, Netherlands Finding Programming Faults Even When Large Parts of the Code have Disappeared
Sarah Canto HyattCanto Hyatt, Sarah University of California, Santa BarbaraUnited States Breccia: A Functional DSL Compiled to Egglog for Test Input Generation
Nicholas ColtharpColtharp, Nicholas Portland State UniversityUnited States Unifying Hindsight and Foresight: Lazy Cost Analysis as Functional Logic Programming
Youyou CongCong, Youyou Institute of Science TokyoJapan Committee Member in Program Committee within the FLOPS-track
D Matthew L. DaggittDaggitt, Matthew L. Heriot-Watt University Committee Member in Program Committee within the FLOPS-track
Kyle DeweyDewey, Kyle California State University, NorthridgeUnited States Breccia: A Functional DSL Compiled to Egglog for Test Input Generation
G Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Program Committee within the FLOPS-track
Andrew D. GordonGordon, Andrew D. Cogna and University of EdinburghUnited Kingdom Committee Member in Program Committee within the FLOPS-track
Gopal GuptaGupta, Gopal The University of Texas - DallasUnited States Computing Supported Models via Transformation to Stable Models Automatic Knowledge Gap Detection and Plan Validation Using Counterfactual Justifications Committee Member in Program Committee within the FLOPS-track
H Ben HardekopfHardekopf, Ben University of California at Santa BarbaraUnited States Breccia: A Functional DSL Compiled to Egglog for Test Input Generation
Jason HemannHemann, Jason Seton Hall UniversityUnited States A Fine-Grained Small-Step Semantics for Interleaving Search Committee Member in Program Committee within the FLOPS-track
Fritz HengleinHenglein, Fritz University of CopenhagenDenmark Mining algebra for power and performance
I Mirai IkebuchiIkebuchi, Mirai Kyoto UniversityJapan Committee Member in Program Committee within the FLOPS-track
Laura IsraelIsrael, Laura Portland State UniversityUnited States Unifying Hindsight and Foresight: Lazy Cost Analysis as Functional Logic Programming
J Ranjit JhalaJhala, Ranjit Epic Games Committee Member in Program Committee within the FLOPS-track
Chufeng JiangJiang, Chufeng City University of New York Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication into SAT (Declarative Pearl)
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Co-chair in Organizing Committee within the FLOPS-track
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Accelerate – past, present and future
Oleg KiselyovKiselyov, Oleg Tohoku UniversityJapan More Fun with Monoids (Declarative Pearl)
Wen KokkeKokke, Wen Well-TypedUnited Kingdom Committee Member in Program Committee within the FLOPS-track
Ekaterina KomandantskayaKomandantskaya, Ekaterina Heriot-Watt University, UKUnited Kingdom Co-chair in Program Committee within the FLOPS-track
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom Co-chair in Organizing Committee within the FLOPS-track
L Chun Kit LamLam, Chun Kit The Hong Kong University of Science and Technology (HKUST) Optimizing Mesh Booleans by Being Lazy (System Description)
Fang LiLi, Fang Oklahoma Christian University Computing Supported Models via Transformation to Stable Models
Yao LiLi, Yao Portland State UniversityUnited States Unifying Hindsight and Foresight: Lazy Cost Analysis as Functional Logic Programming
Steven LibbyLibby, Steven Unifying Hindsight and Foresight: Lazy Cost Analysis as Functional Logic Programming
M Roberto MaieliMaieli, Roberto Università degli Studi Roma Tre Probabilistic Linear Logic Programming with an application to Bayesian Networks computations
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance Committee Member in Program Committee within the FLOPS-track
Osamu MiyazawaMiyazawa, Osamu School of Computing, Institute of Science TokyoJapan Coeffect: A Coeffect Calculus for Handling Interdependent Information
Akimasa MorihataMorihata, Akimasa University of TokyoJapan Test Your Polymorphic Functions with Boolean Values Committee Member in Program Committee within the FLOPS-track
N Shin-ya NishizakiNishizaki, Shin-ya Center for Information Infrastructure, Institute of Science Tokyo, Japan Coeffect: A Coeffect Calculus for Handling Interdependent Information
P Simon Peyton JonesPeyton Jones, Simon Epic Games United Kingdom Committee Member in Program Committee within the FLOPS-track
Brysen PfingstenPfingsten, Brysen Seton Hall University A Fine-Grained Small-Step Semantics for Interleaving Search
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Committee Member in Program Committee within the FLOPS-track
R Michael RawsonRawson, Michael University of SouthamptonUnited Kingdom Committee Member in Program Committee within the FLOPS-track
S Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands Finding Programming Faults Even When Large Parts of the Code have Disappeared
Takehide SohSoh, Takehide Kobe UniversityJapan Committee Member in Program Committee within the FLOPS-track
Michael SperberSperber, Michael Active Group GmbHGermany Co-chair in Organizing Committee within the FLOPS-track Co-chair in Program Committee within the FLOPS-track
Theresa SwiftSwift, Theresa Johns Hopkins Applied Physics LaboratoryUnited States Committee Member in Program Committee within the FLOPS-track
T Enrico TassiTassi, Enrico INRIAFrance Committee Member in Program Committee within the FLOPS-track
Alexis TudorTudor, Alexis University of Texas at Dallas, USA Automatic Knowledge Gap Detection and Plan Validation Using Counterfactual Justifications
U Kazunori UedaUeda, Kazunori Waseda UniversityJapan Hierarchical Port Hypergraphs: Two Decades Toward a Unifying Structure for Declarative Languages
V Ekaterina VerbitskaiaVerbitskaia, Ekaterina JetBrains Research; Constructor University BremenNetherlands Committee Member in Program Committee within the FLOPS-track
W Max WillseyWillsey, Max University of California at BerkeleyUnited States Finite Functional Programming or, LAMBDA: the Ultimate Predicate
Z Christina ZellerZeller, Christina Active Group GmbH Committee Member in Program Committee within the FLOPS-track
Neng-Fa ZhouZhou, Neng-Fa CUNY Brooklyn College and Graduate Center Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication into SAT (Declarative Pearl) Committee Member in Program Committee within the FLOPS-track