Ka I Pun

Image of Ka I Pun
Norwegian version of this page
Phone +47-22840062
Username
Visiting address Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postal address Postboks 1080 Blindern 0316 OSLO
Other affiliations The International Summer School

Please visit my homepage for further information about me.

Publications

  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2017). A formal model of parallel execution on multicore architectures with multilevel caches. Lecture Notes in Computer Science.  ISSN 0302-9743.  10487 LNCS, s 58- 77 . doi: 10.1007/978-3-319-68034-7_4
  • Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2017). Locally abstract, globally concrete semantics of concurrent programming languages. Lecture Notes in Computer Science.  ISSN 0302-9743.  10501 LNAI, s 22- 43 . doi: 10.1007/978-3-319-66902-1_2
  • Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I & Roman-Diez, Guillermo (2017). Time analysis of actor programs, In Marina Walden (ed.),  Proceedings of the 29th Nordic Workshop on Programming Theory.  Turku Centre for Computer Science.  ISBN 978-952-12-3608-2.  Kapittel.  s 13 - 15
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2016). A Maude Framework for Cache Coherent Multicore Architectures. Lecture Notes in Computer Science.  ISSN 0302-9743.  9942, s 47- 63 . doi: 10.1007/978-3-319-44802-2_3
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2016). An operational semantics of cache coherent multicore architectures, In Sascha Ossowski (ed.),  Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC '16).  Association for Computing Machinery (ACM).  ISBN 978-1-4503-3739-7.  Kap..  s 1219 - 1224
  • Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker & Wickert, Anna-Katharina (2016). Information flow analysis for Go. Lecture Notes in Computer Science.  ISSN 0302-9743.  9952 LNCS, s 431- 445 . doi: 10.1007/978-3-319-47166-2_30 Show summary
  • Giachino, Elena; Johnsen, Einar Broch; Laneve, Cosimo & Pun, Ka I (2016). Time complexity of concurrent programs – A technique based on behavioural types. Lecture Notes in Computer Science.  ISSN 0302-9743.  9539, s 199- 216 . doi: 10.1007/978-3-319-28934-2_11
  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2016). Meeting Deadlines, Elastically, In Luigia Petre & Emil Sekerinski (ed.),  From Action Systems to Distributed Systems: The Refinement Approach.  CRC Press.  ISBN 978-1-4987-0158-7.  Kap..  s 99 - 111
  • Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2016). Modeling Deployment Decisions for Elastic Services with ABS. Electronic Proceedings in Theoretical Computer Science.  ISSN 2075-2180.  228, s 16- 26 . doi: 10.4204/EPTCS.228.3
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2016). Effect-Polymorphic Behaviour Inference for Deadlock Checking. The Journal of logical and algebraic methods in programming.  ISSN 2352-2216.  85(6), s 1234- 1267 . doi: 10.1016/j.jlamp.2016.05.003
  • Brandauer, Stephan; Castegren, Elias; Clarke, Dave; Fernandez-Reyes, Kiko; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Wrigstad, Tobias & Yang, Albert Mingkun (2015). Parallel objects for multicores: A glimpse at the parallel language encore. Lecture Notes in Computer Science.  ISSN 0302-9743.  9104, s 1- 56 . doi: 10.1007/978-3-319-18941-3_1
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Behaviour Inference for Deadlock Checking, In Martin Leucker (ed.),  2014 Theoretical Aspects of Software Engineering Conference.  IEEE conference proceedings.  ISBN 978-1-4799-5029-4.  Kap..  s 106 - 113
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Deadlock checking by data race detection. The Journal of logical and algebraic methods in programming.  ISSN 2352-2216.  83(5-6), s 400- 426 . doi: 10.1016/j.jlamp.2014.07.003
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Effect-Polymorphic Behaviour Inference for Deadlock Checking. Lecture Notes in Computer Science.  ISSN 0302-9743.  8702, s 50- 64 . doi: 10.1007/978-3-319-10431-7_5
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2013). Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science.  ISSN 0302-9743.  8161 . doi: 10.1007/978-3-642-40213-5_3
  • Bodden, Eric; Falzon, Kevin; Pun, Ka I & Stolz, Volker (2012). Delta-oriented Monitor Specification. Lecture Notes in Computer Science.  ISSN 0302-9743.  7609, s 162- 177 . doi: 10.1007/978-3-642-34026-0_13 Show summary
  • Pun, Ka I; Si, Yain Whar & Pau, Kin Chan (2012). Key Performance Indicators for Traffic Intensive Web-Enabled Business Processes. Business Process Management Journal.  ISSN 1463-7154.  18(2), s 250- 283 . doi: 10.1108/14637151211225199
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock Checking by a Behavioral Effect System for Lock Handling. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  81(3), s 331- 354 . doi: 10.1016/j.jlap.2011.11.001
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock checking by data race detection, In Uwe Egbert Wolter & Yngve Lamo (ed.),  24th Nordic Workshop on Programming Theory.  Universitetet i Bergen.  article.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Polymorphic behavioural lock effects for deadlock checking (extended abstract), In Paul Petterson & Seceleanu Cristina (ed.),  Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11.  Mälardalen University.  ISBN 9789521224782.  kapittel.
  • Pun, Ka I & Steffen, Martin (2010). Deadlock checking by behavior inference for lock handling, In Marina Walden & Luigia Petre (ed.),  Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.  TUCS.  ISBN 978-952-12-2478-2.  Extended Abstract.
  • Pun, Ka I & Si, Yain Whar (2009). Audit Trail Analysis for Traffic Intensive Web Applications, In Computer Society IEEE (ed.),  IEEE International Conference on e-Business Engineering, 2009.  IEEE.  ISBN 978-0-7695-3842-6.  chapter.  s 577 - 582
  • Pun, Ka I; Pau, Kin Chan & Si, Yain Whar (2008). Modeling Support for Simulating Traffic Intensive Web Applications, In Lakhmi C. Jain; Maria Gini; Boi Faltings; Takao Terano; Chengqi Zhang; Nick Cercone & Longbing Cao (ed.),  Proceedings of 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology - IAT 2008.  IEEE.  ISBN 978-0-7695-3496-1.  chapter.  s 512 - 516

View all works in Cristin

  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2015). An Operational Semantics of Cache Coherent Multicore Architectures.
  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2015). Meeting Deadlines, Elastically..
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2013). Lock-Polymorphic Behaviour Inference for Deadlock Checking.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Behaviour Inference for Deadlock Checking.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock Checking by Data Race Detection. Technical reports in informatics. 421.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Deadlock checking by a behavioral effect system for lock handling. Technical Report Department of Informatics. 404.
  • Pun, Ka I & Steffen, Martin (2010). Deadlock checking by behavior inference for lock handling (extended abstract).

View all works in Cristin

Published Jan. 12, 2016 2:21 PM - Last modified Oct. 2, 2017 1:59 PM

Projects