Lindsey Kuper
Titel
Geciteerd door
Geciteerd door
Jaar
LVars: lattice-based data structures for deterministic parallelism
L Kuper, RR Newton
FHPC '13, 2013
69*2013
Freeze after writing: quasi-deterministic parallel programming with LVars
L Kuper, A Turon, NR Krishnaswami, RR Newton
POPL '14, 2014
552014
Taming the parallel effect zoo: extensible deterministic parallelism with LVish
L Kuper, A Todd, S Tobin-Hochstadt, RR Newton
PLDI '14, 2014
292014
Toward Scalable Verification for Safety-Critical Deep Networks
L Kuper, G Katz, J Gottschlich, K Julian, C Barrett, M Kochenderfer
SysML '18, 2018
152018
Parallelizing Julia with a Non-invasive DSL
TA Anderson, H Liu, L Kuper, E Totoni, J Vitek, T Shpeisman
ECOOP '17, 2017
152017
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
112019
A lattice-theoretical approach to deterministic parallelism with shared state
L Kuper, RR Newton
Technical Report TR702, Indiana University, 2012
102012
Lattice-based Data Structures for Deterministic Parallel and Distributed Programming
L Kuper
Indiana University, 2015
72015
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
52009
Joining forces: toward a unified account of LVars and convergent replicated data types
L Kuper, RR Newton
WoDet '14, 2014
3*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
22015
Parallelizing Julia with a Non-Invasive DSL (Artifact)
TA Anderson, H Liu, L Kuper, E Totoni, J Vitek, T Shpeisman
DARTS-Dagstuhl Artifacts Series 3, 2017
12017
Efficient representations for triangular substitutions: A comparison in miniKanren
DC Bender, L Kuper, WE Byrd, DP Friedman
12009
Detecting mobile device sensor malfunctions
L Kuper, JE Gottschlich
US Patent 10,591,313, 2020
2020
Toward Domain-Specific Solvers for Distributed Consistency
L Kuper, P Alvaro
3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019
2019
Safety in numbers
D Melski, D Cok, J Phillips, S Wisniewski, SH Yong, N Lloyd, L Kuper, ...
GRAMMATECH INC ITHACA NY, 2010
2010
Parametric Polymorphism Through Run-time Sealing
A AHMED, L KUPER, J MATTHEWS
Deterministic Threshold Queries of Distributed Data Structures
L Kuper, RR Newton
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–18