Concepedia

Lindsey Kuper

LK

Statistics

Publications

9

Citations

243

H-Index

9

Active since

2013

Affiliations

Indiana University Bloomington(Current)

University of Birmingham

Max Planck Institute for Software Systems

University of California, Santa Cruz

Indiana University

Lindsey Kuper is an author at Indiana University Bloomington specializing in computing, computer science, and programming languages.

Publications per year

2013–2023

9

Publications

9

LVars

Lindsey Kuper, Ryan Newton · 2013 · 58 citations

Computing, Computer Engineering, Computer Science +9

Freeze after writing

Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami et al. · 2014 · 46 citations

Computing, Computer Engineering, Computer Science +16

Verifying replicated data types with typeclass refinements in Liquid Haskell

Yiyun Liu, James Parker, Patrick Redmond et al. · Proceedings of the ACM on Programming Languages · 2020 · 24 citations · Full text

Computing, Computer Engineering, Computer Science +16

Taming the parallel effect zoo

Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt et al. · ACM SIGPLAN Notices · 2014 · 24 citations

Computing, Computer Science, Parallel Computing +10

Toward Scalable Verification for Safety-Critical Deep Networks

Lindsey Kuper, Guy Katz, Justin Gottschlich et al. · arXiv (Cornell University) · 2018 · 21 citations · Full text

Computing, Autonomous Systems, Computer Science +14

1–5 of 9