Seguir
Lindsey Kuper
Título
Citado por
Citado por
Año
LVars: lattice-based data structures for deterministic parallelism
L Kuper, RR Newton
FHPC '13, 2013
972013
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
812019
Freeze after writing: quasi-deterministic parallel programming with LVars
L Kuper, A Turon, NR Krishnaswami, RR Newton
POPL '14, 2014
762014
Toward Scalable Verification for Safety-Critical Deep Networks
L Kuper, G Katz, J Gottschlich, K Julian, C Barrett, M Kochenderfer
SysML '18, 2018
422018
Taming the parallel effect zoo: extensible deterministic parallelism with LVish
L Kuper, A Todd, S Tobin-Hochstadt, RR Newton
PLDI '14, 2014
412014
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
242020
Parallelizing Julia with a Non-invasive DSL
TA Anderson, H Liu, L Kuper, E Totoni, J Vitek, T Shpeisman
ECOOP '17, 2017
242017
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
132023
A lattice-theoretical approach to deterministic parallelism with shared state
L Kuper, RR Newton
Technical Report TR702, Indiana University, 2012
112012
Detecting mobile device sensor malfunctions
L Kuper, JE Gottschlich
US Patent 10,591,313, 2020
102020
Lattice-based Data Structures for Deterministic Parallel and Distributed Programming
L Kuper
Indiana University, 2015
82015
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
82009
Joining forces: toward a unified account of LVars and convergent replicated data types
L Kuper, RR Newton
WoDet '14, 2014
5*2014
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
42015
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
32022
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
32011
Efficient representations for triangular substitutions: A comparison in miniKanren
DC Bender, L Kuper, WE Byrd, DP Friedman
32009
Toward Hole-Driven Development with Liquid Haskell
P Redmond, G Shen, L Kuper
HATRA '21, 2021
22021
Parametric polymorphism through run-time sealing, or, Theorems for low, low prices
A Ahmed, L Kuper, J Matthews
22011
Portable, Efficient, and Practical Library-Level Choreographic Programming
S Kashiwa, G Shen, S Zare, L Kuper
arXiv preprint arXiv:2311.11472, 2023
12023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20