Publications
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. Validating JavaScript Guidelines Across Multiple Web Browsers. Nordic Journal of Computing. 15
.
2011. Using GPU Acceleration in the GL2D Graphics Engine. Proceedings of the 18th IEEE International Symposium on Consumer Electronics (ISCE 2014). :42–43.
.
2014. Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables. Software Quality Journal. 13:227–245.
.
2005. A unifying theory of control dependence and its application to arbitrary program structures. Theoretical Computer Science. 412:6809–6842.
.
2011. 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 Trajectory-based Strict Semantics for Program Slicing. Theoretical Computer Science. 411:1372–1386.
.
2010. Theoretical Foundations of Dynamic Program Slicing. Theoretical Computer Science. 360:23–41.
.
2006. Static Slicing of Binary Executables. Volume of Extended Abstracts of the 3rd Conference of PhD Students in Computer Science (CSCS 2002). :60.
.
2002. 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. 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. Security Evolution of the Webkit Browser Engine. 14th IEEE International Symposium on Web Systems (WSE). :17–19.
.
2012. 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. Regular Expressions on the Web. Proceedings of the 12th IEEE International Symposium on Web Systems Evolution (WSE 2010). :29–32.
.
2010. .
2009.
Prediction Models for Performance, Power, and Energy Efficiency of Software Executed on Heterogeneous Hardware. Journal of Supercomputing. :25.
.
2018. 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. Practical Improvements to the Minimizing Delta Debugging Algorithm. Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) – Volume 1: ICSOFT-EA. :241–248.
.
2016. Obfuscating C++ Programs via Control Flow Flattening. Proceedings of the 10th Symposium on Programming Languages and Software Tools (SPLST 2007). :15–29.
.
2007. Modernizing Hierarchical Delta Debugging. Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2016). :31–37.
.
2016. Minimal Slicing and the Relationships between Forms of Slicing. Proceedings of the 5th {IEEE} International Workshop on Source Code Analysis and Manipulation ({SCAM} 2005). :45–54.
.
2005. .
2007. Interprocedural Static Slicing of Binary Executables. Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003). :118–127.
.
2003. Implementation of an A+ Interpreter for .NET. JF ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends. :297–302.
.
2012. Guidelines for JavaScript Programs: Are They Still Necessary? 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). :59–71.
.
2009.