| 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 | 294 | 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 | 103 | 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 | 30* | 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 | 10 | 2013 |
| 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 | 8 | 2020 |
| A higher-order abstract syntax approach to verified transformations on functional programs Y Wang, G Nadathur Programming Languages and Systems: 25th European Symposium on Programming …, 2016 | 8 | 2016 |
| 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 |
| 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 | 1 | 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 | 1 | 2021 |
| 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 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
