Follow
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
3182012
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
1112014
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
39*2019
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
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
142020
A higher-order abstract syntax approach to verified transformations on functional programs
Y Wang, G Nadathur
European Symposium on Programming, 752-779, 2016
102016
Towards extracting explicit proofs from totality checking in Twelf
Y Wang, G Nadathur
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical …, 2013
102013
Verified compilation of C programs with a nominal memory model
Y Wang, L Zhang, Z Shao, J Koenig
Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022
52022
Automatic generation and validation of instruction encoders and decoders
X Xu, J Wu, Y Wang, Z Yin, P Li
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
42021
A higher-order abstract syntax approach to the verified compilation of functional programs
Y Wang
University of Minnesota, 2016
42016
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
Schematic polymorphism in the Abella proof assistant
G Nadathur, Y Wang
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
12018
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–13