Lindsey Kuper -

Registered user since Fri 14 Nov 2014

Name:Lindsey Kuper

Country:United States

Affiliation:University of California, Santa Cruz

Personal website:https://users.soe.ucsc.edu/~lkuper/

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)