Lindsey Kuper

Registered user since Fri 14 Nov 2014

Name:Lindsey Kuper
Country:United States
Affiliation:University of California, Santa Cruz
Research interests:programming languages, distributed computing, concurrency, parallelism, software verification

Contributions

FHPNC 2023 Committee Member in Program Committee within the FHPNC 2023-track
POPL 2023 Committee Member in Program Committee within the POPL-track
Session Chair of Formal Methods in Compilation & Implementation (part of POPL)
PLDI 2022 Author of (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the SIGPLAN Track-track
FLOPS 2022 Invited Speaker of Adventures in Building Reliable Distributed Systems with Liquid Haskell within the FLOPS 2022-track
HATRA 2021 Author of Toward Hole-Driven Development with Liquid Haskell within the HATRA 2021-track
Author of Toward SMT-Based Refinement Types in Agda within the HATRA 2021-track
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
ICFP 2021 Accessibility Co-Chair in Organizing Committee
PLMW @ ICFP 2021 Co-chair in Organizing Committee within the PLMW @ ICFP 2021-track
Co-chair of Welcome and Opening Remarks within the PLMW @ ICFP 2021-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
PLMW@PLDI 2021 Speaker of Reasoning Under Uncertainty in SMT Solving, Research, and Life within the PLMW@PLDI 2021-track
SPLASH 2020 Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA Artifacts-track
Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA-track
ICFP 2020 Accessibility Chair in Organizing Committee
PLMW @ ICFP 2020 Organizer of Welcome within the PLMW @ ICFP 2020-track
Committee Member in Organizing Committee within the PLMW @ ICFP 2020-track
PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track
PLMW 2020 Author of Making Progress Under Uncertainty in SMT Solving, Research, and Life within the PLMW 2020-track
Invited Speaker in Invited speakers within the PLMW 2020-track
PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
DSLDI 2018 Co-chair in Program Committee within the DSLDI 2018-track
Committee Member in Organizing Committee within the DSLDI 2018-track
SPLASH 2018 Committee Member in Program Committee within the DocSymposium-track
Committee Member in Review Committee within the OOPSLA-track
ICFP 2018 Publicity Chair in Organizing Committee
Publicity Chair in Steering Committee
PLDI 2018 Committee Member in External Review Committee
DSLDI 2017 Session Chair of Session 1 (part of DSLDI 2017)
Session Chair of Session 4 (part of DSLDI 2017)
Program Co-Chair of Welcome within the DSLDI 2017-track
Co-chair in Organizing Committee within the DSLDI 2017-track
ICFP 2017 Publicity Chair in Steering Committee
Committee Member in Program Committee within the Research Papers-track
Publicity and Web Chair in Organizing Committee
ECOOP 2017 Author of Parallelizing Julia with a Non-invasive DSL within the ECOOP Research Papers-track
Off the Beaten Track 2017 General Chair in Organizing Committee within the OBT-track
DSLDI 2016 Committee Member in Program Committee within the DSLDI-track
ICFP 2016 Publicity Chair in Organizing Committee
Publicity Chair in Steering Committee
ECOOP 2016 Committee Member in External Review Committee within the Research Track-track
Off the Beaten Track 2016 Program Chair in Organizing Committee within the Off the Beaten Track-track
Program Chair of Opening remarks and program chair's report within the Off the Beaten Track-track
Session Chair of Session One (part of Off the Beaten Track)
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
SPLASH 2015 Presenter of Prospect: Finding and Exploiting Parallelism in a Productivity Language for Scientific Computing within the SPLASH-I-track
Panelist of The Future of Programming Languages and Programmers within the Panels-track
Onward! 2015 Committee Member in Program Committee within the Onward! Papers-track
Session Chair of Session the Third (part of Onward! Papers)