We stand with Ukraine  

Yuting Wang

Orcid: 0000-0003-3990-2418

Affiliations:
  • Shanghai Jiao Tong University, John Hopcroft Center for Computer Science, Shanghai, China
  • Yale University, Department of Computer Science, New Haven, CT, USA (former)
  • University of Minnesota, Twin Cities, MN, USA (former, PhD 2016)


According to our database1, Yuting Wang authored at least 16 papers between 2013 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules.
[BibTeX]
[DOI]
Ling Zhang
,
Yuting Wang
,
Jinhua Wu
,
Jérémie Koenig
,
Zhong Shao
Proc. ACM Program. Lang., January, 2024

2023
A Bottom-Up Approach to a Unified Semantic Interface for Verified Compositional Compilation.
[BibTeX]
[DOI]
Ling Zhang
,
Yuting Wang
,
Jérémie Koenig
,
Zhong Shao
CoRR, 2023

Verified Transformation of Continuation-Passing Style into Static Single Assignment Form.
[BibTeX]
[DOI]
Siyu Liu
,
Yuting Wang
Proceedings of the Theoretical Aspects of Software Engineering, 2023

Towards a Framework for Developing Verified Assemblers for the ELF Format.
[BibTeX]
[DOI]
Jinhua Wu
,
Yuting Wang
,
Meng Sun
,
Xiangzhe Xu
,
Yichen Song
Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022
Verified compilation of C programs with a nominal memory model.
[BibTeX]
[DOI]
Yuting Wang
,
Ling Zhang
,
Zhong Shao
,
Jérémie Koenig
Proc. ACM Program. Lang., 2022

2021
Automatic Generation and Validation of Instruction Encoders and Decoders.
[BibTeX]
[DOI]
Xiangzhe Xu
,
Jinhua Wu
,
Yuting Wang
,
Zhenguo Yin
,
Pengfei Li
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
CompCertELF: verified separate compilation of C programs into ELF object files.
[BibTeX]
[DOI]
Yuting Wang
,
Xiangzhe Xu
,
Pierre Wilke
,
Zhong Shao
Proc. ACM Program. Lang., 2020

2019
An abstract stack based approach to verified compositional compilation to machine code.
[BibTeX]
[DOI]
Yuting Wang
,
Pierre Wilke
,
Zhong Shao
Proc. ACM Program. Lang., 2019

2018
Schematic Polymorphism in the Abella Proof Assistant.
[BibTeX]
[DOI]
Gopalan Nadathur
,
Yuting Wang
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017
A Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs.
[BibTeX]
[DOI]
Yuting Wang
CoRR, 2017

2016
A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs.
[BibTeX]
[DOI]
Yuting Wang
,
Gopalan Nadathur
Proceedings of the Programming Languages and Systems, 2016

2015
Verified Transformations on Functional Programs Using the Higher-Order Abstract Syntax Approach.
[BibTeX]
[DOI]
Yuting Wang
,
Gopalan Nadathur
CoRR, 2015

A Proof-theoretic Characterization of Independence in Type Theory.
[BibTeX]
[DOI]
Yuting Wang
,
Kaustuv Chaudhuri
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

2014
Abella: A System for Reasoning about Relational Specifications.
[BibTeX]
[DOI]
David Baelde
,
Kaustuv Chaudhuri
,
Andrew Gacek
,
Dale Miller
,
Gopalan Nadathur
,
Alwen Tiu
,
Yuting Wang
J. Formaliz. Reason., 2014

2013
Reasoning about higher-order relational specifications.
[BibTeX]
[DOI]
Yuting Wang
,
Kaustuv Chaudhuri
,
Andrew Gacek
,
Gopalan Nadathur
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Towards extracting explicit proofs from totality checking in twelf.
[BibTeX]
[DOI]
Yuting Wang
,
Gopalan Nadathur
Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, 2013


  Loading...