Puri Arenas

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Context-sensitive dynamic partial order reduction	2022-07-01	Paper
Test case generation of actor systems Automated Technology for Verification and Analysis	2016-01-08	Paper
Precise cost analysis via local reasoning Automated Technology for Verification and Analysis	2014-07-08	Paper
Towards testing concurrent objects in CLP	2014-02-25	Paper
Certificate size reduction in abstraction-carrying code Theory and Practice of Logic Programming	2012-08-30	Paper
Automatic inference of resource consumption bounds Logic for Programming, Artificial Intelligence, and Reasoning	2012-06-15	Paper
Cost analysis of object-oriented bytecode programs Theoretical Computer Science	2012-03-13	Paper
Closed-form upper bounds in static cost analysis Journal of Automated Reasoning	2011-04-05	Paper
From object fields to local variables: a practical approach to field-sensitive analysis Static Analysis	2010-10-01	Paper
Comparing cost functions in resource analysis Foundational and Practical Aspects of Resource Analysis	2010-09-14	Paper
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis Static Analysis	2008-08-28	Paper
An Incremental Approach to Abstraction-Carrying Code Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
Reduced Certificates for Abstraction-Carrying Code Logic Programming	2008-03-11	Paper

Research outcomes over time

This page was built for person: Puri Arenas