Yuting Wang
Cited by
Cited by
Very short-term load forecasting: wavelet neural networks with data pre-filtering
C Guan, PB Luh, LD Michel, Y Wang, PB Friedland
IEEE Transactions on Power Systems 28 (1), 30-41, 2012
Abella: A system for reasoning about relational specifications
D Baelde, K Chaudhuri, A Gacek, D Miller, G Nadathur, A Tiu, Y Wang
Journal of Formalized Reasoning 7 (2), 1-89, 2014
Reasoning about higher-order relational specifications
Y Wang, K Chaudhuri, A Gacek, G Nadathur
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
An abstract stack based approach to verified compositional compilation to machine code
ZS Yuting Wang, Pierre Wilke
Proceedings of the ACM on Programming Languages 3 (POPL), 62, 2019
Towards extracting explicit proofs from totality checking in Twelf
Y Wang, G Nadathur
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical …, 2013
A higher-order abstract syntax approach to verified transformations on functional programs
Y Wang, G Nadathur
European Symposium on Programming, 752-779, 2016
A Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs
Y Wang
arXiv preprint arXiv:1702.03363, 2017
A proof-theoretic characterization of independence in type theory
Y Wang, K Chaudhuri
13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015
CompCertELF: verified separate compilation of C programs into ELF object files
Y Wang, X Xu, P Wilke, Z Shao
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020
Schematic Polymorphism in the Abella Proof Assistant
G Nadathur, Y Wang
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
Verified Transformations on Functional Programs Using the Higher-Order Abstract Syntax Approach
Y Wang, G Nadathur
CoRR, 2015
The system can't perform the operation now. Try again later.
Articles 1–11