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
https://portal.mardi4nfdi.de/entity/Q5398047	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Puri Arenas