Lindsey Kuper

Registered user since Fri 14 Nov 2014

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

Contributions

PLMW @ ICFP 2021 Co-chair in Organizing Committee within the PLMW @ ICFP 2021-track
PLMW@PLDI 2021 Speaker of Reasoning Under Uncertainty in SMT Solving, Research, and Life within the PLMW@PLDI 2021-track
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
PLMW @ ICFP 2020 Organizer of Welcome within the PLMW @ ICFP 2020-track
Committee Member in Organizing Committee within the PLMW @ ICFP 2020-track
ICFP 2021 Accessibility Co-Chair in Organizing Committee
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
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
ICFP 2020 Accessibility Chair in Organizing Committee
PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-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
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 2018 Publicity Chair in Organizing Committee
Publicity Chair in Steering Committee
PLDI 2018 Committee Member in External Review Committee
ICFP 2017 Publicity Chair in Steering Committee
Committee Member in Program Committee within the Research Papers-track
Publicity and Web Chair in Organizing Committee
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
ECOOP 2017 Author of Parallelizing Julia with a Non-invasive DSL within the ECOOP Research Papers-track
ICFP 2016 Publicity Chair in Organizing Committee
Publicity Chair in Steering Committee
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)
ECOOP 2016 Committee Member in External Review Committee within the Research Track-track
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
Onward! 2015 Committee Member in Program Committee within the Onward! Papers-track
Session Chair of Session the Third (part of Onward! Papers)
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