Andrew Wagner

20212022202320242 1 8 6

Public access

3 articles

0 articles

available

not available

Based on funding mandates

Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
Daniel PattersonAssistant Teaching Professor, Northeastern UniversityVerified email at dbpmail.net
Tim NelsonLecturer, Brown UniversityVerified email at brown.edu
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityVerified email at cs.brown.edu
Daniel ParkRensselaer Polytechnic InstituteVerified email at rpi.edu
Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Timothy BrajeMIT Lincoln LaboratoryVerified email at alumni.stanford.edu
Robert K. CunninghamCMU and PittVerified email at cunninghamfamily.net
Ben KaiserPhD student, Department of Computer Science, Princeton UniversityVerified email at princeton.edu
Kevin DackowSoftware Engineer, GoogleVerified email at google.com

Andrew Wagner

Verified email at ccs.neu.edu


Title Sort by citations Sort by year Sort by 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	10	2022
Semantic Encapsulation using Linking Types D Patterson, A Wagner, A Ahmed Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven …, 2023	2	2023
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	2	2022
Where to begin? synthesizing initial configurations for cellular automata A Wagner	2	2020
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	1	2020
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		2024
Linking Types: Technical Appendix D Patterson, A Wagner, A Ahmed		2023

The system can't perform the operation now. Try again later.

Articles 1–7

Citations per year