No photo of Martin Kellogg

View Scopus Profile

Martin Kellogg

Calculated based on number of publications stored in Pure and citations from Scopus
20162024

Research activity 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
View full fingerprint

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
Explore network further
  • 10 Conference contribution
  • 1 Article

  • 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.

    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).

    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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Accumulation Analysis

    Kellogg, M., Shadab, N., Sridharan, M. & Ernst, M. D., Jun 1 2022, 36th European Conference on Object-Oriented Programming, ECOOP 2022. Ali, K. & Vitek, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 222).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Lightweight and modular resource leak verification

    Kellogg, M., Shadab, N., Sridharan, M. & Ernst, M. D., Aug 20 2021, ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D. (ed.). Association for Computing Machinery, Inc, p. 181-192 12 p. (ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    9 Scopus citations
View all 11 Research outputs