Follow
Andrew Wagner
Title
Cited by
Cited by
Year
Semantic soundness for language interoperability
D Patterson, N Mushtak, A Wagner, A Ahmed
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
152022
Forge: A Tool and Language for Teaching Formal Methods
T Nelson, B Greenman, S Prasad, T Dyer, E Bove, Q Chen, C Cutting, ...
Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 613-641, 2024
62024
Semantic encapsulation using linking types
D Patterson, A Wagner, A Ahmed
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven …, 2023
62023
Adversary safety by construction in a language of cryptographic protocols
TM Braje, AR Lee, A Wagner, B Kaiser, D Park, M Kalke, RK Cunningham, ...
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 412-427, 2022
22022
Solver-Aided Multi-Party Configuration
K Dackow, A Wagner, T Nelson, S Krishnamurthi, TA Benson
Proceedings of the 19th ACM Workshop on Hot Topics in Networks, 103-109, 2020
22020
Where to begin? synthesizing initial configurations for cellular automata
A Wagner
Chemistry, 48, 2020
22020
Realistic Realizability: Specifying ABIs You Can Count On
A Wagner, Z Eisbach, A Ahmed
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1249-1278, 2024
2024
Linking Types: Technical Appendix
D Patterson, A Wagner, A Ahmed
2023
An Incremental Approach to the Semantics of Borrowing
B Marshall, A Wagner, J Li, O Gierczak, A Ahmed
All the Binaries Together: A Semantic Approach to Application Binary Interfaces
A Wagner, A Ahmed
The system can't perform the operation now. Try again later.
Articles 1–10