Michael Hicks
- Garbage collection makes rust easier to use
2021/10/03 by Michael Coblenz, Michelle Mazurek, Michelle L. Mazurek +1 · 7 voices · 2 citations
Agricultural and Biological Sciences · #Berry genetics and cultivation research #Growth and nutrition in plants
- Evaluating Fuzz Testing
2018/08/29 by George Klees, Andrew Ruef, Benji Cooper +2 · 2 voices · 35 citations
Computer Science · #cs.CR
- A Formal Model of Checked C
2022/01/31 by Liyi Li, Yiyun Liu, Li, Liyi +9 · 2 voices
Computer Science · #cs.PL #cs.SE
- Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
2024/03/07 by Joseph W. Cutler, Cutler, Joseph W., Craig Disselkoen +28 · 3 voices · 7 citations
Computer Science · Social Sciences · #Access Control and Trust #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- Foundations of Probabilistic Programming
2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 7 citations
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
- Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
2022/04/26 by Finn Voichick, Voichick, Finn, Liyi Li +5 · 10 citations
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
- Summoning Demons: The Pursuit of Exploitable Bugs in Machine Learning
2017/01/17 by Rock Stevens, Stevens, Rock, Octavian Suciu +9 · 1 voice · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Testing and Debugging Techniques #cs.CR #cs.LG
- Cement or Solvent? Kinship and Politics in Late Medieval England: The Case of the Nevilles
1998/01/01 by Michael Hicks · 2 citations
Economics, Econometrics and Finance · Arts and Humanities · #Historical Economic and Social Studies #Medieval Literature and History #Historical Studies of British Isles
- A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
2022/04/14 by Yuxiang Peng, Peng, Yuxiang, Kesha Hietala +11 · 2 citations
Computer Science · #Quantum Computing Algorithms and Architecture #Logic, programming, and type systems #Cryptography and Data Security
- Verified Compilation of Quantum Oracles
2021/12/13 by Liyi Li, Li, Liyi, Finn Voichick +9 · 1 citation
Computer Science · #Cloud Computing and Resource Management #FOS: Computer and information sciences #FOS: Physical sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
- How We Built Cedar: A Verification-Guided Approach
2024/07/01 by Craig Disselkoen, Disselkoen, Craig, Aaron Eline +22 · 1 citation
Engineering · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Tunneling and Rock Mechanics