Oana Fabiana Andreescu

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 2

Top Topics

Dependency Analysis

Delay Insensitive

Efficient Data Structures

Top Venues

Proc. ACM Program. Lang.

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer, Benoît Montagu
Inferring frame conditions with static correlation analysis. Proc. ACM Program. Lang. 3 (POPL) (2019)
Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer
Correlating Structured Inputs and Outputs in Functional Specifications. SEFM (2016)
Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer
Dependency Analysis of Functional Specifications with Algebraic Data Structures. ICFEM (2015)