ICFP 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (502)

A Umut A. AcarAcar, Umut A. Carnegie Mellon University Entanglement Detection With Near-Zero Cost
Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance The Theory of Call-by-Value Solvability Multi Types and Reasonable Space
Borislav AgapievAgapiev, Borislav YottaAnswers.com Scheme Pearl: Quantum Continuations
Danel AhmanAhman, Danel University of LjubljanaSlovenia Student Research Competition Co-Chair in Organizing Committee for ICFP 2022 Student Research Competition – Finalist Presentations Student Research Competition Co-Chair in Program Committee within the ICFP Student Research Competition-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Enabling Safe Shared-Memory Interoperability in WebAssembly ANF Preserves Dependent Types up to Extensional Equality
Arseniy AlekseyevAlekseyev, Arseniy Jane Street Memo: an incremental computation library that powers Dune
David AllsoppAllsopp, David TaridesUnited Kingdom Homogeneous builds with OBuilder and OCaml Copying opam switches – it should Just Work™ Supporting a decade of opam
Florencia Alonso (Flor de Fuego)Alonso (Flor de Fuego), Florencia NoneArgentina Meet the artists Specific site: remembering is never a faithful copy
Nada AminAmin, Nada Harvard UniversityUnited States Co-chair in Organization Committee within the TyDe-track
Matthew AmyAmy, Matthew Simon Fraser UniversityCanada Committee Member in Program Committee within the PLanQC-track Committee Member in Organizing Committee within the PLanQC-track
Deepali AndeAnde, Deepali IIT Madras Composing Schedulers using Effect Handlers
Andrej Bauer AndrejAndrej, Andrej Bauer NOT_PROVIDED Committee Member in Selection Committee within the ICFP Tutorials-track
Cezar-Constantin AndriciAndrici, Cezar-Constantin MPI-SPGermany Verifying non-terminating programs with IO in F*
Jaime AriasArias, Jaime CNRS, LIPN, Université Sorbonne Paris NordFrance France in Evaluators within the ICFP Artifact Evaluation-track
Zena M. AriolaAriola, Zena M. University of OregonUnited States Program Chair in Organizing Committee for ICFP 2022 Program Chair in Steering Committee for ICFP 2022 Program Committee Chair Report Committee Member in Selection Committee within the ICFP Tutorials-track Program Chair in Program Committee within the ICFP Papers and Events-track
Stavros AronisAronis, Stavros Erlang Solutions, SwedenGreece Welcome to the Erlang Workshop Co-chair in Program Committee within the Erlang-track Co-chair in Organizing Committee within the Erlang-track
Jatin AroraArora, Jatin Carnegie Mellon University Entanglement Detection With Near-Zero Cost
ArvindArvind Massachusetts Institute of Technology, USA Fireside Chat with Arvind and Guy Steele
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Towards Dependently-Typed Control Effects (Extended Abstract) Committee Member in Program Committee within the Scheme-track Committee Member in Program Committee within the FARM-track Committee Member in Program Committee within the ML-track
Lennart AugustssonAugustsson, Lennart Epic Games Committee Member in Program Committee within the Haskell-track
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Boston UniversityUnited States Workshops Co-Chair in Organizing Committee for ICFP 2022 Session Chair of Program Verification & Synthesis (part of ICFP Papers and Events) Committee Member in Selection Committee within the ICFP Tutorials-track Committee Member in Program Committee within the ICFP Papers and Events-track Committee Member in Program Committee within the ML-track
B Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Monadic Compiler Calculation
Ignacio BallesterosBallesteros, Ignacio Universidad Politécnica de Madrid Executable Contracts for Elixir
Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Multiparty GV: Functional Multiparty Session Types With Certified Deadlock Freedom
Gilles BartheBarthe, Gilles MPI-SP, Germany / IMDEA Software Institute, Spain Safe Couplings: Coupled Refinement Types On Feller Continuity and Full Abstraction
Andrej BauerBauer, Andrej University of LjubljanaSlovenia General Chair in Organizing Committee for ICFP 2022 General Chair in Steering Committee for ICFP 2022 Welcome
Gershom BazermanBazerman, Gershom Arista Networks A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Clara Benac EarleBenac Earle, Clara Universidad Politécnica de MadridSpain Executable Contracts for Elixir
Daniil BerezunBerezun, Daniil JetBrains ResearchNetherlands On a Direction-Driven Functional Conversion Wildcard Logic Variables Co-chair in Program Committee within the miniKanren-track
Jean-Philippe BernardyBernardy, Jean-Philippe University of Gothenburg, Sweden Linearly Qualified Types: Generic inference for capabilities and uniqueness Committee Member in Program Committee within the TyDe-track Committee Member in Program Committee within the Haskell-track
Alexander BernauerBernauer, Alexander PricewaterhouseCoopers Switzerland Eiger: Auditable, executable, flexible legal regulations
Katja BerčičBerčič, Katja University of LjubljanaSlovenia Student Volunteer Co-Chair in Organizing Committee for ICFP 2022 Co-chair in Student Volunteers Committee within the ICFP Student Volunteers-track
Aggelos BiboudisBiboudis, Aggelos OracleSwitzerland Highest-performance Stream Processing
Malgorzata BiernackaBiernacka, Malgorzata University of Wrocław Session Chair of Analysis and Transformations (part of ICFP Papers and Events) A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine Committee Member in Program Committee within the ICFP Papers and Events-track
Dariusz BiernackiBiernacki, Dariusz University of Wrocław Committee Member in Program Committee within the ML-track
David BinderBinder, David University of Tübingen Structural Refinement Types Introduction and Elimination, Left and Right
Lars BirkedalBirkedal, Lars Aarhus University Later Credits: Resourceful Reasoning for the Later Modality Committee Member in Program Committee within the ICFP Papers and Events-track
Lev S. BishopBishop, Lev S. IBM Quantum Optimal synthesis into fixed XX interactions
Henry BlanchetteBlanchette, Henry Liquid Proof Macros
Roberto BlancoBlanco, Roberto Max Planck Institute for Security and Privacy (MPI-SP) OCamello: A Course and Summer School with Learn-OCaml Germany in Evaluators within the ICFP Artifact Evaluation-track
Andrew BlinnBlinn, Andrew University of MichiganUnited States tylr, a tiny tile-based structure editor
Sebastian BockBock, Sebastian Fraunhofer Institute for Open Communication Systems Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
Bernard BoeyBoey, Bernard Yale-NUS CollegeSingapore HenBlocks: Structured Editing for Coq
Robert BoothBooth, Robert The University of Edinburgh Committee Member in Program Committee within the PLanQC-track
Agustín BorgnaBorgna, Agustín Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, FranceArgentina Encoding High-level Quantum Programs as SZX-diagrams
Roger BosmanBosman, Roger Netherlands in Evaluators within the ICFP Artifact Evaluation-track
Raja BoujbelBoujbel, Raja OCamlProFrance Supporting a decade of opam
Dmitri BoulytchevBoulytchev, Dmitri St. Petersburg State University, St. Petersburg, RussiaRussia Relational Interpreters, Conversion, and Synthesis On a Direction-Driven Functional Conversion On a Declarative Guideline-Directed UI Layout Synthesis
William J. BowmanBowman, William J. University of British ColumbiaCanada Session Chair of Programming and Reasoning About Effects (part of ICFP Papers and Events) Macro-embedding Compiler Intermediate Languages in Racket ANF Preserves Dependent Types up to Extensional Equality Committee Member in Program Committee within the ICFP Papers and Events-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Lift Inference for Lexical Effect Handlers with Second-Class Functions Monadic Semantics of Bidirectional Effects Committee Member in Program Committee within the HOPE-track
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom Committee Member in Program Committee within the HOPE-track
Oliver BračevacBračevac, Oliver Purdue UniversityUnited States Committee Member in Program Committee within the TyDe-track
Joachim BreitnerBreitner, Joachim Epic Games Germany Session Chair of GHC Proposals (part of Haskell) Lightning Talk Slot #5: More recursive equations GHC Proposal Presentations
Jean BressonBresson, Jean AbletonGermany Committee Member in Program Committee within the FARM-track
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Session Chair of Session 3 (part of miniKanren) A Tutorial Reconstruction of miniKanren with constraints
Marc-André BélangerBélanger, Marc-André Université de MontréalCanada An FFI between Gambit Scheme and CPython
C Bob CalcoCalco, Bob Apex Data Solutions, LLC Introducing Visual Scheme for Applications: Modernizing Office Solutions on the CLR
Jose CalderonCalderon, Jose Galois, Inc.United States Organizing Chair in Organizing Committee within the PLMW @ ICFP-track Committee Member in Program Committee within the FARM-track
Ben CaldwellCaldwell, Ben University of ChicagoUnited States Verified Quantum Computing
Rob CanningCanning, Rob Meet the artists Fold Yer Loops!
Michael CarbinCarbin, Michael MIT CSAILUnited States Quantum Programming with Data Structures
Denis CarnierCarnier, Denis Vrije Universiteit Brussel Program Logics for Mechanizing Typechecking
Laura M. CastroCastro, Laura M. University of A CoruñaSpain PC Member in Program Committee within the Erlang-track
Gerson CavalheiroCavalheiro, Gerson Universidade Federal de Pelotas Open Transactional Actions: Interacting with non-transactional resources in STM Haskell
James ChapmanChapman, James Input Output Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs
Witold CharatonikCharatonik, Witold University of Wrocław, Faculty of Mathematics and Computer Science A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
Hilbert ChenChen, Hilbert University of MichiganUnited States Compiling Functional Programs with Holes
Liang-Ting ChenChen, Liang-Ting Academia SinicaTaiwan Datatype-Generic Programming Meets Elaborator Reflection
Yanjun ChenChen, Yanjun University of MichiganUnited States Compiling Functional Programs with Holes
Zilin ChenChen, Zilin UNSW SydneyAustralia A Hoare-Logic Style Refinement Types Formalisation
James CheneyCheney, James University of Edinburgh; Alan Turing InstituteUnited Kingdom Constraint-based type inference for FreezeML
Wei-Ngan ChinChin, Wei-Ngan National University of Singapore Tracing OCaml Programs
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Committee Member in Steering Committee for ICFP 2022
Sloan ChochinovChochinov, Sloan University of Toronto Mississauga Fail Fast and Profile On: Towards a miniKanren Profiler
Vikraman ChoudhuryChoudhury, Vikraman University of GlasgowUnited States Scheme Pearl: Quantum Continuations United Kingdom in Evaluators within the ICFP Artifact Evaluation-track
David Thrane ChristiansenChristiansen, David Thrane The Haskell FoundationDenmark Introduction to Lean Industrial Strength Laziness: What's Next? Demos
Jürgen CitoCito, Jürgen TU WienAustria Toward Grammar Inference via Refinement Types (Extended Abstract)
Jesper CockxCockx, Jesper TU DelftNetherlands Session Chair of (Gradual) Type Theory (part of ICFP Papers and Events) Demos Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs Practical generic programming over a universe of datatypes Committee Member in Program Committee within the ICFP Papers and Events-track
Jonathas Augusto de Oliveira ConceiçãoConceição, Jonathas Augusto de Oliveira Universidade Federal de Pelotas Open Transactional Actions: Interacting with non-transactional resources in STM Haskell
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Monadic Semantics of Bidirectional Effects Towards Dependently-Typed Control Effects (Extended Abstract) Program Chair in Organizing Committee within the FARM-track Program Chair in Program Committee within the FARM-track
Mistral ContrastinContrastin, Mistral Facebook LondonUnited Kingdom United Kingdom in Evaluators within the ICFP Artifact Evaluation-track
Nathan CorbynCorbyn, Nathan University of OxfordUnited Kingdom Normalization by Evaluation with Free Extensions (Extended Abstract) Generalised free extensions
Arthur CorrensonCorrenson, Arthur École Normale Supérieure de Rennes & Saarland University Formal Verification of a Lazy Abstraction Model Checker
Francesco CorviCorvi, Francesco Live coding with Adapt Meet the artists
Nathanaëlle CourantCourant, Nathanaëlle INRIAFrance An OCaml use case for strong call-by-need reduction
Raphaëlle CrubilléCrubillé, Raphaëlle CNRS On Feller Continuity and Full Abstraction
Pierre-Louis CurienCurien, Pierre-Louis Univ. Paris Diderot and INRIA Paris-RocquencourtFrance Mu tilde (re)cycled
D Pierre-Evariste DagandDagand, Pierre-Evariste LIP6/CNRS France Committee Member in Program Committee within the TyDe-track
Francesco DagninoDagnino, Francesco DIBRIS, University of Genova, ItalyItaly PC Member in Program Committee within the miniKanren-track
Ugo Dal LagoDal Lago, Ugo University of Bologna; InriaItaly Session Chair of Keynote (part of ICFP Papers and Events) On Reinforcement Learning, Effect Handlers, and the State Monad On Feller Continuity and Full Abstraction Multi Types and Reasonable Space Committee Member in Program Committee within the ICFP Papers and Events-track
Liliane-Joy DandyDandy, Liliane-Joy EPFL, Ecole Polytechnique Type-safe (Variational) Quantum Programming in Idris
Nils Anders DanielssonDanielsson, Nils Anders University of GothenburgSweden Committee Member in Program Committee within the ICFP Papers and Events-track
Norman DannerDanner, Norman Wesleyan UniversityUnited States Denotational semantics as a foundation for cost recurrence extraction for functional languages Committee Member in Program Committee within the ICFP Papers and Events-track
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Committee Member in Program Committee within the ICFP Papers and Events-track
Luis Eduardo Bueso de Barriode Barrio, Luis Eduardo Bueso Universidad Politécnica de MadridSpain Executable Contracts for Elixir
Leonardo de Mourade Moura, Leonardo Microsoft Research, n.n. 'do' Unchained: Embracing Local Imperativity in a Purely Functional Language
Simão Melo de Sousade Sousa, Simão Melo Universidade da Beira Interior and NOVA LINCS Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is understanding
Edsko de Vriesde Vries, Edsko Well-Typed LLPNetherlands Searching Entangled Program Spaces
Alain Delaët-TixeuilDelaët-Tixeuil, Alain ENS LyonFrance Committee Member in Evaluators within the ICFP Artifact Evaluation-track
Germán Andrés DelbiancoDelbianco, Germán Andrés Nomadic LabsFrance Verify, but test: extracting property-based tests from F* specifications
Kate DeplaixDeplaix, Kate Tarides UK Homogeneous builds with OBuilder and OCaml Supporting a decade of opam
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium Verified Symbolic Execution with Kripke Specification Monads (and no Meta-Programming)
Cecilia Di FlorioDi Florio, Cecilia University of Bologna Quantitative and Metric Rewriting: Abstract and Linear Systems
Olivia Di MatteoDi Matteo, Olivia University of British Columbia Committee Member in Program Committee within the PLanQC-track
Artur Miguel DiasDias, Artur Miguel NOVA University of Lisbon and NOVA LINCS Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is understanding
Iavor DiatchkiDiatchki, Iavor Galois, Inc. Committee Member in Program Committee within the Haskell-track
Atze DijkstraDijkstra, Atze Standard Chartered BankUnited Kingdom Industrial Relations Co-Chair in Organizing Committee for ICFP 2022 Steering Committee Member in Steering Committee for ICFP 2022
Yufei DingDing, Yufei University of California at Santa Barbara Committee Member in Program Committee within the PLanQC-track
Dino DistefanoDistefano, Dino Facebook London InfERL: Scalable and Extensible Erlang Static Analysis
Mike DoddsDodds, Mike Galois, Inc. Formal Methods: Theory and Practice
Stephen DolanDolan, Stephen Jane Street Session Chair of Verification (part of ML) Unboxed types for OCaml Stack allocation for OCaml
Stephen DolanDolan, Stephen Computing with Generic Trees in Agda Committee Member in Program Committee within the ML-track
Evan DonahueDonahue, Evan University of Tokyo Efficient Variational Inference in miniKanren with Weighted Model Counting
Enrico DorigattiDorigatti, Enrico University of PortsmouthItaly Meet the artists Xeno
Paul DownenDownen, Paul University of Massachusetts LowellUnited States Introduction and Elimination, Left and Right
Tomasz DrabDrab, Tomasz University of Wrocław, Faculty of Mathematics and Computer SciencePoland A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
Derek DreyerDreyer, Derek MPI-SWSGermany How to Write Papers and Give Talks That People Can Follow Later Credits: Resourceful Reasoning for the Later Modality
André Rauber Du BoisDu Bois, André Rauber Universidade Federal de Pelotas Open Transactional Actions: Interacting with non-transactional resources in STM Haskell
Tom DuBuissonDuBuisson, Tom Galois Committee Member in Evaluators within the ICFP Artifact Evaluation-track
Ross DuncanDuncan, Ross Cambridge Quantum Computing Session Chair of Formalization, verification, and correctness (part of PLanQC) Committee Member in Program Committee within the PLanQC-track Committee Member in Organizing Committee within the PLanQC-track
Antonin DécimoDécimo, Antonin Tarides Homogeneous builds with OBuilder and OCaml
E Harley D. Eades IIIEades III, Harley D. Augusta UniversityUnited States Co-chair in Organization Committee within the TyDe-track
Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States Session Chair of Keynote I (part of Haskell) Unboxed types for OCaml Eiger: Auditable, executable, flexible legal regulations Linearly Qualified Types: Generic inference for capabilities and uniqueness
Frank EmrichEmrich, Frank University of Edinburgh, UK Constraint-based type inference for FreezeML
Gergo ErdiErdi, Gergo Standard Chartered Bank Compiling Mu with GHC: Halfway Down the Rabbit Hole Lightning Talk Slot #1: Signature Sections GHC Proposal Presentations
Joseph EremondiEremondi, Joseph University of British ColumbiaCanada Extinguishing the Fire Triangle of Gradual Dependent Types Propositional Equality for Gradual Dependently Typed Programming
Lucas EscotEscot, Lucas TU Delft Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs Practical generic programming over a universe of datatypes
F Kavon FarvardinFarvardin, Kavon AppleUnited States Committee Member in Program Committee within the ML-track
Marc FeeleyFeeley, Marc Université de MontréalCanada An FFI between Gambit Scheme and CPython
Samuel FeitosaFeitosa, Samuel Universidade Federal da Fronteira Sul Open Transactional Actions: Interacting with non-transactional resources in STM Haskell
Maribel FernandezFernandez, Maribel King's College LondonUnited Kingdom Committee Member in Program Committee within the ICFP Papers and Events-track
Kiko Fernandez-ReyesFernandez-Reyes, Kiko KlarnaSweden PC Member in Program Committee within the Erlang-track
Patrick FerrisFerris, Patrick Tarides Continuous Monitoring of OCaml Applications using Runtime Events Homogeneous builds with OBuilder and OCaml
Michael FitzgibbonsFitzgibbons, Michael Northeastern University (USA) Enabling Safe Shared-Memory Interoperability in WebAssembly
Mário FloridoFlorido, Mário Universidade do Porto Towards Algebraic Subtyping for Extensible Records
Denis FokinFokin, Denis On a Declarative Guideline-Directed UI Layout Synthesis
Kenneth FonerFoner, Kenneth How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond
Darius FooFoo, Darius Tracing OCaml Programs
Yannick ForsterForster, Yannick InriaFrance Extraction to OCaml from Coq: Operational Correctness Verified in Coq
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Steering Committee Member in Steering Committee for ICFP 2022
Nate FosterFoster, Nate Cornell UniversityUnited States Deep Programmability: A New Lens on Networking
Lucas FranceschinoFranceschino, Lucas INRIAFrance Committee Member in Evaluators within the ICFP Artifact Evaluation-track
Lars-Åke FredlundFredlund, Lars-Åke Universidad Politécnica de MadridSpain Executable Contracts for Elixir PC Member in Program Committee within the Erlang-track
Luka FrelihFrelih, Luka LJUDMILA Art & Science LaboratorySlovenia Session Chair of Performance Evening (part of FARM) Meet the artists Performance Chair in Organizing Committee within the FARM-track
Daniel P. FriedmanFriedman, Daniel P. Indiana University, USA Some criteria for implementations of conjunction and disjunction in microKanren
Aymeric FromherzFromherz, Aymeric Carnegie Mellon University France in Evaluators within the ICFP Artifact Evaluation-track
Peng FuFu, Peng Dalhousie University Committee Member in Program Committee within the PLanQC-track
Hugo FéréeFérée, Hugo University of Kent, UKUnited Kingdom France in Evaluators within the ICFP Artifact Evaluation-track
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Session Chair of TyDe 3 / Zena's Birthday 1 (part of TyDe) Session Chair of Zena's Birthday 2 (part of TyDe) Zena's birthday introduction
Michael GaleGale, Michael TweagUnited Kingdom Committee Member in Program Committee within the Haskell-track
Ben GamariGamari, Ben Well-Typed LLPUnited States State of GHC
Ronald GarciaGarcia, Ronald University of British Columbia University of British Columbia in Steering Committee for ICFP 2022 Session Chair of Conclusions (part of ICFP Papers and Events) Propositional Equality for Gradual Dependently Typed Programming
Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Interpreting OCaml GADTs into Coq
Francesco GavazzoGavazzo, Francesco University of Bologna & INRIA Sophia Antipolis Quantitative and Metric Rewriting: Abstract and Linear Systems On Reinforcement Learning, Effect Handlers, and the State Monad On Feller Continuity and Full Abstraction
Louis GesbertGesbert, Louis OCamlPro Supporting a decade of opam Committee Member in Program Committee within the OCaml-track
Silvia GhilezanGhilezan, Silvia University of Novi Sad, Mathematical Institute SASASerbia Session Chair of Lambda Calculus and Semantics (part of ICFP Papers and Events) Duality of intersection and union types - where and how? Committee Member in Program Committee within the ICFP Papers and Events-track
Alexis GhyselenGhyselen, Alexis University of Bologna On Reinforcement Learning, Effect Handlers, and the State Monad
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Steering Committee Member in Steering Committee for ICFP 2022 Committee Member in Program Committee within the FARM-track
Thomas GilrayGilray, Thomas University of Alabama at BirminghamUnited States Formal Methods: Theory and Practice
Pierre GiraudGiraud, Pierre Inria, Team Gallinette Extraction to OCaml from Coq: Operational Correctness Verified in Coq
Matthías Páll GissurarsonGissurarson, Matthías Páll Chalmers University of Technology, SwedenSweden CSI: Haskell: Fault-Localization in Lazy Languages using Runtime Tracing GHC Proposal Presentations Demos CSI: Haskell: Fault-Localization in Lazy Languages using Runtime Tracing
Arthur GlecklerGleckler, Arthur SRFI EditorUnited States Session Chair of Session 4 (part of Scheme) Session Chair of Session 3 (part of Scheme) Scheme Requests for Implementation Status Report Co-chair in Organizing Committee within the Scheme-track
Robert GlückGlück, Robert University of CopenhagenDenmark Session Chair of Session 1 (part of miniKanren) PC Member in Program Committee within the miniKanren-track
Andrés GoensGoens, Andrés the University of Edinburgh United Kingdom in Evaluators within the ICFP Artifact Evaluation-track
Anitha GollamudiGollamudi, Anitha University of Massachusetts Lowell Committee Member in Program Committee within the TyDe-track
Lourdes del Carmen González-HuescaGonzález-Huesca, Lourdes del Carmen National Autonomous University of MexicoMexico Mexico in Evaluators within the ICFP Artifact Evaluation-track
Maria I. GorinovaGorinova, Maria I. TwitterUnited Kingdom Committee Member in Program Committee within the ICFP Student Research Competition-track
Cassandra GranadeGranade, Cassandra Microsoft Committee Member in Program Committee within the PLanQC-track
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States How to Safely Use Extensionality in Liquid Haskell
Gabor GreifGreif, Gabor DFINITYGermany Facilitator in Program Committee within the FUNARCH-track
Radu GrigoreGrigore, Radu FacebookUnited Kingdom InfERL: Scalable and Extensible Erlang Static Analysis
Dan GrossmanGrossman, Dan University of WashingtonUnited States Committee Member in Program Committee within the ICFP Papers and Events-track
Giulio GuerrieriGuerrieri, Giulio Huawei Edinburgh Research CentreUnited Kingdom The Theory of Call-by-Value Solvability
Zheng GuoGuo, Zheng University of California, San Diego Searching Entangled Program Spaces
Per GustafssonGustafsson, Per Meta InfERL: Scalable and Extensible Erlang Static Analysis
Armaël GuéneauGuéneau, Armaël Committee Member in Program Committee within the ML-track
Lennard GäherGäher, Lennard MPI-SWS & Saarland UniversityGermany Later Credits: Resourceful Reasoning for the Later Modality
Ulysse GérardGérard, Ulysse Tarides Module Shapes for Modern Tooling
Matthias GüdemannGüdemann, Matthias University of Applied Sciences MunichGermany Germany in Evaluators within the ICFP Artifact Evaluation-track
H Ákos HajduHajdu, Ákos MetaUnited Kingdom InfERL: Scalable and Extensible Erlang Static Analysis
William T. HallahanHallahan, William T. Yale University Committee Member in Program Committee within the Haskell-track
Makoto HamanaHamana, Makoto Gunma University, JapanJapan A Termination Checker for Haskell Rewrite Rules Demos Committee Member in Program Committee within the Haskell-track
Robert HarperHarper, Robert Carnegie Mellon UniversityUnited States OPLSS over twenty years (online) Committee Member in Program Committee within the ICFP Papers and Events-track
Manfred HauswirthHauswirth, Manfred Fraunhofer Institute for Open Communication Systems, TU Berlin Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
Matthias HeinzelHeinzel, Matthias Utrecht UniversityNetherlands Provingly Correct Optimisations on Intrinsically Typed Expressions (Extended Abstract)
Jason HemannHemann, Jason Seton Hall UniversityUnited States Session Chair of Session 2 (part of miniKanren) Some criteria for implementations of conjunction and disjunction in microKanren PC Member in Program Committee within the miniKanren-track
Sylvain HenryHenry, Sylvain Lightning Talk Slot #4: Modularizing GHC
Martin HenzHenz, Martin National University of SingaporeSingapore Committee Member in Program Committee within the Scheme-track
Hugo HerbelinHerbelin, Hugo The impact of delimited control and call-by-need in proof theory
Ángel HerranzHerranz, Ángel Universidad Politécnica de MadridSpain Executable Contracts for Elixir
Kesha HietalaHietala, Kesha University of MarylandUnited States Q: Implementing Quantum Separation Logic in F Committee Member in Program Committee within the PLanQC-track
Daniel HillerströmHillerström, Daniel The University of EdinburghUnited Kingdom Student Research Competition Co-Chair in Organizing Committee for ICFP 2022 Student Research Competition – Finalist Presentations Student Research Competition Co-Chair in Program Committee within the ICFP Student Research Competition-track Co-chair in Program Committee within the HOPE-track
Andrew K. HirschHirsch, Andrew K. MPI-SWSGermany Committee Member in Program Committee within the Haskell-track
Son HoHo, Son INRIAFrance Aeneas: Rust Verification by Functional Translation Committee Member in Evaluators within the ICFP Artifact Evaluation-track
Tram HoangHoang, Tram National University of Singapore Random Testing of a Higher-Order Blockchain Language
Celeste HollenbeckHollenbeck, Celeste University of Edinburgh Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Hirotetsu HongoHongo, Hirotetsu Kotoi-Xie Consultancy, Inc. Introducing the Bindoj library, a datatype-centric generative programming library for real-world programming in OCaml
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Verifying non-terminating programs with IO in F*
Nick HuHu, Nick University of OxfordUnited Kingdom United Kingdom in Evaluators within the ICFP Artifact Evaluation-track
Alex HubersHubers, Alex The University of Iowa Partial Type Constructors in Practice
John HughesHughes, John Chalmers University of Technology, SwedenSweden Committee Member in Program Committee within the Haskell-track
Graham HuttonHutton, Graham University of Nottingham, UKUnited Kingdom Monadic Compiler Calculation Committee Member in Program Committee within the ICFP Papers and Events-track
Sander HuyghebaertHuyghebaert, Sander Vrije Universiteit Brussel Verified Symbolic Execution with Kripke Specification Monads (and no Meta-Programming)
I Pepe IborraIborra, Pepe MetaSpain Committee Member in Program Committee within the HIW-track
Apoorv IngleIngle, Apoorv University of IowaUnited States Video Chair in Organizing Committee for ICFP 2022 Video Chair in Virtualization Committee for ICFP 2022 Partial Type Constructors in Practice
J Guilhem JaberJaber, Guilhem University of NantesFrance Temporal refinements for Call-By-Push-Value with fixpoint
Jules JacobsJacobs, Jules Radboud University Multiparty GV: Functional Multiparty Session Types With Certified Deadlock Freedom
Sadiq JafferJaffer, Sadiq Tarides and University of CambridgeUnited Kingdom Continuous Monitoring of OCaml Applications using Runtime Events
Mauro JaskelioffJaskelioff, Mauro CONICET, ArgentinaArgentina Committee Member in Program Committee within the HOPE-track
Ali Javadi-AbhariJavadi-Abhari, Ali IBM Quatum Optimal synthesis into fixed XX interactions
Emmanuel JeandelJeandel, Emmanuel LORIA, University of Lorraine Type-safe (Variational) Quantum Programming in Idris
Bharathi Ramana JoshiJoshi, Bharathi Ramana IIIT Hyderabad A Tutorial Reconstruction of miniKanren with constraints
Ralf JungJung, Ralf MPI-SWSGermany Later Credits: Resourceful Reasoning for the Later Modality
K Younesse KaddarKaddar, Younesse University of Oxford, UKUnited Kingdom Higher order programming with probabilistic effects: A model of stochastic memoization and name generation
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Idris2-Table: evaluating dependently-typed tables with the Brown Benchmark for Table Types (Extended Abstract) Normalization by Evaluation with Free Extensions (Extended Abstract)
Shin-ya KatsumataKatsumata, Shin-ya National Institute of InformaticsJapan Monadic Semantics of Bidirectional Effects Flexible presentations of graded monads Committee Member in Program Committee within the ICFP Student Research Competition-track
Jackson KearlKearl, Jackson MIT Automatically Deriving Control-Flow Graph Generators From Operational Semantics
Andy KeepKeep, Andy Meta Reality Labs ResearchUnited States Session Chair of Session 2 (part of Scheme) Session Chair of Session 1 (part of Scheme) Facilitator in Program Committee within the FUNARCH-track Co-chair in Organizing Committee within the Scheme-track
Alperen KelesKeles, Alperen University of Maryland at College ParkUnited States Programming Contest Co-Organizer in Organizing Committee for ICFP 2022 Programming Contest Report
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Annotating Deeply Embedded Languages Embedded Pattern Matching CARES session Programme Committee in Program Committee within the HIW-track
Delia KesnerKesner, Delia Université de Paris; CNRS; IRIF; Institut Universitaire de FranceFrance A Computational Interpretation of Girard's Intuitionistic Proof-Nets Call-by-Push-Value, Quantitatively
Steven KeuchelKeuchel, Steven Vrije Universiteit BrusselBelgium Verified Symbolic Execution with Kripke Specification Monads (and no Meta-Programming)
Alexis KingKing, Alexis Tweag A look across the pond: a comparison between GHC and Racket compilation models Committee Member in Program Committee within the Haskell-track
Oleg KiselyovKiselyov, Oleg Tohoku University, Japan Session Chair of Performance (part of OCaml) Demo: New View on Plasma Fractals -- From the High Point of Array Languages Do Mutable Variables Have Reference Types? Highest-performance Stream Processing Committee Member in Program Committee within the OCaml-track Co-chair in Program Committee within the HOPE-track
Kohei KishidaKishida, Kohei University of Illinois Urbana-Champaign Committee Member in Program Committee within the PLanQC-track
Csongor KissKiss, Csongor Imperial College LondonUnited Kingdom Linearly Qualified Types: Generic inference for capabilities and uniqueness
Aleks KissingerKissinger, Aleks Radboud University Committee Member in Program Committee within the PLanQC-track
Andreas KlebingerKlebinger, Andreas GHC Proposal Presentations
Ilya KlyuchnikovKlyuchnikov, Ilya eqWAlizer - Scaling Erlang development at WhatsApp with static typing
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan Session Chair of TyDe 1 (part of TyDe) Syntax-Generic Operations, Reflectively Reified (Extended Abstract) Datatype-Generic Programming Meets Elaborator Reflection
Tomoaki KobayashiKobayashi, Tomoaki Tohoku UniversityJapan Highest-performance Stream Processing
James KoppelKoppel, James Massachusetts Institute of Technology, USA Session Chair of Embedded DSLs (part of Haskell) Searching Entangled Program Spaces Automatically Deriving Control-Flow Graph Generators From Operational Semantics Committee Member in Program Committee within the Haskell-track
Paulette KoronkevichKoronkevich, Paulette University of British Columbia Getting the Most Out of ICFP ANF Preserves Dependent Types up to Extensional Equality
Dmitrii KosarevKosarev, Dmitrii Saint Petersburg State UniversityRussia On a Declarative Guideline-Directed UI Layout Synthesis Wildcard Logic Variables
Haochen M. Kotoi-XieKotoi-Xie, Haochen M. Kotoi-Xie Consultancy, Inc.Japan Introducing the Bindoj library, a datatype-centric generative programming library for real-world programming in OCaml
András KovácsKovács, András Eötvös Loránd University Staged Compilation With Two-Level Type Theory
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Later Credits: Resourceful Reasoning for the Later Modality Multiparty GV: Functional Multiparty Session Types With Certified Deadlock Freedom
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States Structural Versus Pipeline Composition of Higher-Order Functions
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom Committee Member in Program Committee within the ICFP Papers and Events-track
Marek KubicaKubica, Marek OCaml 5 for the working programmer
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Welcome to the Erlang Workshop Co-chair in Program Committee within the Erlang-track Co-chair in Organizing Committee within the Erlang-track
L Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Liquid Proof Macros Random Testing of a Higher-Order Blockchain Language
Julia LawallLawall, Julia InriaFrance Committee Member in Program Committee within the Scheme-track
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Formal Methods: Theory and Practice What About the Integer Numbers? Reference Counting with Frame Limited Reuse
Daan LeijenLeijen, Daan Committee Member in Program Committee within the OCaml-track
Meven Lennon-BertrandLennon-Bertrand, Meven Inria – LS2N, Université de NantesFrance Typed and Untyped Algorithmic Conversion are Equivalent A Reasonably Gradual Type Theory France in Evaluators within the ICFP Artifact Evaluation-track
John LeoLeo, John Halfaya ResearchUnited States Demo: Counterpoint Analysis and Synthesis United States of America in Evaluators within the ICFP Artifact Evaluation-track General Chair in Organizing Committee within the FARM-track
Thomas LeonardLeonard, Thomas Tarides UK Homogeneous builds with OBuilder and OCaml
Hazel LevineLevine, Hazel Indiana UniversityUnited States Automating the Design Recipe
Yao LiLi, Yao Portland State UniversityUnited States Program Adverbs and Tlön Embeddings
Daniel R. LicataLicata, Daniel R. Wesleyan UniversityUnited States Denotational semantics as a foundation for cost recurrence extraction for functional languages
Jannis LimpergLimperg, Jannis Vrije Universiteit AmsterdamNetherlands Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2022 Co-chair in Evaluators within the ICFP Artifact Evaluation-track
Tzu-Chi LinLin, Tzu-Chi Institute of Information Science, Academia Sinica Syntax-Generic Operations, Reflectively Reified (Extended Abstract) Datatype-Generic Programming Meets Elaborator Reflection
Bert LindenhoviusLindenhovius, Bert JKU LinzAustria Committee Member in Program Committee within the PLanQC-track
Sam LindleyLindley, Sam The University of Edinburgh, UKUnited Kingdom Session Chair of Keynote (part of ICFP Papers and Events) Normalization by Evaluation with Free Extensions (Extended Abstract) ICFP 2023 Announcement Constraint-based type inference for FreezeML Committee Member in Program Committee within the ICFP Papers and Events-track Committee Member in Program Committee within the ML-track
Ben LippmeierLippmeier, Ben Ghost LocomotionAustralia Session Chair of Effects and Type Inference (part of ICFP Papers and Events) Committee Member in Program Committee within the ICFP Papers and Events-track
Antonio LocascioLocascio, Antonio Nomadic Labs Verify, but test: extracting property-based tests from F* specifications
Anton LorenzenLorenzen, Anton University of Bonn Reference Counting with Frame Limited Reuse
Petr LozovLozov, Petr St. Petersburg State University, St. Petersburg, Russia On a Declarative Guideline-Directed UI Layout Synthesis Wildcard Logic Variables PC Member in Program Committee within the miniKanren-track
Georgy LukyanovLukyanov, Georgy Newcastle University, UKUnited Kingdom Verified Symbolic Execution with Kripke Specification Monads (and no Meta-Programming)
David LäwenLäwen, David University of Tübingen, Germany Structural Refinement Types
Andres LöhLöh, Andres Well-Typed LLPUnited Kingdom Committee Member in Program Committee within the ICFP Papers and Events-track
Andreas LöscherLöscher, Andreas Meta Platforms, Inc.United Kingdom PC Member in Program Committee within the Erlang-track
M Weixi MaMa, Weixi Indiana University PC Member in Program Committee within the miniKanren-track
David MacQueenMacQueen, David University of Chicago (Emeritus) A New Match Compiler for Standard ML of New Jersey
Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom Homogeneous builds with OBuilder and OCaml
Marco MaggesiMaggesi, Marco Università di Firenze PC Member in Program Committee within the miniKanren-track
Assia MahboubiMahboubi, Assia INRIAFrance Committee Member in Program Committee within the ICFP Papers and Events-track
Kenji MaillardMaillard, Kenji Inria Nantes & University of Chile Temporal refinements for Call-By-Push-Value with fixpoint A Reasonably Gradual Type Theory
Mehrdad MalekiMaleki, Mehrdad Mastercard LabsIreland Committee Member in Program Committee within the Scheme-track
Daksh MalhotraMalhotra, Daksh University of Toronto Mississauga Fail Fast and Profile On: Towards a miniKanren Profiler
Ke MaoMao, Ke Meta InfERL: Scalable and Extensible Erlang Static Analysis
Matteo MarescottiMarescotti, Matteo Facebook, Inc.United Kingdom InfERL: Scalable and Extensible Erlang Static Analysis
Julio MariñoMariño, Julio Universidad Politécnica de MadridSpain Executable Contracts for Elixir
Simon MarlowMarlow, Simon MetaUnited Kingdom Industrial Relations Co-Chair in Organizing Committee for ICFP 2022 Steering Committee Member in Steering Committee for ICFP 2022
Rodrigo MarquesMarques, Rodrigo Universidade do Porto Towards Algebraic Subtyping for Extensible Records
Stefan MarrMarr, Stefan University of KentUnited Kingdom PC Member in Program Committee within the Erlang-track
Danielle MarshallMarshall, Danielle University of Kent, UKUnited Kingdom United Kingdom in Evaluators within the ICFP Artifact Evaluation-track
Sarah MarshallMarshall, Sarah Microsoft Quantum Q: Implementing Quantum Separation Logic in F
Guido MartínezMartínez, Guido CIFASIS-CONICET, ArgentinaArgentina Committee Member in Program Committee within the ML-track
Lykourgos MastorouMastorou, Lykourgos National Technical University of Athens Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Rudy MatelaMatela, Rudy ChannableNetherlands Committee Member in Program Committee within the Haskell-track
Marek MaterzokMaterzok, Marek University of Wroclaw Generating circuits with generators
Benjamin MaurerMaurer, Benjamin Austria Lightning Talk Slot #2: An SSA-based Register Allocator for GHC
Jay McCarthyMcCarthy, Jay University of Massachusetts Lowell & Reach Committee Member in Program Committee within the ICFP Papers and Events-track Committee Member in Program Committee within the FARM-track
Dylan McDermottMcDermott, Dylan Reykjavik UniversityIceland Flexibly graded monads and graded algebras Flexible presentations of graded monads
Trevor L. McDonellMcDonell, Trevor L. Utrecht UniversityNetherlands Annotating Deeply Embedded Languages Embedded Pattern Matching
Tim McGilchristMcGilchrist, Tim TaridesAustralia Homogeneous builds with OBuilder and OCaml
Christopher McNallyMcNally, Christopher MIT RLEUnited States Analyzing quantum programs using the power of interaction
Orestis MelkonianMelkonian, Orestis University of EdinburghUnited Kingdom Demos Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs United Kingdom in Evaluators within the ICFP Artifact Evaluation-track
Joshua D. MeredithMeredith, Joshua D. IOHK Embedded Pattern Matching
Anna Lito MichalaMichala, Anna Lito University of Glasgow CAEFL: Composable and Environment Aware Federated Learning Models
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States Opening Remarks Formal Methods: Theory and Practice Committee Member in Organizing Committee within the PLMW @ ICFP-track Committee Member in Program Committee within the Scheme-track
Jan MidtgaardMidtgaard, Jan TaridesDenmark Multicoretests - Parallel Testing Libraries for OCaml 5.0
Matthew MightMight, Matthew University of Alabama at Birmingham \| Harvard Medical SchoolUnited States Fail Fast and Profile On: Towards a miniKanren Profiler
Andrey MokhovMokhov, Andrey Jane StreetUnited Kingdom Memo: an incremental computation library that powers Dune Committee Member in Program Committee within the OCaml-track
Benoît MontaguMontagu, Benoît InriaFrance Session Chair of Applications & Teaching (part of OCaml) Session Chair of Language Design (part of ML) Committee Member in Program Committee within the OCaml-track Chair in Organizing Committee within the ML-track
David MoonMoon, David University of Michigan tylr, a tiny tile-based structure editor
Dmitry MordvinovMordvinov, Dmitry Saint-Petersburg State University, JetBrains Research PC Member in Program Committee within the miniKanren-track
J. Garrett MorrisMorris, J. Garrett The University of IowaUnited States Partial Type Constructors in Practice Committee Member in Program Committee within the ICFP Papers and Events-track
Sean MossMoss, Sean University of Oxford Committee Member in Program Committee within the HOPE-track
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, TaiwanTaiwan Steering Committee Member in Steering Committee for ICFP 2022
Ike MulderMulder, Ike Radboud University Nijmegen Netherlands in Evaluators within the ICFP Artifact Evaluation-track
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume INRIAFrance Boxroot, fast movable GC roots for a better FFI Efficient “out of heap” pointers for multicore OCaml
Koko MuroyaMuroya, Koko RIMS, Kyoto UniversityJapan Committee Member in Program Committee within the ICFP Papers and Events-track
Noble MushtakMushtak, Noble Northeastern University Enabling Safe Shared-Memory Interoperability in WebAssembly
Anders MøllerMøller, Anders Aarhus UniversityDenmark Steering Committee Member in Steering Committee for ICFP 2022
Marius MüllerMüller, Marius University of Tübingen Lift Inference for Lexical Effect Handlers with Second-Class Functions
N Keiko NakataNakata, Keiko SAP SEGermany Committee Member in Program Committee within the ML-track
Toshihiro NakayamaNakayama, Toshihiro Tohoku University Demo: New View on Plasma Fractals -- From the High Point of Array Languages
Adolfo NetoNeto, Adolfo Federal University of Technology - ParanáBrazil PC Member in Program Committee within the Erlang-track
Max S. NewNew, Max S. University of Michigan Relative Monads in CBPV for Stack-based Effects
Ryan R. NewtonNewton, Ryan R. Purdue University & FacebookUnited States Committee Member in Program Committee within the ICFP Papers and Events-track
Minh NguyenNguyen, Minh University of BristolUnited Kingdom Modular Probabilistic Models via Algebraic Effects
Olivier NicoleNicole, Olivier Tarides Multicoretests - Parallel Testing Libraries for OCaml 5.0
Kazuki NiimiNiimi, Kazuki Axell Corporation Monadic Semantics of Bidirectional Effects
Yuki NishidaNishida, Yuki Kyoto University Japan in Evaluators within the ICFP Artifact Evaluation-track
Louis NoizetNoizet, Louis Univ. Rennes 1France Necro ML: Generating OCaml Interpreters
Ulf NorellNorell, Ulf Gothenburg UniversitySweden Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs
Andreas NuytsNuyts, Andreas KU Leuven, BelgiumBelgium Contextual Algebraic Theories: Generic Boilerplate beyond Abstraction (Extended Abstract)
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of EdinburghUnited Kingdom Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Yoshiki OhshimaOhshima, Yoshiki Croquet Corporation, Shizuoka UniversityJapan Committee Member in Program Committee within the FARM-track
Cyrus OmarOmar, Cyrus University of MichiganUnited States tylr, a tiny tile-based structure editor
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Committee Member in Program Committee within the Haskell-track
Nicolas OsborneOsborne, Nicolas Tarides Multicoretests - Parallel Testing Libraries for OCaml 5.0
Klaus OstermannOstermann, Klaus University of Tübingen Lift Inference for Lexical Effect Handlers with Second-Class Functions Structural Refinement Types Introduction and Elimination, Left and Right
P Nick PalladinosPalladinos, Nick Nessos Information Technologies, SA Highest-performance Stream Processing
Nikolaos PapaspyrouPapaspyrou, Nikolaos National Technical University of AthensGreece Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Zoe ParaskevopoulouParaskevopoulou, Zoe Northeastern UniversityUnited States Workshops Co-Chair in Organizing Committee for ICFP 2022 Enabling Safe Shared-Memory Interoperability in WebAssembly Committee Member in Selection Committee within the ICFP Tutorials-track Committee Member in Program Committee within the OCaml-track
Sudha ParimalaParimala, Sudha TaridesIndia OCaml 5 for the working programmer
Lionel ParreauxParreaux, Lionel The Hong Kong University of Science and Technology (HKUST) The Ultimate Conditional Syntax Committee Member in Program Committee within the ML-track
Jennifer PaykinPaykin, Jennifer United States Committee Member in Program Committee within the ICFP Student Research Competition-track
Artem PelenitsynPelenitsyn, Artem Northeastern UniversityRussia United States of America in Evaluators within the ICFP Artifact Evaluation-track
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and Technology Portugal in Evaluators within the ICFP Artifact Evaluation-track
Roly PereraPerera, Roly Alan Turing InstituteUnited Kingdom Modular Probabilistic Models via Algebraic Effects
Sergio Perez RubioPerez Rubio, Sergio Universitat Politècnica de València Executable Contracts for Elixir
Stefano PernaPerna, Stefano Iterating on multiple collections in synchrony
Basile PesinPesin, Basile Inria ParisFrance France in Evaluators within the ICFP Artifact Evaluation-track
Eric C. PetersonPeterson, Eric C. IBM Quantum Optimal synthesis into fixed XX interactions
Anja Petković KomelPetković Komel, Anja TU Wien, Vienna, Austria Virtualization Chair in Organizing Committee for ICFP 2022 Virtualization Chair in Virtualization Committee for ICFP 2022 Women@ICFP
Simon Peyton JonesPeyton Jones, Simon Epic Games United Kingdom Session Chair of Panel Discussion (part of ICFP Papers and Events) Session Chair of Keynote II (part of Haskell) State of GHC Compiling without continuations CARES session Committee Member in Program Committee within the ICFP Papers and Events-track
Frank PfenningPfenning, Frank Carnegie Mellon University, USA Back to futures
Emily PillmorePillmore, Emily KadenaUnited States Committee Member in Program Committee within the HIW-track
Maciej PirógPiróg, Maciej University of WrocławPoland Committee Member in Program Committee within the HOPE-track
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Session Chair of Demos + Discussions (part of Haskell) Formal Methods: Theory and Practice PC Chair Report Welcome Searching Entangled Program Spaces PC Chair in Program Committee within the Haskell-track
François PottierPottier, François InriaFrance Committee Member in Program Committee within the ICFP Student Research Competition-track
Matija PretnarPretnar, Matija University of Ljubljana, SloveniaSlovenia Session Chair of Compilation (part of ICFP Papers and Events) Session Chair of OCaml 5.0 (part of OCaml) Session Chair of Implementation of Functional Languages (part of ML) PC Chair in Program Committee within the OCaml-track Committee Member in Program Committee within the ICFP Papers and Events-track Committee Member in Program Committee within the ML-track
Luka PrinčičPrinčič, Luka Meet the artists Algoforte
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Aeneas: Rust Verification by Functional Translation
Klaas PruiksmaPruiksma, Klaas Carnegie Mellon University Back to futures
Pierre-Marie PédrotPédrot, Pierre-Marie INRIAFrance Extraction to OCaml from Coq: Operational Correctness Verified in Coq
Q Benjamin QuiringQuiring, Benjamin University of Maryland Analyzing Binding Extent in 3CPS
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Committee Member in Program Committee within the ICFP Papers and Events-track
Gabriel RadanneRadanne, Gabriel InriaFrance Committee Member in Program Committee within the OCaml-track
Prabhakar RagdeRagde, Prabhakar Committee Member in Program Committee within the FARM-track
Mike RaineyRainey, Mike Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the ML-track
Ramon RakowRakow, Ramon University of British Columbia ANF Preserves Dependent Types up to Extensional Equality
Norman RamseyRamsey, Norman Tufts UniversityUnited States Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structured Control Flow
Robert RandRand, Robert University of ChicagoUnited States Session Chair of Quantum programming languages and paradigms (part of PLanQC) Q: Implementing Quantum Separation Logic in F Verified Quantum Computing Committee Member in Program Committee within the PLanQC-track Committee Member in Organizing Committee within the PLanQC-track
Aidan RandtoulRandtoul, Aidan University of GlasgowUnited Kingdom A Reliability Benchmark for Actor-Based Server Languages
António RavaraRavara, António NOVA LINCS & FCT, NOVA University of LisbonPortugal Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is understanding
Xiaoyan RenRen, Xiaoyan China Effect Handlers in Scope, Evidently
Mathys RennelaRennela, Mathys Inria Committee Member in Program Committee within the PLanQC-track
John ReppyReppy, John University of Chicago, USA Analyzing Binding Extent in 3CPS Committee Member in Organizing Committee within the FHPNC-track
Colin RibaRiba, Colin LIP - ENS de Lyon Temporal refinements for Call-By-Push-Value with fixpoint
Rodrigo G. RibeiroRibeiro, Rodrigo G. Federal University of Ouro Preto Open Transactional Actions: Interacting with non-transactional resources in STM Haskell
Lionel RiegRieg, Lionel Verimag France in Evaluators within the ICFP Artifact Evaluation-track
Francis RinaldiRinaldi, Francis Illinois Institute of TechnologyUnited States Typing Recursive Data Structures of Futures for Graph Types
Exequiel RivasRivas, Exequiel Tallinn University of Technology Verifying non-terminating programs with IO in F*
Elijah RiveraRivera, Elijah Brown University Structural Versus Pipeline Composition of Higher-Order Functions
Rob RixRix, Rob GitHub, Inc.Canada Cause and Effect(s): Towards a More Programmable Haskell Fusing Industry and Academia at GitHub
Ricardo J. RodríguezRodríguez, Ricardo J. University of Zaragoza OCamello: A Course and Summer School with Learn-OCaml
Rafael RomeroRomero, Rafael Universidad de Buenos Aires, Universidad de la República Encoding High-level Quantum Programs as SZX-diagrams
Gregory RosenblattRosenblatt, Gregory University of Alabama at BirminghamCanada Fail Fast and Profile On: Towards a miniKanren Profiler
Neil Julien RossRoss, Neil Julien Dalhousie UniversityCanada PC Chair in Program Committee within the PLanQC-track Committee Member in Organizing Committee within the PLanQC-track
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Steering Committee Member in Steering Committee for ICFP 2022
Fabian RuchRuch, Fabian UnaffiliatedSweden Normalization for Fitch-style Modal Calculi
Neea RuschRusch, Neea Augusta UniversityUnited States United States of America in Evaluators within the ICFP Artifact Evaluation-track
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Steering Committee Member in Steering Committee for ICFP 2022
Thomas RéfisRéfis, Thomas Tarides Module Shapes for Modern Tooling
Yann Régis-GianasRégis-Gianas, Yann Nomadic Labs ParisFrance Committee Member in Program Committee within the ICFP Papers and Events-track Committee Member in Program Committee within the ML-track
S Amr SabrySabry, Amr Indiana UniversityUnited States Session Chair of Synthesis and compilation (part of PLanQC) Scheme Pearl: Quantum Continuations On the power of syntactic methods: It is all syntax after all…
Takafumi SaikawaSaikawa, Takafumi Nagoya UniversityJapan Interpreting OCaml GADTs into Coq Committee Member in Program Committee within the OCaml-track
Ken SakayoriSakayori, Ken University of BolognaItaly Italy in Evaluators within the ICFP Artifact Evaluation-track
Hisham SatiSati, Hisham New York University, Abu Dhabi Topological Quantum Programming in TED-K
Yuta SatoSato, Yuta Kotoi-Xie Consultancy, Inc. Introducing the Bindoj library, a datatype-centric generative programming library for real-world programming in OCaml
Gabriel SchererScherer, Gabriel INRIA SaclayFrance Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2022 Session Chair of TyDe 3 / Zena's Birthday 1 (part of TyDe) Session Chair of Tyde 2 (part of TyDe) Boxroot, fast movable GC roots for a better FFI An OCaml use case for strong call-by-need reduction Co-chair in Evaluators within the ICFP Artifact Evaluation-track Committee Member in Program Committee within the TyDe-track Committee Member in Program Committee within the ICFP Papers and Events-track
Alan SchmittSchmitt, Alan InriaFrance Necro ML: Generating OCaml Interpreters
Urs SchreiberSchreiber, Urs New York University, Abu Dhabi Topological Quantum Programming in TED-K
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Staging Regular Expressions with Moore Cayley Fusion Fusing Industry and Academia at GitHub PC Member in Program Committee within the miniKanren-track
Michael SchröderSchröder, Michael TU WienAustria Toward Grammar Inference via Refinement Types (Extended Abstract)
Philipp SchusterSchuster, Philipp University of Tübingen Lift Inference for Lexical Effect Handlers with Second-Class Functions
Eric SeidelSeidel, Eric Bridgewater AssociatesUnited States Committee Member in Program Committee within the Haskell-track
Raphael SeidelSeidel, Raphael Fraunhofer Institute for Open Communication Systems Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Dependent Temporal Type-and-Effect System with Delimited Continuations Committee Member in Program Committee within the HOPE-track
Ilya SergeySergey, Ilya National University of SingaporeSingapore Publicity Chair in Organizing Committee for ICFP 2022 Publicity Chair in Steering Committee for ICFP 2022 Session Chair of Logic (part of ICFP Papers and Events) Random Testing of a Higher-Order Blockchain Language Committee Member in Program Committee within the ICFP Papers and Events-track
Alejandro SerranoSerrano, Alejandro 47 DegreesNetherlands Session Chair of Introduction + State of GHC (part of HIW) Program Chair in Program Committee within the HIW-track
Manuel SerranoSerrano, Manuel Inria, France Committee Member in Program Committee within the ICFP Papers and Events-track
Mary SheeranSheeran, Mary Chalmers Steering Committee Member in Steering Committee for ICFP 2022 Committee Member in Program Committee within the ICFP Papers and Events-track
Benjamin ShermanSherman, Benjamin Massachusetts Institute of Technology, USA Committee Member in Program Committee within the FARM-track
Olin ShiversShivers, Olin Northeastern University, USA Analyzing Binding Extent in 3CPS
Miguel-Angel SiciliaSicilia, Miguel-Angel PC Member in Program Committee within the miniKanren-track
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Committee Member in Program Committee within the ICFP Papers and Events-track
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Committee Member in Program Committee within the ICFP Papers and Events-track
Satnam SinghSingh, Satnam GroqUnited States Session Chair of Applications (part of Haskell) Committee Member in Program Committee within the Haskell-track
Kartik SinghalSinghal, Kartik University of ChicagoUnited States Session Chair of Hardware-aware quantum programming (part of PLanQC)
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia Session Chair of Tools (part of OCaml) OCaml 5.0 - Concurrent and Parallel programming for OCaml Composing Schedulers using Effect Handlers Retrofitting Concurrency – Lessons from the Engine Room Committee Member in Program Committee within the OCaml-track Committee Member in Program Committee within the ML-track
Ingo SkupinSkupin, Ingo University of Tübingen Structural Refinement Types Introduction and Elimination, Left and Right
Tom SmedingSmeding, Tom Utrecht UniversityNetherlands Haskell Playground (WIP)
Mathias SoekenSoeken, Mathias Microsoft Committee Member in Program Committee within the PLanQC-track
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of Technology Searching Entangled Program Spaces Automatically Deriving Control-Flow Graph Generators From Operational Semantics
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC / CONICETArgentina Argentina in Evaluators within the ICFP Artifact Evaluation-track
Matthieu SozeauSozeau, Matthieu InriaFrance Extraction to OCaml from Coq: Operational Correctness Verified in Coq
Michael SperberSperber, Michael Active Group GmbHGermany Session Chair of Demos (part of FARM) Introduction and Session 1 Session 4 Session 2 Session 3 Teaching functional programming Facilitator in Program Committee within the FUNARCH-track Publicity Chair in Organizing Committee within the FARM-track
Simon SpiesSpies, Simon MPI-SWS & Saarland UniversityGermany Later Credits: Resourceful Reasoning for the Later Modality
Arnaud SpiwackSpiwack, Arnaud TweagFrance Linearly Qualified Types: Generic inference for capabilities and uniqueness
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom Accessibility Co-Chair in Organizing Committee for ICFP 2022
Sam StatonStaton, Sam University of Oxford Higher order programming with probabilistic effects: A model of stochastic memoization and name generation Committee Member in Program Committee within the PLanQC-track
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Fireside Chat with Arvind and Guy Steele
Jonathan SterlingSterling, Jonathan Aarhus UniversityDenmark Committee Member in Program Committee within the TyDe-track
Michel SteuwerSteuwer, Michel University of EdinburghUnited Kingdom Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler Idris2-Table: evaluating dependently-typed tables with the Brown Benchmark for Table Types (Extended Abstract) Committee Member in Organizing Committee within the FHPNC-track
Quentin StiévenartStiévenart, Quentin Vrije Universiteit BrusselBelgium Belgium in Evaluators within the ICFP Artifact Evaluation-track
Jan StolarekStolarek, Jan University of Edinburgh, UK Constraint-based type inference for FreezeML
Peer StritzingerStritzinger, Peer Peer Stritzinger GmbH PC Member in Program Committee within the Erlang-track
Marco StronatiStronati, Marco Nomadic Labs Verify, but test: extracting property-based tests from F* specifications
Marc SugiyamaSugiyama, Marc Nova Labs Troubleshooting the Performance of a Large Erlang System
Gerald Jay SussmanSussman, Gerald Jay MITUnited States Programming is (should be) fun!
Hector SuzanneSuzanne, Hector LIP6 - Sorbonne Université & CNRSFrance Committee Member in Evaluators within the ICFP Artifact Evaluation-track
Thibault SuzanneSuzanne, Thibault Meta InfERL: Scalable and Extensible Erlang Static Analysis
Go SuzukiSuzuki, Go Tokyo Institute of TechnologyJapan Optimization of the code generated by a DSL for Stencil Computation using Temporary Grid Variables
Nikhil SwamySwamy, Nikhil MSR RedmondUnited States Steering Committee Member in Steering Committee for ICFP 2022 Q: Implementing Quantum Separation Logic in F ICFP 2023 Announcement Committee Member in Program Committee within the ICFP Student Research Competition-track
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands Session Chair of Verification (part of Haskell) A completely unique account of enumeration Committee Member in Program Committee within the FARM-track Committee Member in Program Committee within the Haskell-track
Cameron SwordsSwords, Cameron Meta Reality Labs PC Member in Program Committee within the miniKanren-track
Dmitrij SzamozvancevSzamozvancev, Dmitrij University of CambridgeUnited Kingdom Committee Member in Program Committee within the FARM-track
Tim SüberkrübSüberkrüb, Tim University of Tübingen Introduction and Elimination, Left and Right
T Marco T MorazanT Morazan, Marco Why Functional Programming Matters in CS Education
Nicolas TabareauTabareau, Nicolas InriaFrance Extraction to OCaml from Coq: Operational Correctness Verified in Coq A Reasonably Gradual Type Theory
Val TannenTannen, Val University of Pennsylvania, USA Iterating on multiple collections in synchrony
Éric TanterTanter, Éric University of Chile Propositional Equality for Gradual Dependently Typed Programming A Reasonably Gradual Type Theory
Jure TaslakTaslak, Jure University of LjubljanaSlovenia Student Volunteer Co-Chair in Organizing Committee for ICFP 2022 Co-chair in Student Volunteers Committee within the ICFP Student Volunteers-track
Joseph TassarottiTassarotti, Joseph NYUUnited States Later Credits: Resourceful Reasoning for the Later Modality
Nikolay TcholtchevTcholtchev, Nikolay Fraunhofer Institute for Open Communication Systems Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
Patrick ThomsonThomson, Patrick GitHub Fusing Industry and Academia at GitHub
Mukesh TiwariTiwari, Mukesh University of Cambridge, UKUnited Kingdom United Kingdom in Evaluators within the ICFP Artifact Evaluation-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Automating the Design Recipe
Carlos Tomé CortiñasTomé Cortiñas, Carlos Chalmers University of TechnologySweden Normalization for Fitch-style Modal Calculi
Bernardo ToninhoToninho, Bernardo Nova University of Lisbon / NOVA-LINCS Committee Member in Program Committee within the ICFP Papers and Events-track
Matías ToroToro, Matías University of Chile Committee Member in Program Committee within the ICFP Papers and Events-track
Phil TrinderTrinder, Phil University of Glasgow A Reliability Benchmark for Actor-Based Server Languages CAEFL: Composable and Environment Aware Federated Learning Models
Anton TrunovTrunov, Anton Zilliqa ResearchRussia Random Testing of a Higher-Order Blockchain Language
Nikos TsikoudisTsikoudis, Nikos Datometry Troubleshooting the Performance of a Large Erlang System
Kanae TsushimaTsushima, Kanae National Institute of Informatics, JapanJapan Co-chair in Program Committee within the miniKanren-track
Melinda TóthTóth, Melinda Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.Hungary PC Member in Program Committee within the Erlang-track
U Sebastian UllrichUllrich, Sebastian Karlsruhe Institute of TechnologyGermany Introduction to Lean 'do' Unchained: Embracing Local Imperativity in a Purely Functional Language
Hiroshi UnnoUnno, Hiroshi University of Tsukuba; RIKEN AIPJapan Dependent Temporal Type-and-Effect System with Delimited Continuations Committee Member in Program Committee within the Haskell-track
Dominique UnruhUnruh, Dominique University of Tartu Quantum relational Hoare logic, towards a formalization
Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland Flexibly graded monads and graded algebras Flexible presentations of graded monads Committee Member in Program Committee within the TyDe-track
V Benoit ValironValiron, Benoit LRI, CentraleSupelec, Univ. Paris SaclayFrance Committee Member in Program Committee within the PLanQC-track
Nachiappan ValliappanValliappan, Nachiappan Chalmers University of TechnologySweden Normalization by Evaluation with Free Extensions (Extended Abstract) Normalization for Fitch-style Modal Calculi
John van de Weteringvan de Wetering, John University of Oxford Adventures in Qutrit Compilation
Robbert van der Helmvan der Helm, Robbert Netherlands Annotating Deeply Embedded Languages
Jasper Van der JeugtVan der Jeugt, Jasper SnykSwitzerland Programming Contest Co-Organizer in Organizing Committee for ICFP 2022
Cas van der Restvan der Rest, Cas Delft University of Technology A completely unique account of enumeration
Gabriele VanoniVanoni, Gabriele University of Bologna & INRIA Sophia Antipolis Multi Types and Reasonable Space
Pedro VasconcelosVasconcelos, Pedro LIACC, Universidade do Porto, Porto, PortugalPortugal Towards Algebraic Subtyping for Extensible Records
Lisa VasilenkoVasilenko, Lisa IMDEA Software InstituteSpain Demos Safe Couplings: Coupled Refinement Types
Marco VassenaVassena, Marco Utrecht UniversityNetherlands Session Chair of Compiler and Extensions (part of Haskell) Committee Member in Program Committee within the Haskell-track
Niki VazouVazou, Niki IMDEA Software Institute Formal Methods: Theory and Practice Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell How to Safely Use Extensionality in Liquid Haskell Liquid Proof Macros Safe Couplings: Coupled Refinement Types
Niccolò VeltriVeltri, Niccolò Tallinn University of TechnologyEstonia Committee Member in Program Committee within the ICFP Papers and Events-track
Ekaterina VerbitskaiaVerbitskaia, Ekaterina JetBrainsRussia On a Direction-Driven Functional Conversion
Agnes VillanyiVillanyi, Agnes MIT Analyzing quantum programs using the power of interaction
Dimitrios VytiniotisVytiniotis, Dimitrios DeepMindUnited Kingdom Committee Member in Program Committee within the ICFP Papers and Events-track Committee Member in Program Committee within the Haskell-track
W Meng WangWang, Meng University of BristolUnited Kingdom Modular Probabilistic Models via Algebraic Effects
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Steering Committee Chair in Steering Committee for ICFP 2022 Session Chair of Keynote (part of ICFP Papers and Events) Steering Committee Meeting CARES session Program Adverbs and Tlön Embeddings Committee Member in Program Committee within the ICFP Papers and Events-track
Sam WestrickWestrick, Sam Carnegie Mellon UniversityUnited States How to thrive as a PhD student Keynote: Efficient and Scalable Parallel Functional Programming Through Disentanglement Entanglement Detection With Near-Zero Cost
Leo WhiteWhite, Leo Jane Street Unboxed types for OCaml Module Shapes for Modern Tooling Stack allocation for OCaml
Jamie WillisWillis, Jamie Imperial College London Staging Regular Expressions with Moore Cayley Fusion
Théo WinterhalterWinterhalter, Théo MPI-SPGermany Verifying non-terminating programs with IO in F*
Limsoon WongWong, Limsoon National University of SingaporeSingapore Iterating on multiple collections in synchrony
Robert WrightWright, Robert The University of Edinburgh, UK Idris2-Table: evaluating dependently-typed tables with the Brown Benchmark for Table Types (Extended Abstract)
Tobias WrigstadWrigstad, Tobias Uppsala University, SwedenSweden Committee Member in Program Committee within the Scheme-track
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Session Chair of Generic Programming and Education (part of ICFP Papers and Events) Staging Regular Expressions with Moore Cayley Fusion Modular Probabilistic Models via Algebraic Effects Fusing Industry and Academia at GitHub Flexible presentations of graded monads Linearly Qualified Types: Generic inference for capabilities and uniqueness Committee Member in Program Committee within the ICFP Papers and Events-track
X Ningning XieXie, Ningning University of TorontoCanada Session Chair of Tools & Metaprogramming (part of ML) Committee Member in Program Committee within the ICFP Papers and Events-track Committee Member in Program Committee within the HOPE-track Committee Member in Program Committee within the ML-track
Ruomeng (Cocoa) XuXu, Ruomeng (Cocoa) University of Glasgow CAEFL: Composable and Environment Aware Federated Learning Models
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Normalization by Evaluation with Free Extensions (Extended Abstract) Committee Member in Program Committee within the TyDe-track
Shinya YamaguchiYamaguchi, Shinya Kotoi-Xie Consultancy, Inc. Introducing the Bindoj library, a datatype-centric generative programming library for real-world programming in OCaml
Qianchuan YeYe, Qianchuan Purdue UniversityUnited States United States of America in Evaluators within the ICFP Artifact Evaluation-track
Lia YehYeh, Lia University of Oxford Adventures in Qutrit Compilation
Irene YoonYoon, Irene University of Pennsylvania Formal Reasoning About Layered Monadic Interpreters
Jeffrey YoungYoung, Jeffrey IOHKUnited States Lightning Talk Slot #3: The Haskell Optimization Handbook
Neringa YoungYoung, Neringa Lithuania Treasurer & Conference Manager in Organizing Committee for ICFP 2022
Charles YuanYuan, Charles MIT CSAILUnited States Analyzing quantum programs using the power of interaction Invited talk: Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs Quantum Programming with Data Structures
Z Yannick ZakowskiZakowski, Yannick InriaFrance Formal Reasoning About Layered Monadic Interpreters France in Evaluators within the ICFP Artifact Evaluation-track Committee Member in Program Committee within the ICFP Papers and Events-track
Vadim ZalivaZaliva, Vadim University of Cambridge, UKUnited States Accessibility Co-Chair in Organizing Committee for ICFP 2022
Vladimir ZamdzhievZamdzhiev, Vladimir Inria, LORIA, Université de LorraineFrance Type-safe (Variational) Quantum Programming in Idris Committee Member in Program Committee within the PLanQC-track
Vladislav ZavialovZavialov, Vladislav SerokellRussia Committee Member in Program Committee within the HIW-track
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Formal Reasoning About Layered Monadic Interpreters
Lisa ZhangZhang, Lisa University of Toronto MississaugaCanada Fail Fast and Profile On: Towards a miniKanren Profiler
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Committee Member in Program Committee within the HOPE-track
Eric ZhaoZhao, Eric University of Michigan Compiling Functional Programs with Holes
Beta ZilianiZiliani, Beta FAMAF, UNC and Manas.TechArgentina Committee Member in Program Committee within the OCaml-track
Å Cons T ÅhsÅhs, Cons T Ericsson ABSweden PC Member in Program Committee within the Erlang-track

ICFP 2022 Contributors

Results (502)

Tracks

Workshops

Co-hosted Symposia