Projects per year
Fingerprint
Dive into the research topics where Martin Kellogg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 4 Active
-
Collaborative Research: SHF: Small: Verification-guided Assessment and Reduction of Code Complexity
Kellogg, M. (PI)
8/1/24 → 7/31/27
New Jersey Institute of Technology
Project: Research project
-
Collaborative Research: SHF: Small: Verification-guided Assessment and Reduction of Code Complexity
Kellogg, M. (PI)
8/1/24 → 7/31/27
New Jersey Institute of Technology
Project: Research
-
Collaborative Research: SHF: MEDIUM: General and Scalable Pluggable Type Inference
Kellogg, M. (PI)
7/1/23 → 6/30/27
New Jersey Institute of Technology
Project: Research project
-
Collaborative Research: SHF: MEDIUM: General and Scalable Pluggable Type Inference
Kellogg, M. (PI)
7/1/23 → 6/30/27
New Jersey Institute of Technology
Project: Research
-
Lightweight and modular resource leak checking (extended version)
Shadab, N., Gharat, P., Tiwari, S., Ernst, M. D., Kellogg, M., Lahiri, S. K., Lal, A. & Sridharan, M., Apr 2025, In: International Journal on Software Tools for Technology Transfer. 27, 2, p. 267-288 22 p.New Jersey Institute of Technology
Research output: Contribution to journal › Article › peer-review
-
Repairing Leaks in Resource Wrappers
Malakar, S., Ernst, M. D., Kellogg, M. & Sridharan, M., 2025, Proceedings - 2025 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025. Institute of Electrical and Electronics Engineers Inc., p. 828-840 13 p. (Proceedings - 2025 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025).New Jersey Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Inference of Resource Management Specifications
Shadab, N., Gharat, P., Tiwari, S., Ernst, M. D., Kellogg, M., Lahiri, S. K., Lal, A. & Sridharan, M., Oct 16 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 282.New Jersey Institute of Technology
Research output: Contribution to journal › Article › peer-review
Open Access -
On the Relationship between Code Verifiability and Understandability
Feldman, K., Kellogg, M. & Chaparro, O., Nov 30 2023, ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Chandra, S., Blincoe, K. & Tonella, P. (eds.). Association for Computing Machinery, Inc, p. 211-223 13 p. (ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).New Jersey Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Pluggable Type Inference for Free
Kellogg, M., Daskiewicz, D., Duc Nguyen, L. N., Ahmed, M. & Ernst, M. D., 2023, Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023. Institute of Electrical and Electronics Engineers Inc., p. 1542-1554 13 p. (Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023).New Jersey Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution