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
- 1 Active
-
Collaborative Research: SHF: MEDIUM: General and Scalable Pluggable Type Inference
7/1/23 → 6/30/27
New Jersey Institute of Technology
Project: Research project
-
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
-
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
-
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