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 database¹, Yuting Wang authored at least 17 papers between 2013 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2024

Generic Reasoning of the Locally Nameless Representation.

[BibT_eX]

[DOI]

Yicheng Ni

Yuting Wang

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

2023

A Bottom-Up Approach to a Unified Semantic Interface for Verified Compositional Compilation.

[BibT_eX]

[DOI]

CoRR, 2023

Verified Transformation of Continuation-Passing Style into Static Single Assignment Form.

[BibT_eX]

[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.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

Verified compilation of C programs with a nominal memory model.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

2021

Automatic Generation and Validation of Instruction Encoders and Decoders.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

CompCertELF: verified separate compilation of C programs into ELF object files.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

2019

An abstract stack based approach to verified compositional compilation to machine code.

[BibT_eX]

[DOI]

Yuting Wang

Pierre Wilke

Zhong Shao

Proc. ACM Program. Lang., 2019

2018

Schematic Polymorphism in the Abella Proof Assistant.

[BibT_eX]

[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.

[BibT_eX]

[DOI]

Yuting Wang

CoRR, 2017

2016

A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs.

[BibT_eX]

[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.

[BibT_eX]

[DOI]

Yuting Wang

Gopalan Nadathur

CoRR, 2015

A Proof-theoretic Characterization of Independence in Type Theory.

[BibT_eX]

[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.

[BibT_eX]

[DOI]

J. Formaliz. Reason., 2014

2013

Reasoning about higher-order relational specifications.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Towards extracting explicit proofs from totality checking in twelf.

[BibT_eX]

[DOI]

Yuting Wang

Gopalan Nadathur

Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, 2013

Yuting Wang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...