| 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 | 269 | 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 | 92 | 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 | 25* | 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 | 19 | 2013 |
| Towards extracting explicit proofs from totality checking in Twelf Y Wang, G Nadathur Proceedings of the Eighth ACM SIGPLAN international workshop on Logical …, 2013 | 9 | 2013 |
| A higher-order abstract syntax approach to verified transformations on functional programs Y Wang, G Nadathur European Symposium on Programming, 752-779, 2016 | 6 | 2016 |
| 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 | 5 | 2020 |
| A higher-order abstract syntax approach to the verified compilation of functional programs Y Wang University of Minnesota, 2016 | 3 | 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 |
| 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 | | 2022 |
| Automatic Generation and Validation of Instruction Encoders and Decoders X Xu, J Wu, Y Wang, Z Yin, P Li International Conference on Computer Aided Verification, 728-751, 2021 | | 2021 |
| Verified Transformations on Functional Programs Using the Higher-Order Abstract Syntax Approach Y Wang, G Nadathur CoRR, 2015 | | 2015 |
Gopalan NadathurProfessor of Computer Science and Engineering, University of MinnesotaVerified email at cs.umn.edu
