External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Inference of Resource Management Specifications

Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan. Inference of Resource Management Specifications. Proceedings of the ACM on Programming Languages, 7(OOPSLA2):1705-1728, October 2023. [doi]

Authors

Narges Shadab

This author has not been identified. Look up 'Narges Shadab' in Google

Pritam M. Gharat

This author has not been identified. Look up 'Pritam M. Gharat' in Google

Shrey Tiwari

This author has not been identified. Look up 'Shrey Tiwari' in Google

Michael D. Ernst

This author has not been identified. Look up 'Michael D. Ernst' in Google

Martin Kellogg

This author has not been identified. Look up 'Martin Kellogg' in Google

Shuvendu K. Lahiri

This author has not been identified. Look up 'Shuvendu K. Lahiri' in Google

Akash Lal

This author has not been identified. Look up 'Akash Lal' in Google

Manu Sridharan

This author has not been identified. Look up 'Manu Sridharan' in Google
runs on