Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ilina Stoilkovska
conf.researchr.org general profile
ECOOP 2019 profile
ETAPS 2019 profile
POPL 2018 profile
POPL 2021 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Tue 11 Jan 2022
Name:
Ilina Stoilkovska
Affiliation:
Amazon
Contributions
2023
Static Analysis Symposium
Author of Lifting On-Demand Analysis to Higher-Order Languages within the SAS 2023-track
2022
Static Analysis Symposium
Committee Member in Artifact Evaluation Committee within the SAS 2022 Artifacts-track
2021
VMCAI
Author of Eliminating Message Counters in Synchronous Threshold Automata within the VMCAI-track
2019
ECOOP
Committee Member in Program Committee within the Doctoral Symposium-track
ETAPS
Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the Posters-track
TACAS
Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the TACAS 2019-track
2018
VMCAI
Author of Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction within the VMCAI 2018-track
Share
x
Tue 28 Nov 14:25