Karl Palmskog Note that I am no longer at KTH, currently: Postdoctoral Research Associate Department of Computer Science, University of Illinois at Urbana-Champaign palmskog@kth.se +46 7 020 47040 (cell) I am interested in proving correctness and security properties of distributed systems, in particular using proof assistants. I did my PhD in the TCS group advised by Mads Dam.

(This is a personal website)

Publications

• M. Dam and K. Palmskog. Location-independent routing in process network overlays. In Service Oriented Computing and Applications, 2014. Journal version of the PDP conference paper.
• K. Palmskog. Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management. PhD thesis, School of Computer Science and Communication, KTH, September 2014.
• M. Dam and K. Palmskog. Location independent routing in process network overlays. In Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing, February 2014.
• M. Dam and K. Palmskog. Efficient and fully abstract routing of futures in object network overlays. In Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control, October 2013.
• K. Palmskog, M. Dam, A. Lundblad and A. Jafari. ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects. In Proceedings of 6th Interaction and Concurrency Experience, June 2013.
• K. V. Jonsson, K. Palmskog and Y. Vigfusson. Secure Distributed top-k Aggregation. In Proceedings of IEEE International Conference on Communications, June 2012.
• K. Palmskog, A. Gonzalez Prieto, C. Meirosu, R. Stadler and Mads Dam. Scalable Metadata-Directed Search in a Network of Information. In Proceedings of Future Network & Mobile Summit, June 2010.
• Y. Ismailov, K. Palmskog, M. Widell, P. Arvidsson, and Y. Wang. Session Layer Resurgence: Towards Mobile, Disconnection- and Delay-Tolerant Communication. In Proceedings of the 4th European Conference on Universal Multiservice Networks (ECUMN'07), pages 337-345, February 2007.
• K. Palmskog. Verification of the Session Management Protocol. Master's thesis, School of Computer Science and Communication, KTH, November 2006. TRITA-CSC-E 2006:149, ISSN 1653-5715. (website)

Teaching Activities

• DD2495 Network Security (Spring 2011, Period 4)
• DD2385 Software Engineering (Spring 2011, Period 4)
• DD2440 Advanced Algorithms (Fall 2010, Period 1-2; Fall 2009, Period 1-2)
• DD2387 Program System Construction Using C++ (Fall 2010, Period 1-2; Fall 2009, Period 1-2)
• DD1350 Logic for Computer Science (Fall 2010, Period 1-2; Spring 2009, Period 4)
• DD2488 Compiler Construction (Spring 2010, Period 3-4)
• DD1352 Algorithms, Data Structures and Complexity (Spring 2010, Period 3-4)
• DN1240 Numerical Methods, Basic Course II (Spring 2010, Period 3-4)

Links

• Slides from my defense 2014-10-24
• My CV
• Slides from my lecture on adversary models in Network Security
• Exercises on structural induction with answers, in Swedish
• Some principles of induction with examples
• Stefan Arnborg's opinions on unreadable email, which I share