| 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 | 339 | 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 | 120 | 2014 |
| 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 | 47* | 2019 |
| 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 | 21 | 2020 |
| 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 | 19 | 2013 |
| A higher-order abstract syntax approach to verified transformations on functional programs Y Wang, G Nadathur European Symposium on Programming, 752-779, 2016 | 11 | 2016 |
| Towards extracting explicit proofs from totality checking in Twelf Y Wang, G Nadathur Proceedings of the Eighth ACM SIGPLAN international workshop on Logical …, 2013 | 10 | 2013 |
| 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 | 8 | 2022 |
| 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 | 7 | 2021 |
| Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules L Zhang, Y Wang, J Wu, J Koenig, Z Shao Proceedings of the ACM on Programming Languages 8 (POPL), 2160-2190, 2024 | 6 | 2024 |
| A higher-order abstract syntax approach to the verified compilation of functional programs Y Wang University of Minnesota, 2016 | 5 | 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 | 2 | 2015 |
| Schematic polymorphism in the Abella proof assistant G Nadathur, Y Wang Proceedings of the 20th International Symposium on Principles and Practice …, 2018 | 1 | 2018 |
| Towards a Framework for Developing Verified Assemblers for the ELF Format J Wu, Y Wang, M Sun, X Xu, Y Song Asian Symposium on Programming Languages and Systems, 205-224, 2023 | | 2023 |
| Verified Transformation of Continuation-Passing Style into Static Single Assignment Form S Liu, Y Wang International Symposium on Theoretical Aspects of Software Engineering, 20-37, 2023 | | 2023 |
| Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules (Technical Report) L Zhang, Y Wang, J Wu, J Koenig, Z Shao arXiv preprint arXiv:2302.12990, 2023 | | 2023 |
| Verified Transformations on Functional Programs Using the Higher-Order Abstract Syntax Approach Y Wang, G Nadathur CoRR, 2015 | | 2015 |
| AMIBE: an Imperative Programming Language with First Class Continuations Y Wang | | 2011 |
Gopalan NadathurProfessor of Computer Science and Engineering, University of Minnesotacs.umn.edu üzerinde doğrulanmış e-posta adresine sahip