Hristina Palikareva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2011–2017
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | DATE | From exaflop to exaflow. | Tobias Becker, Pavel Burovskiy, Anna Maria Nestorov, Hristina Palikareva, Enrico Reggiani, Georgi Gaydadjiev |
| 2017 | EuroSys | Cloud Deployment and Management of Dataflow Engines. | Nemanja Trifunovic, Hristina Palikareva, Tobias Becker, Georgi Gaydadjiev |
| 2016 | ICSE | Shadow of a doubt: testing for divergences between software versions. | Hristina Palikareva, Tomasz Kuchta, Cristian Cadar |
| 2014 | ICSE | Shadow symbolic execution for better testing of evolving software. | Cristian Cadar, Hristina Palikareva |
| 2013 | CAV | Multi-solver Support in Symbolic Execution. | Hristina Palikareva, Cristian Cadar |
| 2012 | CAV | Recent Developments in FDR. | Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Jol Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell |
| 2011 | CONCUR | Static Livelock Analysis in CSP. | Jol Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell |