Ahmed, Amal
- Oxide: The Essence of Rust
2019/03/03 by Aaron Weiss, Weiss, Aaron, Olek Gierczak +5 · 4 voices · 2 citations
Computer Science · #Distributed systems and fault tolerance #Logic, programming, and type systems #Software Engineering Research #cs.PL
- Lilac: A Modal Separation Logic for Conditional Probability
2023/04/03 by John M. Li, Li, John M., Amal Ahmed +3 · 4 citations
Computer Science · #Logic, Reasoning, and Knowledge #Natural Language Processing Techniques #Logic, programming, and type systems
- Semantic Soundness for Language Interoperability
2022/02/26 by Daniel W. Patterson, Noble Mushtak, Patterson, Daniel +5 · 3 citations
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research
- Rust Distilled: An Expressive Tower of Languages
2018/06/07 by Aaron Weiss, Daniel Patterson, Weiss, Aaron +3 · 1 voice
Computer Science · #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Security and Verification in Computing #cs.PL
- Provenance as Dependency Analysis
2007/08/16 by James Cheney, Amal Ahmed, Cheney, James +3 · 1 citation
Decision Sciences · Computer Science · #Scientific Computing and Data Management #Distributed and Parallel Computing Systems #Research Data Management Practices
- A Nominal Approach to Probabilistic Separation Logic
2024/05/10 by John M. Li, Jon Aytac, Li, John M. +7 · 2 citations
Computer Science · #Logic, Reasoning, and Knowledge