Publications
Prediction Models for Performance, Power, and Energy Efficiency of Software Executed on Heterogeneous Hardware. Proceedings of the 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2015). :178–183.
.
2015. Prediction Models for Performance, Power, and Energy Efficiency of Software Executed on Heterogeneous Hardware. Journal of Supercomputing. :25.
.
2018. .
2009. Regular Expressions on the Web. Proceedings of the 12th IEEE International Symposium on Web Systems Evolution (WSE 2010). :29–32.
.
2010. Runtime Exception Detection in Java Programs Using Symbolic Execution. Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13. :215–229.
.
2013. Security Evolution of the Webkit Browser Engine. 14th IEEE International Symposium on Web Systems (WSE). :17–19.
.
2012. Separating JavaScript Applications by Processes. Proceedings of the 11th Symposium on Programming Languages and Software Tools (SPLST'09) and 7th Nordic Workshop on Model Driven Software Engineering (NW-MODE'09). :189–194.
.
2009. Software Quality Model and Framework with Applications in Industrial Context. Proceedings of the16th European Conference on Software Maintenance and Reengineering (CSMR'12). :453–456.
.
2012. Static Slicing of Binary Executables. Volume of Extended Abstracts of the 3rd Conference of PhD Students in Computer Science (CSCS 2002). :60.
.
2002. Theoretical Foundations of Dynamic Program Slicing. Theoretical Computer Science. 360:23–41.
.
2006. A Trajectory-based Strict Semantics for Program Slicing. Theoretical Computer Science. 411:1372–1386.
.
2010. Tree Preprocessing and Test Outcome Caching for Efficient Hierarchical Delta Debugging. Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing (AST 2017). :23–29.
.
2017. A unifying theory of control dependence and its application to arbitrary program structures. Theoretical Computer Science. 412:6809–6842.
.
2011. Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables. Software Quality Journal. 13:227–245.
.
2005. Using GPU Acceleration in the GL2D Graphics Engine. Proceedings of the 18th IEEE International Symposium on Consumer Electronics (ISCE 2014). :42–43.
.
2014. Validating JavaScript Guidelines Across Multiple Web Browsers. Nordic Journal of Computing. 15
.
2011. XEEMU: An Improved XScale Power Simulator. Integrated Circuit and System Design – Power and Timing Modeling, Optimization and Simulation – 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings. 4644:300–309.
.
2007.