LVars: lattice-based data structures for deterministic parallelism L Kuper, RR Newton FHPC '13, 2013 | 99 | 2013 |
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 | 92 | 2019 |
Freeze after writing: quasi-deterministic parallel programming with LVars L Kuper, A Turon, NR Krishnaswami, RR Newton POPL '14, 2014 | 73 | 2014 |
Toward Scalable Verification for Safety-Critical Deep Networks L Kuper, G Katz, J Gottschlich, K Julian, C Barrett, M Kochenderfer SysML '18, 2018 | 44 | 2018 |
Taming the parallel effect zoo: extensible deterministic parallelism with LVish L Kuper, A Todd, S Tobin-Hochstadt, RR Newton PLDI '14, 2014 | 41 | 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 | 26 | 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 | 16 | 2023 |
A lattice-theoretical approach to deterministic parallelism with shared state L Kuper, RR Newton Technical Report TR702, Indiana University, 2012 | 11 | 2012 |
Detecting mobile device sensor malfunctions L Kuper, JE Gottschlich US Patent 10,591,313, 2020 | 10 | 2020 |
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 |
Joining forces: toward a unified account of LVars and convergent replicated data types L Kuper, RR Newton WoDet '14, 2014 | 5* | 2014 |
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 | 4 | 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 | 4 | 2015 |
Portable, Efficient, and Practical Library-Level Choreographic Programming S Kashiwa, G Shen, S Zare, L Kuper arXiv preprint arXiv:2311.11472, 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 |
Efficient representations for triangular substitutions: A comparison in miniKanren DC Bender, L Kuper, WE Byrd, DP Friedman | 3 | 2009 |
Inductive diagrams for causal reasoning J Castello, P Redmond, L Kuper Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 529-554, 2024 | 2 | 2024 |
Toward Hole-Driven Development with Liquid Haskell P Redmond, G Shen, L Kuper HATRA '21, 2021 | 2 | 2021 |