FUNARCH 2024 Contributors

Fri 6 Sep 2024 Milan, Italy

co-located with ICFP 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (35)

A Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in Program Committee within the FUNARCH-track
B Arnaud BaillyBailly, Arnaud IOHKFrance Applying Continuous Formal Methods to Cardano
Annette BieniusaBieniusa, Annette University of Kaiserslautern-LandauGermany Committee Member in Program Committee within the FUNARCH-track
C James ChapmanChapman, James Input Output Applying Continuous Formal Methods to Cardano
Marcus CrestaniCrestani, Marcus Active Group GmbHGermany Bidirectional Data Transformations
Will CrichtonCrichton, Will Brown UniversityUnited States Committee Member in Program Committee within the FUNARCH-track
D Facundo DomínguezDomínguez, Facundo TweagUruguay Committee Member in Program Committee within the FUNARCH-track Committee Member in Program Committee within the FUNARCH-track
E Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States Committee Member in Program Committee within the FUNARCH-track
Martin ElsmanElsman, Martin University of CopenhagenDenmark Committee Member in Program Committee within the FUNARCH-track
F Kiko Fernandez-ReyesFernandez-Reyes, Kiko Ericsson, SwedenSweden Committee Member in Program Committee within the FUNARCH-track
Matthew FlattFlatt, Matthew University of UtahUnited States Committee Member in Program Committee within the FUNARCH-track
Daniel FriedmanFriedman, Daniel Indiana University F3: A Compiler For Feature Engineering
G Junhua GuGu, Junhua MetaUnited States F3: A Compiler For Feature Engineering
K Marc KaufmanKaufman, Marc Central European UniversityAustria Continuations: what have they ever done for us?
L Rocky LiuLiu, Rocky MetaUnited States F3: A Compiler For Feature Engineering
M Weixi MaMa, Weixi MetaUnited States F3: A Compiler For Feature Engineering
P Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Committee Member in Program Committee within the FUNARCH-track
Bogdan PopaPopa, Bogdan Romania Continuations: what have they ever done for us?
S Marco SampellegriniSampellegrini, Marco Italy Architecting Functional Programs
Markus SchlegelSchlegel, Markus Active Group GmbHGermany Bidirectional Data Transformations
Marco SchneiderSchneider, Marco Active Group GmbHGermany Bidirectional Data Transformations
Ryan ScottScott, Ryan Galois, Inc.United States Committee Member in Program Committee within the FUNARCH-track
Ilya SergeySergey, Ilya National University of SingaporeSingapore Committee Member in Program Committee within the FUNARCH-track
Satnam SinghSingh, Satnam GroqUnited States Committee Member in Program Committee within the FUNARCH-track
Matthew SottleSottle, Matthew Lawrence Livermore National LaboratoryUnited States Design and implementation of a verified interpreter for additive manufacturing programs
Michael SperberSperber, Michael Active Group GmbHGermany Session Chair of FUNARCH Keynote (part of FUNARCH) Session Chair of FUNARCH Talks #2 (part of FUNARCH) Future of FUNARCH Program Chair in Program Committee within the FUNARCH-track
Perdita StevensStevens, Perdita University of EdinburghUnited Kingdom Session Chair of FUNARCH Talks #3 (part of FUNARCH) Session Chair of FUNARCH Talks #1 (part of FUNARCH) Program Chair in Program Committee within the FUNARCH-track
Isabella StilkerichStilkerich, Isabella Committee Member in Program Committee within the FUNARCH-track
Subbu SubramanianSubramanian, Subbu MetaUnited States F3: A Compiler For Feature Engineering
T Mohit TekriwalTekriwal, Mohit Lawrence Livermore National LaboratoryUnited States Design and implementation of a verified interpreter for additive manufacturing programs
V Arnaud VenetVenet, Arnaud Facebook F3: A Compiler For Feature Engineering
Polina VinogradovaVinogradova, Polina IOHKCanada Applying Continuous Formal Methods to Cardano
W Siyu WangWang, Siyu MetaUnited States F3: A Compiler For Feature Engineering
Y Yafei YangYang, Yafei F3: A Compiler For Feature Engineering
Jeffrey YoungYoung, Jeffrey IOHKUnited States Committee Member in Program Committee within the FUNARCH-track