Yuting Wang
Citado por
Citado por
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
University of Minnesota, 2016
A proof-theoretic characterization of independence in type theory
Y Wang, K Chaudhuri
13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015
Schematic Polymorphism in the Abella Proof Assistant
G Nadathur, Y Wang
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
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
Verified Transformations on Functional Programs Using the Higher-Order Abstract Syntax Approach
Y Wang, G Nadathur
CoRR, 2015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–11