John Lehoczky
Carnegie Mellon University
H-index: 57
North America-United States
Top articles of John Lehoczky
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
ENCODING VERIFICATION ARGUMENTS TO ANALYZE HIGH-LEVEL DESIGN CERTIFICATION CLAIMS: EXPERIMENT ZERO (E0) | Dionisio de Niz Bjorn Andersson Mark Klein John Lehoczky Hyoseung Kim | 2024/1 | |
Limits of Limit-Order Books | Christopher Almost John Lehoczky Steven Shreve Xiaofeng Yu | 2022/8/3 | |
Resilient Mixed-Trust Scheduling | Dionisio de Niz Bjorn Andersson Hyoseung Kim Mark Klein John Lehoczky | 2021/12/7 | |
Addressing Multi-Core Timing Interference using Co-Runner Locking | Hyoseung Kim Dionisio de Niz Bjorn Andersson Mark Klein John Lehoczky | 2021/12/7 | |
Formal Verification of a Mixed-Trust Synchronization Protocol | Ruben Martins Michael McCall Dionisio de Niz Amit Vasudevan Bjorn Andersson | 2021/4/7 | |
Work-In-Progress: Toward Precomputation in Real-Time Mixed-Trust Scheduling | Dionisio de Niz Bjorn Andersson Hyoseung Kim Mark Klein John Lehoczky | 2020/12/1 | |
Diffusion Limit of Poisson Limit-Order Book Models | arXiv preprint arXiv:2008.01155 | Christopher Almost John Lehoczky Steven Shreve Xiaofeng Yu | 2020/8/3 |
Toward Precomputation in Real-Time Mixed-Trust Scheduling | Hyoseung Kim Dionisio de Niz Bjorn Andersson Mark Klein John Lehoczky | 2020/1/1 |