Ka I Pun

Associate Professor - Centre for Scalable Data Access
Image of Ka I Pun
Norwegian version of this page
Phone +47 22840062
Username
Visiting address Gaustadalleen 23 B 0373 Oslo
Postal address Postboks 1080 Blindern 0316 Oslo

Please visit my homepage for further information about me.

Publications

  • Aminifar, Amin; Matin, Shokri; Rabbi, Fazle; Pun, Violet Ka I & Lamo, Yngve (2022). Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data. IEEE Access. ISSN 2169-3536. 10, p. 6010–6027. doi: 10.1109/ACCESS.2022.3141709. Full text in Research Archive
  • Ali, Muhammad Rizwan & Pun, Violet Ka I (2021). Cost Analysis for an Actor-Based Workflow Modelling Language. In Campos, Sérgio & Minea, Marius (Ed.), Formal Methods: Foundations and Applications. Springer. ISSN 978-3-030-92136-1. p. 104–121. doi: 10.1007/978-3-030-92137-8_7.
  • Ali, Muhammad Rizwan & Pun, Violet Ka I (2021). Towards a Resource-Aware Formal Modelling Language for Workflow Planning. In Bellatreche, Ladjel; Chernishev, George; Corral, Antonio; Ouchani, Samir & Vain, Juri (Ed.), Advances in Model and Data Engineering in the Digitalization Era. Springer Nature. ISSN 978-3-030-87656-2. p. 251–258. doi: 10.1007/978-3-030-87657-9_19.
  • Aminifar, Amin; Rabbi, Fazle; Pun, Violet Ka I & Lamo, Yngve (2021). Monitoring Motor Activity Data for Detecting Patients' Depression Using Data Augmentation and Privacy-Preserving Distributed Learning. In IEEE, IEEE (Eds.), 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2021, Mexico, November 1-5,2021. IEEE. ISSN 978-1-7281-1179-7. doi: 10.1109/EMBC46164.2021.9630592.
  • Aminifar, Amin; Rabbi, Fazle; Pun, Violet Ka I & Lamo, Yngve (2021). Diversity-Aware Anonymization for Structured Health Data. In IEEE, IEEE (Eds.), 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2021, Mexico, November 1-5,2021. IEEE. ISSN 978-1-7281-1179-7. doi: 10.1109/EMBC46164.2021.9629918.
  • Aminifar, Amin; Rabbi, Fazle; Pun, Violet Ka I & Lamo, Yngve (2021). Privacy preserving distributed extremely randomized trees. In Hung, Chih-Cheng (Eds.), SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing. Association for Computing Machinery (ACM). ISSN 978-1-4503-8104-8. doi: https%3A/doi.org/10.1145/3412841.3442110.
  • Mukhiya, Suresh Kumar; Aminifar, Amin; Rabbi, Fazle; Pun, Violet Ka I & Lamo, Yngve (2021). Artificial Intelligence in Mental Health , Artificial Intelligence: Models, Algorithms and Applications. Bentham Science Publishers. ISSN 978-1-68108-827-3.
  • Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Pun, Ka I & Stolz, Volker (2021). Hardware-Assisted Online Data Race Detection. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13065. doi: 10.1007/978-3-030-87348-6_6.
  • Mukhiya, Suresh Kumar; Wake, Jo Dugstad; Inal, Yavuz; Pun, Ka I & Lamo, Yngve (2020). Adaptive Elements in Internet-Delivered Psychological Treatment Systems: Systematic Review. Journal of Medical Internet Research. ISSN 1438-8871. 22(11). doi: 10.2196/21066. Full text in Research Archive
  • Henrio, Ludovic; Johnsen, Einar Broch & Pun, Ka I (2020). Active Objects with Deterministic Behavior. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12546, p. 181–198. doi: 10.1007/978-3-030-63461-2_10.
  • de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth & Tveito, Lars (2020). SymPaths: Symbolic Execution Meets Partial Order Reduction. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12345, p. 313–338. doi: 10.1007/978-3-030-64354-6_13. Full text in Research Archive
  • Stolz, Volker; Pun, Ka I & Gheyi, Rohit (2020). Refactoring and Active Object Languages. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. doi: 10.1007/978-3-030-61470-6_9. Full text in Research Archive
  • de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2020). From SOS to asynchronously communicating actors. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12226, p. 269–275. doi: 10.1007/978-3-030-57506-9_20. Full text in Research Archive
  • Mukhiya, Suresh Kumar; Ahmed, Usman; Rabbi, Fazle; Pun, Ka I & Lamo, Yngve (2020). Adaptation of IDPT System Based on Patient-Authored Text Data using NLP, IEEE 33rd International Symposium on Computer Based Medical Systems (CBMS). IEEE conference proceedings. ISSN 978-1-7281-9429-5. p. 226–232. doi: 10.1109/CBMS49503.2020.00050.
  • Mukhiya, Suresh Kumar; Rabbi, Fazle; Pun, Ka I & Lamo, Yngve (2019). An architectural design for self-reporting e-health systems. In IEEE, CS Press (Eds.), SEH ’19: Proceedings of the 1st International Workshop on Software Engineering for Healthcare. IEEE. ISSN 978-1-7281-2251-9. p. 1–8. doi: 10.1109/SEH.2019.00008.
  • Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I & Roman-Diez, Guillermo (2019). Time analysis of actor programs. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 105, p. 1–27. doi: 10.1016/j.jlamp.2019.02.007.
  • Mukhiya, Suresh Kumar; Rabbi, Fazle; Pun, Ka I; Rutle, Adrian & Lamo, Yngve (2019). A GraphQL approach to Healthcare Information Exchange with HL7 FHIR. Procedia Computer Science. ISSN 1877-0509. 160, p. 338–345. doi: 10.1016/j.procs.2019.11.082. Full text in Research Archive
  • Aminifar, Amin; Lamo, Yngve; Pun, Ka I & Rabbi, Fazle (2019). A Practical Methodology for Anonymization of Structured Health Data. In Granja, Conceição & Solvoll, Terje (Ed.), Proceedings of the 17th Scandinavian Conference on Health Informatics 2019. Linköping University Electronic Press. ISSN 978-91-7929-957-6. p. 127–133. Full text in Research Archive
  • de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hähnle, Reiner; Johnsen, Einar Broch & Laneve, Cosimo [Show all 8 contributors for this article] (2019). Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approachv. Electronic Proceedings in Theoretical Computer Science (EPTCS). ISSN 2075-2180. 302, p. 1–15. doi: 10.4204/EPTCS.302.1. Full text in Research Archive
  • 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 (LNCS). ISSN 0302-9743. 11424, p. 332–350. doi: 10.1007/978-3-030-16722-6_20. Full text in Research Archive
  • 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, p. 24–53. doi: 10.1016/j.scico.2019.04.003.
  • Jaksic, Svetlana; Li, Dan; Pun, Ka I Violet & Stolz, Volker (2018). Stream-based dynamic data race detection. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713.
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I Violet; Seidl, Christoph & Tapia Tarifa, Silvia Lizeth (2018). Deployment by Construction for Multicore Architectures. In Margaria, Tiziana & Steffen, Bernhard (Ed.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018. Proceedings - Part I. Springer. ISSN 978-3-030-03417-7. p. 448–465. doi: 10.1007/978-3-030-03418-4_26.
  • 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), p. 1–37. doi: 10.1145/3274278.
  • 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 Begušić, Dinko; Rožić, Nikola; Radić, Joško & Šarić, Matko (Ed.), SoftCOM 2017. IEEE Sarnoff Symposium. ISSN 978-953-290-078-1. doi: 10.23919/SOFTCOM.2017.8115501.
  • Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I & Roman-Diez, Guillermo (2017). Time analysis of actor programs. In Walden, Marina (Eds.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. p. 13–15. doi: 10.1016/j.jlamp.2019.02.007.
  • 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 (LNCS). ISSN 0302-9743. 10501 LNAI, p. 22–43. doi: 10.1007/978-3-319-66902-1_2.
  • 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 (LNCS). ISSN 0302-9743. 10487 LNCS, p. 58–77. doi: 10.1007/978-3-319-68034-7_4.
  • 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 (EPTCS). ISSN 2075-2180. 228, p. 16–26. doi: 10.4204/EPTCS.228.3.
  • 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 (LNCS). ISSN 0302-9743. 9942, p. 47–63. doi: 10.1007/978-3-319-44802-2_3.
  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2016). Meeting Deadlines, Elastically. In Petre, Luigia & Sekerinski, Emil (Ed.), From Action Systems to Distributed Systems: The Refinement Approach. CRC Press. ISSN 978-1-4987-0158-7. p. 99–111. doi: 10.1201/b20053-11.
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2016). An operational semantics of cache coherent multicore architectures. In Ossowski, Sascha (Eds.), Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC '16). Association for Computing Machinery (ACM). ISSN 978-1-4503-3739-7. p. 1219–1224. doi: 10.1145/2851613.2851718.
  • 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-2208. 85(6), p. 1234–1267. doi: 10.1016/j.jlamp.2016.05.003.
  • 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 (LNCS). ISSN 0302-9743. 9539, p. 199–216. doi: 10.1007/978-3-319-28934-2_11.
  • Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker & Wickert, Anna-Katharina (2016). Information flow analysis for Go. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9952 LNCS, p. 431–445. doi: 10.1007/978-3-319-47166-2_30.
  • Brandauer, Stephan; Castegren, Elias; Clarke, Dave; Fernandez-Reyes, Kiko; Johnsen, Einar Broch & Pun, Ka I [Show all 9 contributors for this article] (2015). Parallel objects for multicores: A glimpse at the parallel language encore. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9104, p. 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 Leucker, Martin (Eds.), 2014 Theoretical Aspects of Software Engineering Conference. IEEE conference proceedings. ISSN 978-1-4799-5029-4. p. 106–113. doi: 10.1109/TASE.2014.23.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Deadlock checking by data race detection. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 83(5-6), p. 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 (LNCS). ISSN 0302-9743. 8702, p. 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 (LNCS). ISSN 0302-9743. 8161. doi: 10.1007/978-3-642-40213-5_3.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock checking by data race detection. In Wolter, Uwe Egbert & Lamo, Yngve (Ed.), 24th Nordic Workshop on Programming Theory. Universitetet i Bergen. ISSN 0333-3590. 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 (LNCS). ISSN 0302-9743. 7609, p. 162–177. doi: 10.1007/978-3-642-34026-0_13. Full text in Research Archive
  • 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), p. 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), p. 331–354. doi: 10.1016/j.jlap.2011.11.001.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Polymorphic behavioural lock effects for deadlock checking (extended abstract). In Petterson, Paul & Cristina, Seceleanu (Ed.), Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11. Mälardalen University. ISSN 9789521224782.
  • Pun, Ka I & Steffen, Martin (2010). Deadlock checking by behavior inference for lock handling. In Walden, Marina & Petre, Luigia (Ed.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2.
  • Pun, Ka I & Si, Yain Whar (2009). Audit Trail Analysis for Traffic Intensive Web Applications. In IEEE, Computer Society (Eds.), IEEE International Conference on e-Business Engineering, 2009. IEEE. ISSN 978-0-7695-3842-6. p. 577–582.
  • Pun, Ka I; Pau, Kin Chan & Si, Yain Whar (2008). Modeling Support for Simulating Traffic Intensive Web Applications. In Jain, Lakhmi C.; Gini, Maria; Faltings, Boi; Terano, Takao; Zhang, Chengqi; Cercone, Nick & Cao, Longbing (Ed.), Proceedings of 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology - IAT 2008. IEEE. ISSN 978-0-7695-3496-1. p. 512–516.

View all works in Cristin

  • Pun, Ka I; Stolz, Volker & Simao, Adenilso (2020). Theoretical Aspects of Computing – ICTAC 2020 . Springer. ISBN 978-3-030-64275-4. 317 p.

View all works in Cristin

  • Mukhiya, Suresh Kumar; Lamo, Yngve; Rabbi, Fazle & Pun, Ka I (2019). An architecture for creating self-reporting e-health systems.
  • Aminifar, Amin; Rabbi, Fazle; Pun, Ka I & Lamo, Yngve (2019). Anonymization of Structured Health Data.
  • Jaksic, Svetlana; Pun, Ka I Violet & Stolz, Volker (2018). COEMS.
  • Pun, Ka I & Steffen, Martin (2010). Deadlock checking by behavior inference for lock handling (extended abstract).
  • Ali, Muhammad Rizwan & Pun, Violet Ka I (2021). Cost Analysis for an Actor-Based Workflow Modelling Language (Technical Report). Høgskulen på Vestlandet. ISSN 2535-8103.
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2015). An Operational Semantics of Cache Coherent Multicore Architectures. UiO.
  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2015). Meeting Deadlines, Elastically. UiO. ISSN 978-82-7368-408-0.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2013). Lock-Polymorphic Behaviour Inference for Deadlock Checking. Universitetet i Oslo. ISSN 82-7368-398-2.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Behaviour Inference for Deadlock Checking. Universitet i Oslo Report 416. ISSN 82-7368-379-6".
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock Checking by Data Race Detection. UiO. ISSN 82-7368-385-0.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Deadlock checking by a behavioral effect system for lock handling. Universitetet i Oslo. ISSN 82-7368-366-4.

View all works in Cristin

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

Projects

No ongoing projects

Research groups