| 2021 |
— |
conf |
CAV (1)
Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Marian Dan, Martin T. Vechev
|
| 2020 |
J |
jnl |
CoRR
Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Marian Dan, Martin T. Vechev
|
| 2018 |
B |
conf |
VMCAI
Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev
|
| 2018 |
A* |
conf |
CCS
Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin T. Vechev
|
| 2018 |
J |
jnl |
CoRR
Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, Martin T. Vechev
|
| 2017 |
J |
jnl |
Comput. Lang. Syst. Struct.
Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
|
| 2017 |
— |
conf |
CAV (2)
Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin T. Vechev
|
| 2016 |
A |
conf |
OOPSLA
Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin T. Vechev
|
| 2015 |
B |
conf |
VMCAI
Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
|
| 2014 |
B |
conf |
SAS
Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav
|
| 2013 |
B |
conf |
SAS
Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
|