Puri Arenas

Available identifiers

zbMath Open arenas.puriMaRDI QIDQ764295

List of research outcomes

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

Research outcomes over time

This page was built for person: Puri Arenas