Violet Ka I Pun
Postdoctoral Researcher
Precise Modeling and Analysis
University of Oslo

E-mail: violet(at)ifi.uio.no
Telephone: +47-22840062

Academic Interests

  • Formal Methods
  • Type Theory
  • Deadlock Detection
  • Race conditions
  • Business Process Simulation
  • Business Workflow Analysis
  • Speech Recognition
  • Human Computer Interactions

Higher education

  • Ph.D. in Computer Science, University of Oslo, Norway
  • M.Sc. in Software Engineering, University of Macau, Macau
  • B.Sc. in Software Engineering, University of Macau, Macau

Teaching

Lecturer

  • (2016) INF122 - Functional Programming (University of Bergen)
  • (2013) INF4140 - Models of Concurrency

Teaching Assistant

  • (2012) INF2220 - Algorithms and data structures
  • (2011) INF2220 - Algorithms and data structures

Publications

Journal papers and book chapters

  • K. I Pun, M. Steffen, and V. Stolz. Effect-Polymorphic Behaviour Inference for Deadlock Checking (2016). Journal of Logical and Algebraic Methods in Programming. Volume 85, Issue 6, October 2016, pp. 1234–1267. ISSN 2352-2208. [pdf]
  • E. B. Johnsen, K. I Pun, M. Steffen, S. L. Tapia Tarifa, and I. C. Yu. Meeting Deadlines, Elastically (2016). From Action Systems to Distributed Systems: the Refinement Approach, pp. 99–111, CRC Press. [pdf]
  • S. Brandauer, E. Castegren, D. Clarke, K. Fernandez-Reyes, E. B. Johnsen, K. I Pun, S. L. Tapia Tarifa, T. Wrigstad, and A. M. Yang (2015). Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. Proceedings of the 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, LNCS Vol. 9104, pp. 1 - 56, Advanced Lectures. Bertinoro, Italy. [pdf]
  • K. I Pun, M. Steffen, and V. Stolz (2014). Deadlock Checking by Data Race Detection. Journal of Logical and Algebraic Methods in Programming. Volume 81, Issue 5-6, Septemebr-November 2014, pp. 400-426. ISSN 2352-2208. [pdf]
  • K. I Pun, M. Steffen, and V. Stolz (2012). Deadlock Checking by a Behavioral Effect System for Lock Handling. Journal of Logic and Algebraic Programming. Volume 81, Issue 3, April 2012, pp. 331-354. ISSN 1567-8326. [pdf]
  • K. I Pun, Y. W. Si and K. C. Pau (2012). Key Performance Indicators for Traffic Intensive Web-Enabled Business Processes. Business Process Management Journal, Volume 18, Issue 2, pp.250 – 285. ISSN: 1463-7154. [pdf]

Conference and workshop papers

  • E. Bodden, K. I Pun, M. Steffen, V. Stolz and A.-K. Wickert (2016). Information flow analysis for Go. Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016. [pdf]
  • E. B. Johnsen, K. I Pun, and S. L. Tapia Tarifa (2016). Modeling Deployment Decisions for Elastic Services with ABS. Proceedings of the First International Workshop on Formal Methods for and on the Cloud, IFM Cloud 2016, Held as a Satellite Event of iFM, Reykjavik, Iceland. [pdf]
  • S. Bijo, E. B. Johnsen, K. I Pun, and S. L. Tapia Tarifa (2016). A Maude Framework for Cache Coherent Multicore Architectures. Proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, Held as a Satellite Event of ETAPS, Einhoven, The Netherlands. [pdf]
  • S. Bijo, E. B. Johnsen, K. I Pun, and S. L. Tapia Tarifa (2016). An Operational Semantics of Cache Coherent Multicore Architectures. Proceedings of the 31st ACM Sympsium on Applied Computing, SAC 2016, ACM, pp. 1219 - 1224. Pisa, Italy. [pdf]
  • E. Giachino, E. B. Johnsen, C. Laneve, and K. I Pun (2015). Time Complexity of Concurrent Programs. Proceedings of the 12th International Conference on Formal Aspects of Component Software, FACS 2015, LNCS Vol. 9539, pp. 199 - 216. Niterói, Rio de Janeiro, Brazil. [pdf]
  • K. I Pun, M. Steffen, and V. Stolz (2014). Effect-Polymorphic Behaviour Inference for Deadlock Checking. Proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, LNCS Vol. 8702, pp. 56 - 64. Grenoble, France. [pdf]
  • K. I Pun, M. Steffen, and V. Stolz (2014). Behaviour Inference for Deadlock Checking. Proceedings of the 8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014, pp. 106 - 113, Changsha, China. IEEE Press. [pdf]
  • K. I Pun, M. Steffen, and V. Stolz (2013). Deadlock Checking by Data Race Detection. Proceedings of the 5th International Conference on Fundamentals of Software Engineering, FSEN 2013, LNCS Vol. 8161, pp. 34 – 50. Tehran, Iran. [pdf]
  • E. Bodden, K. Falzon, K. I Pun, and V. Stolz (2012). Delta-Oriented Monitor Specification. Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2012, LNCS Vol. 7609, pp. 162 – 177. Heraklion, Crete, Greece. [pdf]
  • K. I Pun, and Y. W. Si (2009). Audit Trail Analysis for Traffic Intensive Web Applications. Proceedings of the 2009 IEEE International Conference on e-Business Engineering, ICEBE ’09, pp. 577 – 582, Macau, IEEE Press. [pdf]
  • K. I Pun, Y. W. Si, and K. C. Pau (2008). Modelling Support for Simulating Traffic Intensive Web Applications. Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT ’08) - Volume 03, pp. 512-516, Sydney, Australia, IEEE Press. [pdf]
  • K. I Pun, P. M. Leong, H. F. Mak, F. Wong, and Y. P. Li (2005). Pak Pak Serves You: Application on Interactive Dialogue Question Answering. Proceedings of The IEE Hong Kong Younger Members Section Exhibition/Conference, pp. 75-85. Hong Kong. [pdf]
  • K. I Pun, P. M. Leong, H. F. Mak, F. Wong, and Y. P. Li (2004). Research in Interactive Dialogues Question Answering System. Proceedings of Symposium on Applied Science and Technology in Macau, pp. 56-64. University of Macau, Macau. [pdf]

Technical reports

  • S. Bijo, E. B. Johnsen, K. I Pun, and S. L. Tapia Tarifa (2015). An Operational Semantics of Cache Coherent Multicore Architectures. University of Oslo, Department of Informatics, Research Report 449. [pdf]
  • E. B. Johnsen, K. I Pun, M. Steffen, S. L. Tapia Tarifa, and I. C. Yu (2015). Meeting Deadlines, Elastically. University of Oslo, Department of Informatics, Research Report 443. [pdf]
  • K. I Pun, M. Steffen, and V. Stolz (2013). Lock-Polymorphic Behavior Inference for Deadlock Checking. University of Oslo, Department of Informatics, Research Report 436. [pdf]
  • K. I Pun, M. Steffen, and V. Stolz (2013). Deadlock Checking by Data Race Detection. University of Oslo, Department of Informatics, Research Report 423. [pdf]
  • K. I Pun, M. Steffen, and V. Stolz (2012). Behaviour Inference for Deadlock Checking. University of Oslo, Department of Informatics, Research Report 416. [pdf]
  • K. I Pun, M. Steffen, and V. Stolz (2011). Deadlock Checking by a Behavioral Effect System for Lock Handling. University of Oslo, Department of Informatics, Research Report 404. [pdf]




Last modified: Mon Mar 6 16:56:17 CET 2017