上海交大研究生院主页平台管理系统 Wang Yuting--Home--Paper Publications

Personal Information

VIEW MORE

Home > Scientific Research > Paper Publications

Wang Yuting.Verified compilation of C programs with a nominal memory model.Proceedings of the ACM on Programming Languages.2022
2023-02-17
Automatic Generation and Validation of Instruction Encoders and Decoders.COMPUTER AIDED VERIFICATION, PT II, CAV 2021.2021
2021-12-28
Wang Yuting.CompCertELF: verified separate compilation of C programs into ELF object files.Proceedings of the ACM on Programming Languages.2020
2021-07-17
Wang Yuting.An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code.Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL).2019
2020-05-08
Wang Yuting.Schematic Polymorphism in the Abella Proof Assistant.Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP).2018
2020-05-08
Wang Yuting.A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs.Proceedings of the 25th European Symposium on Programming (ESOP/ETAPS).2016
2020-05-08
Wang Yuting.A Proof-Theoretic Characterization of Independence in Type Theory.Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications (TLCA).2015
2020-05-08
Abella: A System for Reasoning about Relational Specifications.Journal of Formalized Reasoning.2014
2020-05-08
Wang Yuting.Towards Extracting Explicit Proofs from Totality Checking in Twelf.Proceedings of the 8th ACM SIGPLAN International Workshop on Logical Frameworks (LFMTP).2013
2020-05-08
Wang Yuting.Reasoning about Higher-Order Relational Specifications.Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming (PPDP).2013
2020-05-08

total11 1/2

firstpreviousnext last Page