Yuting Wang
Título
Citado por
Citado por
Año
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
2392012
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
822014
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
14*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
72013
A higher-order abstract syntax approach to verified transformations on functional programs
Y Wang, G Nadathur
European Symposium on Programming, 752-779, 2016
52016
A higher-order abstract syntax approach to the verified compilation of functional programs
Y Wang
University of Minnesota, 2016
32016
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
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
Verified Transformations on Functional Programs Using the Higher-Order Abstract Syntax Approach
Y Wang, G Nadathur
CoRR, 2015
2015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–11