Ka I Pun

Førsteamanuensis - Centre for Scalable Data Access
Bilde av Ka I Pun
English version of this page
Telefon +47-22840062
Brukernavn
Besøksadresse Gaustadalleen 23 B None 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO

Vennligst besøk hjemsiden min for ytterligere informasjon om meg.

Publikasjoner

  • Bezirgiannis, Nikolaos; de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2019). Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. Lecture Notes in Computer Science.  ISSN 0302-9743.  11424, s 332- 350 . doi: 10.1007/978-3-030-16722-6_20 Fulltekst i vitenarkiv.
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2019). A formal model of data access for multicore architectures with multilevel caches. Science of Computer Programming.  ISSN 0167-6423.  179, s 24- 53 . doi: 10.1016/j.scico.2019.04.003
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I Violet; Seidl, Christoph & Tapia Tarifa, Silvia Lizeth (2018). Deployment by Construction for Multicore Architectures, In Tiziana Margaria & Bernhard Steffen (ed.),  Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018. Proceedings - Part I.  Springer.  ISBN 978-3-030-03417-7.  Scientific Article.  s 448 - 465
  • Jaksic, Svetlana; Li, Dan; Pun, Ka I Violet & Stolz, Volker (2018). Stream-based dynamic data race detection. NIK: Norsk Informatikkonferanse.  ISSN 1892-0713.
  • Albert, Elvira; Correas, Jesus; Johnsen, Einar Broch; Ka I, Pun & Roman-Diez, Guillermo (2018). Parallel Cost Analysis. ACM Transactions on Computational Logic.  ISSN 1529-3785.  19(4), s 1- 37 . doi: 10.1145/3274278
  • 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
  • Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2017). A formal model of cloud-deployed software and its application to workflow processing, In Dinko Begušić; Nikola Rožić; Joško Radić & Matko Šarić (ed.),  SoftCOM 2017.  IEEE Communications Society.  ISBN 978-953-290-078-1.  Session 1.
  • 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 Vis sammendrag
  • 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. 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. 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 Vis sammendrag
  • 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

Se alle arbeider i Cristin

  • Jaksic, Svetlana; Pun, Ka I Violet & Stolz, Volker (2018). COEMS.
  • 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).

Se alle arbeider i Cristin

Publisert 12. jan. 2016 14:20 - Sist endret 2. okt. 2017 13:59