BrunYuriy

Speculative analysis of integrated development environment recommendations

NotkinDavid, D ErnstMichael, MuşluKıvanç, 2012 .

Solving satisfiability in the tile assembly model with a constant-size tileset

BrunYuriy, 2008 .

Early Detection of Collaboration Conflicts and Risks

NotkinDavid, D ErnstMichael, BrunYuriy, 2013 .

Formal foundations of serverless computing

BrunYuriy, GuhaArjun, JangdaAbhinav, 2019 .

Visualizing Distributed System Executions

D ErnstMichael, BrunYuriy, BeschastnikhIvan, 2020 .