Yuting Wang

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 12

Top Topics

Functional Programs

Top Venues

Proc. ACM Program. Lang.

J. Formaliz. Reason.

Publications

Ling Zhang, Yuting Wang, Jinhua Wu, Jérémie Koenig, Zhong Shao
Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules. Proc. ACM Program. Lang. 8 (POPL) (2024)
Siyu Liu, Yuting Wang
Verified Transformation of Continuation-Passing Style into Static Single Assignment Form. TASE (2023)
Ling Zhang, Yuting Wang, Jérémie Koenig, Zhong Shao
A Bottom-Up Approach to a Unified Semantic Interface for Verified Compositional Compilation. CoRR (2023)
Jinhua Wu, Yuting Wang, Meng Sun, Xiangzhe Xu, Yichen Song
Towards a Framework for Developing Verified Assemblers for the ELF Format. APLAS (2023)
Yuting Wang, Ling Zhang, Zhong Shao, Jérémie Koenig
Verified compilation of C programs with a nominal memory model. Proc. ACM Program. Lang. 6 (POPL) (2022)
Xiangzhe Xu, Jinhua Wu, Yuting Wang, Zhenguo Yin, Pengfei Li
Automatic Generation and Validation of Instruction Encoders and Decoders. CAV (2) (2021)
Yuting Wang, Xiangzhe Xu, Pierre Wilke, Zhong Shao
CompCertELF: verified separate compilation of C programs into ELF object files. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Yuting Wang, Pierre Wilke, Zhong Shao
An abstract stack based approach to verified compositional compilation to machine code. Proc. ACM Program. Lang. 3 (POPL) (2019)
Gopalan Nadathur, Yuting Wang
Schematic Polymorphism in the Abella Proof Assistant. PPDP (2018)
Gopalan Nadathur, Yuting Wang
Schematic Polymorphism in the Abella Proof Assistant. CoRR (2018)
Yuting Wang
A Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs. CoRR (2017)
Yuting Wang, Gopalan Nadathur
A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs. ESOP (2016)
Yuting Wang, Gopalan Nadathur
Verified Transformations on Functional Programs Using the Higher-Order Abstract Syntax Approach. CoRR (2015)
Yuting Wang, Kaustuv Chaudhuri
A Proof-theoretic Characterization of Independence in Type Theory. TLCA (2015)
David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, Yuting Wang
Abella: A System for Reasoning about Relational Specifications. J. Formaliz. Reason. 7 (2) (2014)
Yuting Wang, Gopalan Nadathur
Towards Extracting Explicit Proofs from Totality Checking in Twelf. CoRR (2013)
Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur
Reasoning About Higher-Order Relational Specifications CoRR (2013)
Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur
Reasoning about higher-order relational specifications. PPDP (2013)
Yuting Wang, Gopalan Nadathur
Towards extracting explicit proofs from totality checking in twelf. LFMTP (2013)