Publications (16)
The Fifteenth Data Release of the Sloan Digital Sky Surveys: First Release of MaNGA Derived Quantities, Data Visualization Tools and Stellar Library
D. S. Aguado, Romina Ahumada, Andres Almeida +230
The Sixteenth Data Release of the Sloan Digital Sky Surveys: First Release from the APOGEE-2 Southern Survey and Full Release of eBOSS Spectra
Romina Ahumada, Carlos Allende Prieto, Andres Almeida +310
Build It, Break It, Fix It: Contesting Secure Development
Andrew Ruef, Michael Hicks, James Parker +3
Build It, Break It, Fix It: Contesting Secure Development
James Parker, Michael Hicks, Andrew Ruef +5
LWeb: Information Flow Security for Multi-tier Web Applications
James Parker, Niki Vazou, Michael Hicks
The Seventeenth Data Release of the Sloan Digital Sky Surveys: Complete Release of MaNGA, MaStar and APOGEE-2 Data
Abdurro'uf, Katherine Accetta, Conny Aerts +337
4D, N=1 Supergravity Genomics
Isaac Chappell, S. James Gates, William D. Linch +4
Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities
Santiago Cuéllar, Bill Harris, James Parker +2
Balboa: Bobbing and Weaving around Network Censorship
Marc B. Rosen, James Parker, Alex J. Malozemoff
4D, N = 1 Supersymmetry Genomics (II)
S. James Gates, Jared Hallett, James Parker +2
A Detailed Investigation of First and Second Order Supersymmetries for Off-Shell N = 2 and N = 4 Supermultiplets
S. James Gates, James Parker, Vincent G. J. Rodgers +2
The Completed SDSS-IV extended Baryon Oscillation Spectroscopic Survey: Baryon acoustic oscillations with Lyman-$α$ forests
Hélion du Mas des Bourboux, James Rich, Andreu Font-Ribera +36
The Completed SDSS-IV extended Baryon Oscillation Spectroscopic Survey: Cosmological Implications from two Decades of Spectroscopic Surveys at the Apache Point observatory
eBOSS Collaboration, Shadab Alam, Marie Aubert +97
Volatile Sample Return in the Solar System
Stefanie N. Milam, Jason P. Dworkin, Jamie E. Elsila +17
Automating Bitvector and Finite Field Equivalence Proofs in Lean
Elizaveta Pertseva, Valentin Robert, Clark Barrett +1
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri +1