Jane Street (United States)

Recent papers from Jane Street (United States)

1. Type-Directed Discretization of Probabilistic ProgramsProceedings of the ACM on Programming Languages · 2026
2. Mode CrossingProceedings of the ACM on Programming Languages · 2026
3. Weighted NetKAT: A Programming Language for Quantitative Network VerificationProceedings of the ACM on Programming Languages · 2026
4. Active Learning of Symbolic NetKAT AutomataProceedings of the ACM on Programming Languages · 2025
5. Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet2025
6. Data Race Freedom à la ModeProceedings of the ACM on Programming Languages · 2025
7. Network Design Considerations for Trading Systems2024
8. Oxidizing OCaml with Modal Memory ManagementProceedings of the ACM on Programming Languages · 2024
9. Fair and Efficient Online AllocationsOperations Research · 2024
10. Property-Based Testing in Practice2024
11. Hardcaml MSM: A High-Performance Split CPU-FPGA Multi-Scalar Multiplication Engine2024
12. Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design2024
13. What It Would Take to Use Mutation Testing in Industry—A Study at Facebook2021
14. Gradual Program Analysis for Null Pointers2021
15. Neolithic and Bronze Age occupation at Meadowend Farm, ClackmannanshireScottish archaeological internet reports/Scottish archaeological internet report · 2018
16. An extracorporeal carbon dioxide removal (ECCO2R) device operating at hemodialysis blood flow ratesIntensive Care Medicine Experimental · 2017
17. Discovering the King’s wallScottish archaeological internet reports/Scottish archaeological internet report · 2017
18. Algebraic Geometry of Matrix Product StatesSymmetry Integrability and Geometry Methods and Applications · 2014
19. Overview of a chemoresponse assay in ovarian cancerClinical & Translational Oncology · 2014
20. What Is the Prevalence of Senior-athlete Rotator Cuff Injuries and Are They Associated With Pain and Dysfunction?Clinical Orthopaedics and Related Research · 2014