Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andrei Stefanescu
conf.researchr.org general profile
ICST 2020 profile
PLDI 2015 profile
SPLASH 2012 profile
SPLASH 2016 profile
Registered user since Thu 2 Jul 2015
Name:
Andrei Stefanescu
Affiliation:
University of Illinois at Urbana-Champaign
Contributions
2016
SPLASH
Author of Semantics-Based Program Verifiers for All Languages within the OOPSLA-track
2015
PLDI
Author of KJS: A Complete Formal Semantics of JavaScript within the Research Papers-track
2012
SPLASH
Author of Checking reachability using matching logic within the OOPSLA Research Papers-track
Share
x
Wed 18 Dec 13:56