Hristina Palikareva

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 5

Top Venues

CAV

SMT

ACM Trans. Softw. Eng. Methodol.

Sci. Comput. Program.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Tomasz Kuchta, Hristina Palikareva, Cristian Cadar
Shadow Symbolic Execution for Testing Software Patches. ACM Trans. Softw. Eng. Methodol. 27 (3) (2018)
Anna Maria Nestorov, Enrico Reggiani, Hristina Palikareva, Pavel Burovskiy, Tobias Becker, Marco D. Santambrogio
A Scalable Dataflow Implementation of Curran's Approximation Algorithm. IPDPS Workshops (2017)
Tobias Becker, Pavel Burovskiy, Anna Maria Nestorov, Hristina Palikareva, Enrico Reggiani, Georgi Gaydadjiev
From exaflop to exaflow. DATE (2017)
Nemanja Trifunovic, Hristina Palikareva, Tobias Becker, Georgi Gaydadjiev
Cloud Deployment and Management of Dataflow Engines. CloudNG@EuroSys (2017)
Hristina Palikareva, Tomasz Kuchta, Cristian Cadar
Shadow of a doubt: testing for divergences between software versions. ICSE (2016)
Hristina Palikareva, Cristian Cadar
Multi-solver Support in Symbolic Execution. SMT (2014)
Cristian Cadar, Hristina Palikareva
Shadow symbolic execution for better testing of evolving software. ICSE Companion (2014)
Hristina Palikareva, Cristian Cadar
Multi-solver Support in Symbolic Execution. CAV (2013)
Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
A Static Analysis Framework for Livelock Freedom in CSP Log. Methods Comput. Sci. 9 (3) (2013)
Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
Recent Developments in FDR. CAV (2012)
Hristina Palikareva, Joël Ouaknine, A. W. Roscoe
SAT-solving in CSP trace refinement. Sci. Comput. Program. 77 (10-11) (2012)
Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
Static Livelock Analysis in CSP. CONCUR (2011)
Hristina Palikareva, Joël Ouaknine, Bill Roscoe
Faster FDR Counterexample Generation Using SAT-Solving. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)

Hristina Palikareva.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hristina Palikareva