上海交大研究生院主页平台管理系统汪宇霆--中文主页--科学研究

汪宇霆

副教授

所在单位：电子信息与电气工程学院

学科：计算机软件与理论(081202)

职称：副教授

电子邮箱：yuting.wang@sjtu.edu.cn

教师主页二维码

手机版

常用链接

科学研究

中文主页 - 科学研究

研究领域

暂无内容

论文成果 MORE+

· Verified compilation of C programs with a nominal memory model.Proceedings of the ACM on Programming Languages.2022
· Automatic Generation and Validation of Instruction Encoders and Decoders.COMPUTER AIDED VERIFICATION, PT II, CAV 2021.2021
· CompCertELF: verified separate compilation of C programs into ELF object files.Proceedings of the ACM on Programming Languages.2020
· 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
· Schematic Polymorphism in the Abella Proof Assistant.Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP).2018
· A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs.Proceedings of the 25th European Symposium on Programming (ESOP/ETAPS).2016
· A Proof-Theoretic Characterization of Independence in Type Theory.Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications (TLCA).2015
· Abella: A System for Reasoning about Relational Specifications.Journal of Formalized Reasoning.2014
· Towards Extracting Explicit Proofs from Totality Checking in Twelf.Proceedings of the 8th ACM SIGPLAN International Workshop on Logical Frameworks (LFMTP).2013
· Reasoning about Higher-Order Relational Specifications.Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming (PPDP).2013

专利

暂无内容

著作成果

暂无内容

科研项目

沪ICP备05052060 版权所有©上海交通大学

访问人数： | 开通时间：--

最近更新时间：--