• Sign in
  • Sign up
conf.researchr.org / Marinela Parovic
  • ASE 2019 profile
  • PLDI 2022 profile
  • SPLASH 2020 profile
No Photo

Not registered as user

Name:Marinela Parovic
Affiliation:University of Texas at Austin

Contributions

2022

PLDI

  • Author of (OOPSLA 2020) Unifying Execution of Imperative Generators and Declarative Specifications within the SIGPLAN Track-track

2020

SPLASH

  • Author of Unifying Execution of Imperative Generators and Declarative Specifications within the Posters-track
  • Author of Unifying Execution of Imperative Generators and Declarative Specifications within the OOPSLA-track

2019

ASE

  • Author of Mutation Analysis for Coq within the Research Papers-track
Share
xFri 9 May 07:47
using conf.researchr.org (v1.69.0)
Support page
Sign Up