| Continuous compliance M Kellogg, M Schäf, S Tasiran, MD Ernst Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 18 | 2020 |
| Lightweight and modular resource leak verification M Kellogg, N Shadab, M Sridharan, MD Ernst Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 15 | 2021 |
| Verifying object construction M Kellogg, M Ran, M Sridharan, M Schäf, MD Ernst Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 15 | 2020 |
| Lightweight verification of array indexing M Kellogg, V Dort, S Millstein, MD Ernst Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 15 | 2018 |
| Combining bug detection and test case generation M Kellogg Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 8 | 2016 |
| Accumulation analysis M Kellogg, N Shadab, M Sridharan, MD Ernst 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 7 | 2022 |
| Pluggable type inference for free M Kellogg, D Daskiewicz, LND Nguyen, M Ahmed, MD Ernst 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 4 | 2023 |
| Inference of Resource Management Specifications N Shadab, P Gharat, S Tiwari, MD Ernst, M Kellogg, SK Lahiri, A Lal, ... Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1705-1728, 2023 | 1 | 2023 |
| Inferring Pluggable Types with Machine Learning KAI Siddiqui, M Kellogg arXiv preprint arXiv:2406.15676, 2024 | | 2024 |
| Inferring Pluggable Types with Machine Learning K Amanul Islam Siddiqui, M Kellogg arXiv e-prints, arXiv: 2406.15676, 2024 | | 2024 |
| CS 684-102: Software Testing and Quality Assurance M Kellogg | | 2024 |
| On the Relationship between Code Verifiability and Understandability K Feldman, M Kellogg, O Chaparro Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | | 2023 |
| Automatic Inference of Resource Leak Specifications N Shadab, P Gharat, S Tiwari, MD Ernst, M Kellogg, S Lahiri, A Lal, ... arXiv preprint arXiv:2306.11953, 2023 | | 2023 |
| CS 490: Guided Design in Software Engineering M Kellogg | | 2023 |
| Lightweight verification via specialized typecheckers M Kellogg Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | | 2021 |
| Compile-time detection of machine image sniping M Kellogg 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | | 2019 |
Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
