12 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- AeroVironment (United States)US1 paper
- Amazon (United States)US1 paper
- California Institute of TechnologyUS1 paper
- Dartmouth CollegeUS1 paper
- Infrared Processing and Analysis CenterUS1 paper
- Jet Propulsion LaboratoryUS1 paper
- KU LeuvenBE1 paper
- Massachusetts Institute of TechnologyUS1 paper
- National Aeronautics and Space AdministrationUS1 paper
- Northrop Grumman (United States)US1 paper
- Queen Mary University of LondonGB1 paper
- Southwest Research InstituteUS1 paper
2 papers
cs.LO2026
Verifying the Rust Standard Library
Byron Cook, Remi Delmas, Zyad Hassan +9
Rust's type system prevents many classes of memory errors, yet its standard library relies heavily on unsafe code whose correctness is validated through testing, including dynamic…
astro-ph.IM2014★ 12 cited
Airships: A New Horizon for Science
Sarah H. Miller, Robert Fesen, Lynne Hillenbrand +33
The "Airships: A New Horizon for Science" study at the Keck Institute for Space Studies investigated the potential of a variety of airships currently operable or under development…