Lindsey Kuper

Citirano

	Sve	Od 2020.
Citati	550	348
H-indeks	11	10
i10-indeks	11	10

100

201220132014201520162017201820192020202120222023202420252 6 31 31 17 29 34 48 42 59 79 66 93 9

Javni pristup

Prikaži sve

7 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Ryan NewtonMIT, Purdue University, Meta PlatformsPotvrđena adresa e-pošte na indiana.edu
Justin GottschlichFounder, CEO & Chief Scientist, Merly Inc.Potvrđena adresa e-pošte na merly.ai
Gan ShenUniversity of California, Santa CruzPotvrđena adresa e-pošte na ucsc.edu
Shun KashiwaUniversity of California, San DiegoPotvrđena adresa e-pošte na ucsd.edu
Sam Tobin-HochstadtAssociate Professor, Indiana UniversityPotvrđena adresa e-pošte na cs.indiana.edu
Niki VazouIMDEA Software InstitutePotvrđena adresa e-pošte na cs.umd.edu
Aaron TuronMPI-SWSPotvrđena adresa e-pošte na mpi-sws.org
Neelakantan R. KrishnaswamiUniversity of CambridgePotvrđena adresa e-pošte na cl.cam.ac.uk
Ehsan TotoniBodo.aiPotvrđena adresa e-pošte na bodo.ai
Jan VitekNortheastern UniversityPotvrđena adresa e-pošte na neu.edu
Tatiana ShpeismanGooglePotvrđena adresa e-pošte na google.com
Guy KatzThe Hebrew University of JerusalemPotvrđena adresa e-pošte na cs.huji.ac.il
Mykel J. KochenderferAssociate Professor, Stanford UniversityPotvrđena adresa e-pošte na stanford.edu
Kyle David JulianReceived Ph.D. at Stanford UniversityPotvrđena adresa e-pošte na stanford.edu
Clark BarrettStanford UniversityPotvrđena adresa e-pošte na cs.stanford.edu
Dan FriedmanIndiana UniversityPotvrđena adresa e-pošte na indiana.edu
William E ByrdScientist, Hugh Kaul Precision Medicine Institute, University of Alabama at BirminghamPotvrđena adresa e-pošte na uab.edu
James ParkerUniversity of Maryland, College ParkPotvrđena adresa e-pošte na jamesparker.me
Michael W. HicksSenior Principal Scientist, AWS, and Professor Emeritus, UMDPotvrđena adresa e-pošte na umd.edu
Hai LiuDFINITY FoundationPotvrđena adresa e-pošte na dfinity.org

Prati

Lindsey Kuper

University of California, Santa Cruz

Potvrđena adresa e-pošte na ucsc.edu - Početna stranica

programming languages distributed computing concurrency parallelism software verification


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Autonomous vehicle advanced sensing and response B Lakshamanan, LL Hurd, BJ Ashbaugh, E Ould-Ahmed-Vall, L Ma, J Jin, ... US Patent 10,332,320, 2019	121	2019
LVars: lattice-based data structures for deterministic parallelism L Kuper, RR Newton FHPC '13, 2013	92	2013
Freeze after writing: quasi-deterministic parallel programming with LVars L Kuper, A Turon, NR Krishnaswami, RR Newton POPL '14, 2014	75	2014
Toward Scalable Verification for Safety-Critical Deep Networks L Kuper, G Katz, J Gottschlich, K Julian, C Barrett, M Kochenderfer SysML '18, 2018	49	2018
Taming the parallel effect zoo: extensible deterministic parallelism with LVish L Kuper, A Todd, S Tobin-Hochstadt, RR Newton PLDI '14, 2014	40	2014
Verifying replicated data types with typeclass refinements in Liquid Haskell Y Liu, J Parker, P Redmond, L Kuper, M Hicks, N Vazou Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020	28	2020
Parallelizing Julia with a Non-invasive DSL TA Anderson, H Liu, L Kuper, E Totoni, J Vitek, T Shpeisman ECOOP '17, 2017	24	2017
HasChor: Functional choreographic programming for all (functional pearl) G Shen, S Kashiwa, L Kuper Proceedings of the ACM on Programming Languages 7 (ICFP), 541–565, 2023	23	2023
Newton. 2013. LVars: lattice-based data structures for deterministic parallelism L Kuper, R Ryan Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 0	19
Detecting mobile device sensor malfunctions L Kuper, JE Gottschlich US Patent 10,591,313, 2020	11	2020
A lattice-theoretical approach to deterministic parallelism with shared state L Kuper, RR Newton Technical Report TR702, Indiana University, 2012	11	2012
Lattice-based Data Structures for Deterministic Parallel and Distributed Programming L Kuper Indiana University, 2015	9	2015
A pattern matcher for miniKanren, or, how to get into trouble with CPS macros AW Keep, MD Adams, L Kuper, WE Byrd, DP Friedman Technical Report CPSLO-CSC-09-03, 37, 2009	9	2009
Verified causal broadcast with liquid haskell P Redmond, G Shen, N Vazou, L Kuper Proceedings of the 34th Symposium on Implementation and Application of …, 2022	5	2022
The future of programming languages and programmers SD Fraser, L Bak, R DeLine, N Feamster, L Kuper, CV Lopes, P Wu Companion Proceedings of the 2015 ACM SIGPLAN International Conference on …, 2015	5	2015
Joining forces: toward a unified account of LVars and convergent replicated data types L Kuper, RR Newton WoDet '14, 2014	5*	2014
Portable, efficient, and practical library-level choreographic programming S Kashiwa University of California, Santa Cruz, 2024	4	2024
Toward Hole-Driven Development with Liquid Haskell P Redmond, G Shen, L Kuper HATRA '21, 2021	4	2021
What goes wrong in serverless runtimes? A survey of bugs in Knative Serving T Goodwin, A Quinn, L Kuper Proceedings of the 1st Workshop on SErverless Systems, Applications and …, 2023	3	2023
Parametric polymorphism through run-time sealing, or, Theorems for low, low prices!(April 2011) A Ahmed, L Kuper, J Matthews URL http://www. ccs. neu. edu/home/amal/papers/paramseal-tr. pdf, 2011	3	2011

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori