Olli Saarikivi

Master's student, Research assistant

Office:

Room T-B259 in Computer Science Building
Konemiehentie 2, Otaniemi campus area, Espoo

Postal Address:

Aalto University School of Science
Department of Information and Computer Science
PO Box 15400, FI-00076 Aalto, Finland

Telephone:

+358 40 5240 696

Email:

olli.saarikiviiki.fi

About

I am a master's student working under Prof. Keijo Heljanko in the Distributed Computation Group.

Publications

K. Kähkönen, O. Saarikivi and K. Heljanko: LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs. In Proceedings of the 11th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2012), 17 September 2012, London, UK, to appear.

K. Kähkönen, O. Saarikivi and K. Heljanko: Using Unfoldings in Automated Testing of Multithreaded Programs. In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), pages 150-159, 3-7 September 2012, Essen, Germany.

O. Saarikivi, K. Kähkönen and K. Heljanko: Improving Dynamic Partial Order Reductions for Concolic Testing. In Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD'2012), pages 132-141, 25-29 June 2012, Hamburg, Germany.

K. Kähkönen, T. Launiainen, O. Saarikivi, J. Kauttio, K. Heljanko, and I. Niemelä: LCT: An Open Source Concolic Testing Tool for Java Programs. In Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011), pages 75-80, March 2011, Saarbrucken, Germany.

Theses

O. Saarikivi: Test-Guided Proofs for C Programs on LLVM. Master's Thesis. Aalto University School of Science, Department of Information and Computer Science, Espoo, Finland, May 2013.
PDF