150 citations
- California Institute of TechnologyUS12 papers
- Carnegie Mellon UniversityUS6 papers
- Planetary Science InstituteUS3 papers
- Flatiron Health (United States)US2 papers
- Forbes HospitalUS2 papers
- Jet Propulsion LaboratoryUS2 papers
- Lowell ObservatoryUS2 papers
- Northern Arizona UniversityUS2 papers
- Stanford UniversityUS2 papers
- The University of Texas at AustinUS2 papers
- University of HoustonUS2 papers
- University of MichiganUS2 papers
4 papers · 1 filter
Unboxing Virgil ADTs for Fun and Profit
Bradley Wei Jie Teo, Ben L. Titzer
Algebraic Data Types (ADTs) are an increasingly common feature in modern programming languages. In many implementations, values of non-nullary, multi-case ADTs are allocated on the…
tl;dr: Chill, y'all: AI Will Not Devour SE
Eunsuk Kang, Mary Shaw
Social media provide a steady diet of dire warnings that artificial intelligence (AI) will make software engineering (SE) irrelevant or obsolete. To the contrary, the engineering d…
Review of the August 1972 and March 1989 Space Weather Events: Can We Learn Anything New From Them?
Bruce T. Tsurutani, Abhijit Sen, Rajkumar Hajra +3
Updated summaries of the August 1972 and March 1989 space weather events have been constructed. The features of these two events are compared to the Carrington 1859 event and a few…
The Equilibrium Vapor Pressures of Ammonia and Oxygen Ices at Outer Solar System Temperatures
B. P. Blakley, Will M. Grundy, Jordan K. Steckloff +8
Few laboratory studies have investigated the vapor pressures of the volatiles that may be present as ices in the outer solar system; even fewer studies have investigated these spec…