Andrew W. Appel - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Andrew W. Appel' as author, editor, or advisor:

Safe Java Native InterfaceGang Tan, Andrew W. Appel, Srimat Chakradhar, Anand Raghunathan, Srivaths Ravi 0001, Daniel C. Wang. issse3 2006:
Connecting Higher-Order Separation Logic to a First-Order Outside WorldWilliam Mansky, Wolf Honoré, Andrew W. Appel. ESOP 2020: 428-455 [doi]
Coq's vibrant ecosystem for verification engineering (invited talk)Andrew W. Appel. CPP 2022: 2-11 [doi]
Deriving efficient program transformations from rewrite rulesJohn M. Li, Andrew W. Appel. PACMPL, 5(ICFP):1-29, 2021. [doi]
A Solver for Arrays with ConcatenationQinshi Wang, Andrew W. Appel. JAR, 67(1):4, 2023. [doi]
Foundational Verification of Stateful P4 Packet ProcessingQinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel. itp 2023: [doi]
Verified sequential Malloc/FreeAndrew W. Appel, David A. Naumann. iwmm 2020: 48-59 [doi]
VST-A: A Foundationally Sound Annotation VerifierLitao Zhou, Jianxing Qin, Qinshi Wang, Andrew W. Appel, Qinxiang Cao. PACMPL, 8(POPL):2069-2098, January 2024. [doi]
Abstraction and subsumption in modular verification of C programsLennart Beringer, Andrew W. Appel. fmsd, 58(1):322-345, 2021. [doi]
Corrigendum: C floating-point proofs layered with VST and FlocqAndrew W. Appel, Yves Bertot. jfrea, 13(1), 2020. [doi]
Abstraction and Subsumption in Modular Verification of C ProgramsLennart Beringer, Andrew W. Appel. FM 2019: 573-590 [doi]
Compositional optimizations for CertiCoqZoe Paraskevopoulou, John M. Li, Andrew W. Appel. PACMPL, 5(ICFP):1-30, 2021. [doi]
VCFloat2: Floating-Point Error Analysis in CoqAndrew W. Appel, Ariel Kellison. CPP 2024: 14-29 [doi]
C floating-point proofs layered with VST and FlocqAndrew W. Appel, Yves Bertot. jfrea, 13(1):1-16, 2020. [doi]
Home PageAndrew W. Appel. http://www.cs.princeton.edu/~appel/,
Efficient Extensional Binary TriesAndrew W. Appel, Xavier Leroy. JAR, 67(1):8, March 2023. [doi]
Verified Erasure Correction in Coq with MathComp and VSTJoshua M. Cohen, Qinshi Wang, Andrew W. Appel. cav 2022: 272-292 [doi]
Technical Perspective: The scalability of CertiKOSAndrew W. Appel. CACM, 62(10):88, 2019. [doi]
Verified Numerical Methods for Ordinary Differential EquationsAriel E. Kellison, Andrew W. Appel. cav 2022: 147-163 [doi]
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi MethodMohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin. mkm 2023: 206-221 [doi]
Closure conversion is safe for spaceZoe Paraskevopoulou, Andrew W. Appel. PACMPL, 3(ICFP), 2019. [doi]

runs on WebDSL