Current Position
Employed by BILS |
Past Position
System developer at Uppmax |
When I was a PhD
Member of:
- Upmarc verification group
- algorithmic program verification group
under the supervision of Pr Parosh Abdulla
Publications
An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. In International Journal on Software Tools for Technology Transfer, volume 19, number 5, pp 549-563, SPRINGER HEIDELBERG, 2017. (DOI).
. In International Journal on Software Tools for Technology Transfer, volume 19, number 5, pp 549-563, SPRINGER HEIDELBERG, 2017. (DOI).
Pointer Race Freedom. In Verification, Model Checking, And Abstract Interpretation, VMCAI 2016, volume 9583 of Lecture Notes in Computer Science, pp 393-412, Springer, 2016. (DOI).
. In Verification, Model Checking, And Abstract Interpretation, VMCAI 2016, volume 9583 of Lecture Notes in Computer Science, pp 393-412, Springer, 2016. (DOI).
Parameterized verification through view abstraction. In International Journal on Software Tools for Technology Transfer, volume 18, number 5, pp 495-516, 2016. (DOI).
. In International Journal on Software Tools for Technology Transfer, volume 18, number 5, pp 495-516, 2016. (DOI).
Few is Just Enough!: Small Model Theorem for Parameterized Verification and Shape Analysis. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1302, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext
, preview image).
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1302, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image
).
BioImg.org: A catalog of virtual machine images for the life sciences. In Bioinformatics and Biology Insights, volume 9, pp 125-128, 2015. (DOI).
. In Bioinformatics and Biology Insights, volume 9, pp 125-128, 2015. (DOI).
Block me if you can!: Context-sensitive parameterized verification. In Static Analysis: SAS 2014, volume 8723 of Lecture Notes in Computer Science, pp 1-17, Springer, 2014. (DOI, fulltext:postprint).
. In Static Analysis: SAS 2014, volume 8723 of Lecture Notes in Computer Science, pp 1-17, Springer, 2014. (DOI, fulltext:postprint).
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. In Tools and Algorithms for the Construction and Analysis of Systems, 2013. (fulltext:postprint).
. In Tools and Algorithms for the Construction and Analysis of Systems, 2013. (fulltext:postprint).
All for the price of few: (Parameterized verification through view abstraction). In Verification, Model Checking, and Abstract Interpretation, volume 7737 of Lecture Notes in Computer Science, pp 476-495, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
. In Verification, Model Checking, and Abstract Interpretation, volume 7737 of Lecture Notes in Computer Science, pp 476-495, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
Constrained monotonic abstraction: A CEGAR for parameterized verification. In CONCUR 2010 – Concurrency Theory, volume 6269 of Lecture Notes in Computer Science, pp 86-101, Springer-Verlag, Berlin, 2010. (DOI).
. In CONCUR 2010 – Concurrency Theory, volume 6269 of Lecture Notes in Computer Science, pp 86-101, Springer-Verlag, Berlin, 2010. (DOI).
Model checking race-freeness. In SIGARCH Computer Architecture News, volume 36, number 5, pp 72-79, 2008. (DOI).
. In SIGARCH Computer Architecture News, volume 36, number 5, pp 72-79, 2008. (DOI).
Model Checking Race-Freeness. In Proc. 1st Swedish Workshop on Multi-Core Computing, volume 2008:07 of Research report / Blekinge Institute of Technology, pp 89-96, 2008.
. In Proc. 1st Swedish Workshop on Multi-Core Computing, volume 2008:07 of Research report / Blekinge Institute of Technology, pp 89-96, 2008.
Monotonic abstraction for programs with dynamic memory heaps. In Computer Aided Verification, volume 5123 of Lecture Notes in Computer Science, pp 341-354, Springer-Verlag, Berlin, 2008. (DOI).
. In Computer Aided Verification, volume 5123 of Lecture Notes in Computer Science, pp 341-354, Springer-Verlag, Berlin, 2008. (DOI).
Parameterized tree systems. In Formal Techniques for Networked and Distributed Systems: FORTE 2008?, volume 5048 of Lecture Notes in Computer Science, pp 69-83, Springer-Verlag, Berlin, 2008. (DOI).
. In Formal Techniques for Networked and Distributed Systems: FORTE 2008?, volume 5048 of Lecture Notes in Computer Science, pp 69-83, Springer-Verlag, Berlin, 2008. (DOI).Teaching
| Period | Year | Course | |
|---|---|---|---|
| Spring | 2014 | Operating System and Multicore Programming | Guest lecturer |
| Summer | 2013 | Website Construction | Main lecturer |
| Spring | 2013 | Operating System and Multicore Programming | Guest lecturer |
| Summer | 2012 | Website Construction | Main lecturer |
| Summer | 2011 | Website Construction | Main lecturer |
| Spring | 2011 | Process Oriented Programming | Lecturer |
| Summer | 2010 | Operating Systems II (Concurrency) | Main lecturer |
| Summer | 2010 | Website Construction | Main lecturer |
| Summer | 2009 | Operating Systems II (Concurrency) | Main lecturer |
| Summer | 2009 | Website Construction | Main lecturer |
| Fall | 2008 | Computer Architecture 2 | Teaching Assistant |
| Summer | 2008 | Operating Systems II (Concurrency) | Main lecturer |
| Spring | 2008 | Datorsystem I - Projekt | Lecturer |
| Spring | 2008 | Cryptology | Teaching Assistant |
| Spring | 2008 | Operating Systems - Distans - cancelled | Main lecturer |
| Spring | 2008 | Operating Systems and Compilers | Main lecturer |
| Fall | 2007 | Concurrent Programming | Main lecturer |
| Fall | 2007 | Computer Architecture 2 | Teaching Assistant |
| Spring | 2007 | Datorsystem I - Projekt | Lecturer |
| Spring | 2007 | Grundläggande Programmering | Teaching Assistant |
| Spring | 2007 | Operating Systems and Compilers | Main lecturer |
| Fall | 2006 | Computer Architecture 2 | Teaching Assistant |
| Fall | 2005 | Computer Architecture 2 | Teaching Assistant |
| Summer | 2005 | Introduction to computer games development | Teaching Assistant and Lecturer |
| Fall | 2004 | Programmeringsteknik 1 (XY program) | Teaching Assistant |
Uppsala theme for Beamer
I created (read hacked) a theme for Uppsala University.
I find the latex beamer package very handy and good-looking to create my slides.
Very useful for teaching or conference speech.
See the longer description and refer to the thourough latex-beamer documentation for even longer:D.