Yuting Wang
Title
Cited by
Cited by
Year
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
2262012
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
762014
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
192013
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
10*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
82013
A higher-order abstract syntax approach to verified transformations on functional programs
Y Wang, G Nadathur
European Symposium on Programming, 752-779, 2016
42016
A Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs
Y Wang
arXiv preprint arXiv:1702.03363, 2017
22017
A proof-theoretic characterization of independence in type theory
Y Wang, K Chaudhuri
13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015
22015
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
2020
Schematic Polymorphism in the Abella Proof Assistant
G Nadathur, Y Wang
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
2018
Verified Transformations on Functional Programs Using the Higher-Order Abstract Syntax Approach
Y Wang, G Nadathur
CoRR, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–11