Recent Publications - Yong Meng TEO
Department of Computer Science, National University of Singapore

Parallel & Distributed Computing: Parallel Systems, Cloud/Edge Computing, Concurrency Verification, Peer-to-peer Computing, Fault Tolerance, Grid Computing
Modeling & Simulation: Emergent Properties, Composability and Semantic Validation, Parallel & Distributed Simulation
Publications before 2010


AWARDS

  1. L. Birdsey, C. Szabo and Y.M. Teo, Twitter Knows: Understanding the Emergence of Topics in Social Networks, Proceedings of the Winter Simulation Conference, pp, IEEE Computer Society Press, Huntington Beach, California, US, Dec 6-9, 2015. [slides][WSC 2015 Best Paper Award]
  2. B.M. Tudor and Y.M. Teo, Towards Modelling Parallelism and Energy Performance of Multicore Systems, Proceedings of the 26th IEEE International Parallel & Distributed Processing Symposium, PhD Forum (poster), Shanghai, China, May 21-25, 2012. [IPDPS 2012 PhD Forum Best Poster Award]
  3. M. Mihailescu and Y.M. Teo, Strategic-Proof Dynamic Resource Pricing of Multiple Resource Types on Federated Clouds, Proceedings of the 10th International Conference on Algorithms and Architectures for Parallel Processing, pp 337-350, LNCS 6081, Springer-Verlag, Busan, Korea, May 21-23, 2010 (Best Paper Award). [slides]
  4. C. Szabo, Y.M. Teo and S. See, A Time-based Formalism for the Validation of Semantic Composability, Proceedings of the Winter Simulation Conference, pp 1411-1422, IEEE Computer Society Press, Austin, Texas, USA, December 13-16, 2009, (ACM SIGSIM Best PhD Student Paper Award). [slides]
  5. Y.M. Teo and B.S.S. Onggo, Formalization and Strictness of Simulation Event Orderings, Proceedings of the IEEE/ACM Workshop on Parallel and Distributed Simulation, pp 89-96, IEEE Computer Society Press, Kufstein, Austria, May 16-19, 2004 (nominated for Best Paper Award). [slides] (A Framework for Formalization and Strictness Analysis of Simulation Event Orderings, in Simulation: Transactions of The Society for Modeling and Simulation, Special Issue, Vol 81, Issue 4, pp 325-335, April 2005).
  6. S.C. Tay, Y.M. Teo and R Ayani, Performance Analysis of Time Warp Simulation with Cascading Rollbacks, Proceedings of 12th ACM/IEEE/SCS Workshop on Parallel and Distributed Simulation, pp. 30-37, IEEE Computer Society Press, Canada, May 1998 (nominated for Best Paper Award).

Cloud and Edge Computing

  1. S.  Rathnayake, COST PERFORMANCE OF SCALING APPLICATIONS ON THE CLOUD, PhD Thesis, Department of Computer Science, National University of Singapore (advisor: Yong Meng TEO), December 2020.
  2. S. Rathnayake, L. Ramapantulu and Y.M. Teo, Characterizing the Cost-Accuracy Performance of Cloud Applications, Proceedings of the 49th International Conference on Parallel Processing: Workshops,. Edmonton, Canada, ACM, Aug 2020.
  3. D. Loghin,  L. Ramapantulu and Y.M. Teo, Chapter 9: Distributed Big Data Computing Platforms for Edge Computing, in Edge Computing: Models, Technologies and Applications, book chapter, editors: Javid Taheri, Shuiguang Deng, Institute of Engineering and Technology, UK, June 2020.  [resources for chapter 9]
  4. Z. Han,  L. Ramapantulu and Y.M. Teo, Harmony: An Approach for Geo-Distributed Processing of Big-Data Applications,  Proceedings of  IEEE Cluster Computing Conference, Albuquerque, New Mexico USA, September 23-26, 2019.  
  5. D. Loghin,  L. Ramapantulu and Y.M. Teo, Towards Analyzing the Performance of Hybrid Edge-Cloud Processing, Proceedings of 3rd IEEE International Conference on Edge Computing, pp 87-94, Milan, Italy, July 8-13, 2019.
  6. Y.M. Teo, Cost-Time Performance of Scaling Elastic Cloud Applications, Keynote Speaker, 3rd IEEE International Conference on Electric Electronics, Communication, Computer Technologies & Optimization Techniques, Mysuru, India, December 14-15, 2018.
  7. S. Rathnayake, L. Ramapantulu and Y.M. Teo, Cost-Time Performance of Scaling Applications on the Cloud, 10th IEEE International Conference on Cloud Computing Technology and Science, Nicosia, Cyprus, 10–13 December 2018.
  8. S. Rathnayake, D. Loghin and Y.M. Teo, CELIA: Cost-time Performance of Elastic Applications on Cloud, Proceedings of 46th International Conference on Parallel Processing,  pp 342-351, IEEE Computer Society Press, Bristol, UK, Aug 14-17, 2017.
  9. D. Loghin,  L. Ramapantulu and Y.M. Teo, On Understanding Time, Energy and Cost Performance of Wimpy Heterogeneous Systems for Edge Computing, Proceedings of 1st IEEE International Conference on Edge Computing, Honolulu, USA, Jun 25-30, 2017.
  10. Y.M. Teo, Panelist - Cloud Security: Will it Ever be Ready?, 5th International Conference on Cloud Computing Research & Innovation, Singapore, Apr 11-13, 2017. 
  11. Y.M. Teo, Performance of Big Data on Small Nodes, Keynote Speaker, 7th  International Conference on Cloud Computing, Data Science & Engineering, Noida, Uttar Pradesh, India, 12-13, Jan 2017.
  12. M. Mihailescu and Y.M. Teo, The Impact of User Rationality in Federated Clouds, Proceedings of 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, pp 620-627, Ottawa, Canada, May 13-16, 2012 (acceptance: 83 of 302).
  13. M. Mihailescu, STRATEGY-PROOF RESOURCE PRICING IN FEDERATED SYSTEMS, PhD Thesis, Department of Computer Science, National University of Singapore, (advisor: Yong Meng Teo), 2012. [Best Paper Award - 10th International Conference on Algorithms and Architectures for Parallel Processing, May 2010]
  14. Y.M. Teo, B.L. Luong, Y. Song, T. Nam, Cost-Performance of Fault Tolerance in Cloud Computing, International Conference on Advanced Computing and Applications,(Special Issue of Journal of Science and Technology, Vol. 49(4A), pp 61-73), Ho Chi Minh, Vietnam, October 19-21, 2011.
  15. M. Mihailescu and Y.M. Teo, A Distributed Market Framework for Large-scale Resource Sharing, Proceedings of Euro-Par, pp 418-430, LNCS 6271, Springer-Verlag, Ischia, Italy, Aug 31 – Sep 3, 2010. [ slides ]
  16. M. Mihailescu and Y.M. Teo, Strategic-Proof Dynamic Resource Pricing of Multiple Resource Types on Federated Clouds, Proceedings of the 10th International Conference on Algorithms and Architectures for Parallel Processing, pp 337-350, LNCS 6081, Springer-Verlag, Busan, Korea, May 21-23, 2010 (Best Paper Award). [slides]
  17. M. Mihailescu and Y.M. Teo, Dynamic Resource Pricing on Federated Clouds, Proceedings of 10th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, pp 513-517, IEEE Computer Society Press, Melbourne, Australia, May 17-20, 2010. [slides]
  18. M. Mihailescu and Y.M. Teo, On Economic and Computational-Efficient Resource Pricing in Large Distributed Systems, Proceedings of 10th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, IEEE Computer Society Press, pp 838-843, Melbourne, Australia, May 17-20, 2010 [Doctoral symposium paper].
  19. Y.M. Teo and M. Mihailescu, A Strategic-proof Pricing Scheme for Multiple Resource Type Allocations, Proceedings of 38th International Conference on Parallel Processing, pp 172-179, IEEE Computer Society Press, Vienna, Austria, September 22-25, 2009. [slides]
  20. H.M. Pham, Y.M. Teo, N. Thoai and T.A. Nguyen, An Approach to Vickrey-based Resource Allocation in the Presence of Monopolistic Sellers, Proceedings of 7th Australasian Symposium on Grid Computing and e-Research, CRPIT, 99, Paul Roe and Wayne Kelly, Eds., pp 77-83, Wellington, New Zealand, January 20-23, 2009.

Parallel Systems: Multicore, Heterogeneous Systems, Low Power (Wimpy, BigLittle) Processors, Accelerators (GPU & VPU)

  1. S.D. Ciocirlan, D. Loghin, L. Ramapantulu, N. Tăpus, Y.M. Teo, POSAR: A Flexible Posit Arithmetic Unit for RISC-V, 58th Design Automation Conference, San Francisco, US, Dec 7-10, 2021.
  2. S.D. Ciocirlan, D. Loghin, L. Ramapantulu, N. Tăpus, Y.M. Teo, The Accuracy and Efficiency of Posit Arithmetic, Proc of the 39th IEEE International Conference on Computer Design, Oct 24-27, 2021
  3. D. Loghin and Y.M. Teo, Time-Energy Measured Data on Modern Multicore Systems Running Shared-Memory Applications, Data in Brief, Elservier, December 2019. [datasets and code]
  4. D. Loghin and Y.M. Teo, The Time and Energy Efficiency of Modern Multicore Systems, International Journal of Parallel Computing, Special Issue on Parallel Programming Models and System Software, pp 1-13, Elsevier, August 2019.
  5. Q. Cai, W. Guo, H. Zhang, D. Agrawal, G. Chen, B.C. Ooi, K.L. Tan, Y.M. Teo, S. Wang, Efficient Distributed Memory Management with RDMA and Caching, 44th International Conference on Very Large Databases, Proceedings of the VLDB Endowment, Volume 11,  No. 11, July 2018, pp1604-1617, Rio De Janeiro, Brazil, Aug 27-31, 2018.
  6. D.  Loghin and Y.M. Teo,  The Energy Efficiency of Modern Multicore Systems, Proceedings of  47th International Conference on Parallel Processing, Workshop on Parallel Programming Models and Systems Software for High-End Computing, ACM, Eugene, Oregon, USA, August 13-16, 2018.  [slides] [related resources]  
  7. D. Loghin, EFFICIENT TIME-ENERGY EXECUTION OF DATA-PARALLEL APPLICATIONS ON HETEROGENEOUS SYSTEMS WITH GPU, PhD Thesis, Department of Computer Science, National University of Singapore (advisor: Yong Meng TEO), 2017.    
  8. Y.M. Teo, Performance of Big Data on Small Nodes, Keynote Speaker, 23rd Monterey Workshop on Challenges and Opportunities with Big Data,  Beijing, China, Oct 8-11, 2016.
  9. L. Ramapantulu, T. Dao, D. Loghin, N. Thoai and Y.M. Teo, Modeling the Energy-Time Performance of MIC Architecture System, Proceedings of 24th IEEE Conference on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pp 85-94, IEEE Computer Society Press, London, UK, Sep 19-21, 2016 [15% acceptance (26 papers) out of 204 papers]. [slides]
  10. L. Ramapantulu, D. Loghin and Y.M. Teo, On Energy Proportionality and Time-Energy Performance of Heterogeneous Clusters, Proceedings of 18th IEEE Cluster Conference, pp 221-230, IEEE Computer Society Press, Taipei, Taiwan, Sep 12-16, 2016 (24% acceptance out of 162 papers). [slides]
  11. L. Ramapantulu, ENERGY-TIME PERFORMANCE OF HETEROGENEOUS SYSTEMS: MODELS AND ANALYSIS, PhD Thesis, Department of Computer Science, National University of Singapore (advisor: Yong Meng TEO), Aug 2016.
  12. Y.M. Teo, L. Ramapantulu and D. Loghin, A Model-driven Approach for Time-energy Performance of Heterogeneous Systems, Invited Speaker, IEEE Region 10 Conference (TENCON) - Computer Architecture & Systems Track, Macau, China, Nov 1-4, 2015.
  13. D. Loghin, L. Ramapantulu, O. Barbu and Y.M. Teo, A Time-Energy Performance Analysis of MapReduce on Heterogeneous Systems with GPUs, Performance Evaluation - An International Journal, Vol 91, pp 255-269, Elsevier, Sep 2015 [33rd International Symposium on Computer Performance, Modeling, Measurement and Evaluation (IFIP WG 7.3 Performance 2015), Sydney, Australia, Oct 19-21, 2015]. [slides]
  14. Y.M. Teo and L. Ramapantulu, A Hybrid Modeling Approach for Energy-efficient Execution of Parallel Applications, Keynote Speaker, 9th International Conference on Mathematical Modeling and Computer Simulation, Kuala Lumpur, Malaysia, Sep 7-9, 2015.
  15. D. Loghin, B.M. Tudor, H. Zhang, B.C. Ooi and Y.M. Teo, A Performance Study of Big Data on Small Nodes, Proceedings of 41st International Conference on Very Large Data Bases, Vol. 8, No. 7, pp 762-773, Hawaii, USA, Aug 31-Sep 4, 2015. [slides]
  16. L. Ramapantulu, D. Loghin and Y.M. Teo, An Approach for Energy Efficient Execution of Hybrid Parallel Programs, Proceedings of 29th IEEE International Parallel & Distributed Processing Symposium, pp 1000-1009, Hyderabad, INDIA, May 25-29, 2015 (acceptance: 108 of 496 papers). [slides]
  17. Y.M. Teo and L. Ramapantulu, A Model-driven Approach for Time-energy Performance of Parallel Applications, Keynote Speaker, 6th International Conference on Intelligent Systems, Modeling and Simulation, IEEE Computer Society Press, Kuala Lumpur, Malaysia, Feb 9-11, 2015. [slides]
  18. L. Ramapantulu, B.M. Tudor, D. Loghin, T. Vu and Y.M. Teo, Modeling the Energy Efficiency of Heterogeneous Clusters, Proceedings of 43rd International Conference on Parallel Processing, pp 321-330, Minneapolis, USA, Sep 9-12, 2014. [slides]
  19. D. Loghin, L. Ramapantulu, O. Barbu and Y.M. Teo, Big Data on Heterogeneous Systems with GPUs, Nvida GPU Technology Workshop, Singapore, July 2014.
  20. B.M. Tudor, PARALLELISM-ENERGY PERFORMANCE ANALYSIS OF MULTICORE SYSTEMS, PhD Thesis, Department of Computer Science, National University of Singapore,(advisor: Yong Meng TEO), Jan 2014.
  21. D. Loghin, B.M. Tudor and Y.M. Teo, An Approach for Direct Dataflow Execution on Contemporary Multicore Systems, Proceedings of 3rd International Workshop on Dataflow Execution Models for Extreme Scale Computing, IEEE Computer Society Press, in conjunction with PACT2013, Edinburgh, Scotland, Sep 2013. [slides]
  22. B.M. Tudor and Y.M. Teo, On Understanding the Energy Consumption of ARM-based Multicore Servers, Proceedings of ACM SIGMETRICS, pp 267-278, Carnegie Mellon University, Pittsburgh, USA, June 17 - 21, 2013 [acceptance: 27 of 196] (featured article in HPCwire: Mapping the Energy Envelope of Multicore ARM Chips, 6 June 2013 [ pdf ]).
  23. B.M. Tudor and Y.M. Teo, Towards Modelling Parallelism and Energy Performance of Multicore Systems, Proceedings of the 26th IEEE International Parallel & Distributed Processing Symposium, PhD Forum (poster), Shanghai, China, May 21-25, 2012. [IPDPS 2012 PhD Forum Best Poster Award]
  24. Y.M. Teo and B.M. Tudor, Performance of Shared-Memory Programs on Multicore Systems, (invited speaker) 7th High Performance Computing Workshop, Serdang, Malaysia, Nov 1-2, 2011. [slides ]
  25. B.M. Tudor, Y.M. Teo and S. See, Understanding Off-chip Contention of Parallel Programs in Chip Multiprocessors, Proceedings of 40th International Conference on Parallel Processing, pp 602-611, Taipei, Taiwan, Sep 13-16, 2011 (acceptance: 81 of 363). [ slides ]
  26. B.M. Tudor and Y.M. Teo, A Practical Approach for Performance Analysis of Shared Memory Programs, Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium, IEEE Computer Society Press, Anchorage, USA, May 16-20, 2011 (acceptance: 112 of 571). [ slides ]
  27. V. March, V. Murali, Y.M. Teo, S. See, J.H. Himer, Towards Predictive Modeling of Message-Passing Communication, Proceedings of 11th IEEE International Conference on High Performance Computing and Communication, pp 482-487, Seoul, South Korea, June 25-27, 2009.
  28. C. Ma, Y.M. Teo, V. March, N. Xiong, I.R. Pop, Y.X. He and S. See, An Approach for Matching Communication Patterns in Parallel Applications, Proceedings of 23rd IEEE International Parallel and Distributed Processing Symposium, IEEE Computer Society Press, Rome, Italy, May 25-29, 2009. [ slides ]

Emergent Properties: Formalism, Modeling and Simulation

  1. S. Sarkar, Y.M. Teo and E.C. Chang, A Cybersecurity Assessment Framework for Virtual Operational Technology in Power System Automation, Journal: Simulation Modelling Practice and Theory, Dec 2021..
  2. Y.M. Teo et al. (editors), Methods and Applications for Modeling and Simulation of Complex Systems, Proceedings of the 19th Asia Simulation Conference (AsiaSim 2019), Oct 30 - Nov 1,  Communications in Computer and Information Science, Vol 1094, Springer, Nov 2019.
  3. Y.M. Teo, Modeling and Analysis of  Insider Threats Vulnerabilities, Keynote Speaker, International Conference on Informatics, Computing and Applied Mathematics, Kuala Terengganu, Malaysia, 26-28 October 2019.
  4. Y.M. Teo, Effects of Insider Threats on System Vulnerabilities, Keynote Speaker, 5th IEEE International Conference on Advanced Computing and Communication Systems, Coimbatore, India, Mar 15-16, 2019.
  5. S. Sarkar, A. Agrawal, Y.M. Teo and E.C. Chang, VOTNet: Hybrid Simulation of Virtual Operational Technology Network for Cybersecurity Assessment,Proceedings of the Winter Simulation Conference, Gothenburgh, Sweden, Dec 9-12, 2018.
  6. L. Ramapantulu, Y.M. Teo and E.C. Chang, A Conceptual Framework to Federate Testbeds for Cybersecurity, Proceedings of the Winter Simulation Conference (50th Anniversary), pp 457-468, IEEE Computer Society Press, Las Vegas, Nevada, US, Dec 3-6, 2017.  
  7. T. Baluta, L. Ramapantulu, Y.M. Teo and E.C. Chang, Modeling the Effects of Insider Threats on Cybersecurity of Complex Systems, Proceedings of the Winter Simulation Conference (50th Anniversary), pp 4360-4371, IEEE Computer Society Press, Las Vegas, Nevada, US, Dec 3-6, 2017. 
  8. Y.M. Teo, Social Interactions and System Vulnerabilities, Keynote Speaker, IEEE International Conference on Computer, Communication and Signal Processing, Chennai, India, Jan 10-11, 2017.
  9. Y.M. Teo, On Modeling Known and Unknown Emergence in Complex Systems, Keynote Speaker, 2nd International Conference of Young Computer Scientists, Engineers and Educators, Harbin, China, Aug 20-21, 2016.
  10. Y.M. Teo, Effects of Social Interactions on Systems Vulnerabilities, Keynote Speaker, 8th International Conference on Computational Intelligence, Communication Systems and Networks, Kuala Lumpur, Malaysia, Jul 25-26, 2016.
  11. Y.M. Teo, Modeling and Formalizing Weak Emergence, Keynote Speaker, 18th International Conference on Modeling and Simulation (UKSim), Cambridge University, UK, Apr 6-8, 2016.
  12. Y.M. Teo, Modeling and Formalizing Emergence, Keynote Speaker, 7th International Conference on Intelligent Systems, Modeling and Simulation, IEEE Computer Society Press, Bangkok, Thailand, Jan 25-27, 2016.
  13. L. Birdsey, C. Szabo and Y.M. Teo, Twitter Knows: Understanding the Emergence of Topics in Social Networks, Proceedings of the Winter Simulation Conference, pp, IEEE Computer Society Press, Huntington Beach, California, US, Dec 6-9, 2015. [slides][WSC 2015 Best Paper Award]
  14. Y.M. Teo, Modeling and Simulation in Experimental Cybersecurity Research, Keynote Speaker, 3rd IEEE International Conference on Artificial Intelligence, Modeling and Simulation, Kota Kinabalu, Malaysia, Dec 2-4, 2015.
  15. C. Szabo and Y.M. Teo, Formalization of Weak Emergence in Multi-agent Systems, Special Issue on Principles of Advanced Discrete Simulation, ACM Transactions on Modeling and Computer Simulation, Vol 26, No 1, December 2015.
  16. Y.M. Teo, On Modeling and Simulation of Emergent Behavior in Complex Systems, Keynote Speaker, 7th International Conference on Computational Intelligence, Modeling and Simulation, Kuantan, Malaysia, Jul 27-29, 2015.
  17. C. Szabo, Y.M. Teo, G.K. Ghengleput, Understanding Complex Systems: Using Interaction as a Measure of Emergence, Proceedings of the Winter Simulation Conference, pp 207-218, IEEE Computer Society Press, Savannah, US, Dec 7-10, 2014. [slides]
  18. Ba Linh Luong, GRAMMAR-BASED SET-THEORETIC FORMALIZATION OF EMERGENCE IN COMPLEX SYSTEMS, Master Thesis, Department of Computer Science, National University of Singapore, (advisor: Yong Meng Teo) Jan 2014.
  19. Y.M. Teo (co-editor), AsiaSim2013, Proceedings of 13th International Conference on Systems Simulation, Communications in Computer and Information Science, Vol 402, Springer, Singapore, Nov 2013.
  20. Y.M. Teo, B.L. Luong, C. Szabo, Formalization of Emergence in Multi-agent Systems, Proceedings of ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 231-240, Montreal, Canada, May 19-22, 2013. [slides]
  21. C. Szabo, Y.M. Teo, Post-mortem Analysis of Emergent Behavior in Complex Simulation Models, Proceedings of ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 241-251, Montreal, Canada, May 19-22, 2013.
  22. Y.M. Teo, A Formal Approach to Identify Emergent Properties in Simulation Models, Keynote Speaker, 4th International Conference on Intelligent Systems, Modeling and Simulation, IEEE Computer Society Press, Bangkok, Thailand, Jan 29-31, 2013. [slides]
  23. Y.M. Teo, Emergent Properties in Complex Systems – A Computer Science Perspective, Keynote Speaker, International Conference on Intelligence System and Informatics, Bandung, Indonesia Nov 19-21, 2012. [slides]
  24. C. Szabo and Y.M. Teo, An Integrated Approach for the Validation of Emergence in Component-based Simulation Models, Proceedings of the Winter Simulation Conference, pp 2739-2750, IEEE Computer Society Press, Berlin, Germany, Dec 9-12, 2012. [slides]
  25. C. Szabo and Y.M. Teo, An Objective-based Approach for Semantic Validation of Emergence in Component-based Simulation Models, Proceedings of 26th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, pp 155-162, ZhangJiaJie, China, Jul 15-19, 2012. [slides]

Concurrency Verification

  1. D.K. Le, W.N. Chin, Y.M. Teo, Threads as Resource for Concurrency Verification, Proceedings of Symposium/Workshop on Partial Evaluation and Program (PEPM), Mumbai, India, Jan 13-14, 2015. [ThreadHIP project]
  2. D.K. Le, SPECIFICATION AND VERIFICATION OF SHARED-MEMORY CONCURRENT PROGRAMS, PhD Thesis, Department of Computer Science, National University of Singapore, (advisor: Yong Meng TEO), Dec 2014.
  3. D.K. Le, W.N. Chin, Y.M. Teo, Verification of Static and Dynamic Barrier Synchronization using Bounded Permissions, Proceedings of 15th International Conference on Formal Engineering Methods, Springer-Verlag, Queenstown, New Zealand, Oct 29 - Nov 1, 2013. [VeriBSync project] [slides] [Springer]
  4. D.K. Le, W.N. Chin, Y.M. Teo, An Expressive Framework for Verifying Deadlock Freedom, Proceedings of 11th International Symposium on Automated Technology for Verification and Analysis (ATVA), pp. 287-302, Springer LNCS 8172, Hanoi, Vietnam, Oct 15-18, 2013. [ParaHIP project] [slides] [Springer]
  5. D.K. Le, W.N. Chin, Y.M. Teo, Variable Permissions for Concurrency Verification, Proceedings of 14th International Conference on Formal Engineering Methods, pp. 5–21, LNCS 7635, Springer-Verlag, Kyoto, Japan, Nov 12–16, 2012. [VPERM project] [technical report] [slides] [Springer]

Peer-to-peer Computing

  1. C. Carbunaru, Y.M. Teo, B. Leong and T. Ho, Modeling Flash Crowd Performance in Peer-to-peer File Distribution, IEEE Transactions on Parallel and Distributed Systems, Volume 25, Issue 10, pp 2617-2626, October 2014. (preprint). [supplementary material]
  2. C. Carbunaru and Y.M. Teo, Analysis of Server Distribution Policies in Peer-assisted File Distribution with Flash Crowds, Proceedings of 14th Asia Simulation Conference on Modeling and Simulation, CCIS 474, pp 48-61, Springer-Verlag, Kitakyushu, Japan, Oct 2014. [slides]
  3. C. Carbunaru and Y.M. Teo, Performance of Peer-assisted File Distribution, chapter 457, pp 4461-4671, Encyclopedia of Information Science and Technology (Third Edition), IGI Global, 2013 (accepted).
  4. C. Carbunaru, ON FLASH CROWD PERFORMANCE OF PEER-ASSISTED FILE DISTRIBUTION, PhD Thesis, Department of Computer Science, National University of Singapore, (advisor - Yong Meng TEO), June 2014.
  5. Y.M. Teo, Modeling Flash Crowd Performance in Peer-to-peer Systems: Challenges and Opportunities, Keynote Speaker, 5th International Conference on Intelligent Systems, Modeling and Simulation, IEEE Computer Society Press, Langkawi, Malaysia, Jan 27-29, 2014. [slides]
  6. C. Cristina, Y.M. Teo and B. Leong, A Performance Study of Peer-assisted File Distribution with Heterogeneous Swarms, Proceedings of 36th Annual IEEE Conference on Local Area Networks, pp 345-353,Bonn, Germany, Oct 4-7, 2011 (acceptance < 30%).
  7. V. March and Y.M. Teo, A Read-only Distributed Hash Table, Journal of Grid Computing, Volume 9, Number 4, pp 501-529, December 2011.
  8. Ben Leong, Wang Youming, Su Wen, Cristina Carbunaru, Teo Yong Meng, Christopher Chang and Tracey Ho, Improving Peer-to-Peer File Distribution: Winner Doesn’t Have to Take All, Proceedings of 1st ACM Asia-Pacific Workshop on Systems, New Delhi, August 2010.
  9. Y.M. Teo, V. March and M. Mihailescu, Hierarchical Structured Peer-to-Peer Systems, Handbook of Research on Scalable Computing Technologies, Chapter 7, pp 140-162, editors, K Li, C Hsu, Laurence T Yang, J. Dongarra and H Zima, IGI Global, July 2009.
  10. Y.M. Teo and M. Mihailescu, Collision Avoidance in Hierarchical Peer-to-Peer Systems, Proceedings of 7th International Conference on Networking, pp 336-341, IEEE Computer Society Press, Cancun, Mexico, April 13-18, 2008.
  11. Verdi March, A READ-ONLY DISTRIBUTED HASH TABLE, PhD Thesis, Department of Computer Science, National University of Singapore, (advisor: Yong Meng Teo) 2007.
  12. V. March and Y.M. Teo, Multi-Attribute Range Queries on Read-only DHT, Proceedings of 15th International Conference on Computer Communications and Networks, pp 419-424, IEEE Communications Society Press, USA, October 2006. [slides]
  13. G. Ghinita and Y.M. Teo, An Adaptive Stabilization Framework for Distributed Hash Tables, Proceedings of 20th International Parallel & Distributed Processing Symposium, IEEE Computer Society Press, Greece, April, 2006. [slides]
  14. V. March, Y.M. Teo, H.B. Lim, P. Eriksson and R. Ayani, Collision Detection and Resolution in Hierarchical Peer-to-Peer Systems, Proceedings of 30th IEEE Conference on Local Computer Networks, IEEE Computer Society Press, pp 2-9 , Sydney, Australia, November 2005. [slides - pdf, animated ppt ]

Fault Tolerance

  1. X. Wang and Y.M. Teo, Global Data Computation in Chordal Rings, Journal of Parallel and Distributed Computing, Volume 69, Issue 8, Pages 725-736, Elsevier B.V., August 2009.
  2. X. Wang, Y.M. Teo and J. Cao, Message and Time Efficient Consensus Protocols for Synchronous Distributed Systems, Journal of Parallel and Distributed Computing, Volume 68, Issue 5, Pages 641-654. Elsevier B.V., May 2008. (corrigendum)
  3. X. Wang, Y.M. Teo and J Cao, A Bivalency Proof of the Lower Bound for Uniform Consensus, Information Processing Letters, Volume 96, Issue 5, pp 167-174, Elsevier B.V. (http://www.sciencedirect.com/science/journal/00200190) 2005.

Grid Computing

  1. H.B. Lim, Y.M. Teo, P. Mukherjee1, V.T Lam, W.F. Wong and S. See, Sensor Grid: Integration of Wireless Sensor Networks and the Grid, Proceedings of 30th IEEE Conference on Local Computer Networks, IEEE Computer Society Press, pp 91-98,Sydney, Australia, November 2005.
  2. Y. Xie, Y.M. Teo, W. Cai and S.J. Turner, Service Provisioning for HLA-based Distributed Simulation on the Grid, Proceedings of the 19th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, pp 282-291, IEEE Computer Society Press, Monterey, USA, June 2005. [slides]
  3. Y.M. Teo, X. Wang, Y.K. Ng, GLAD: A System for Developing and Deploying Large-scale Bioinformatics Grid, Bioinformatics Journal,Oxford University Press, Vol. 21, Issue 6, 794 – 802, March 2005.

Composability and Semantic Validation

  1. Y.M. Teo, Component-based Modeling and Simulation, Keynote Speaker, 4th International Conference on Computational Intelligence, Modeling and Simulation, Kuantan, Malaysia, Sep 25-27, 2012. [slides]
  2. Y.M. Teo and C. Szabo, Semantic Validation of Emergent Properties in Component-based Simulation Models, Book Chapter in Ontology, Epistemology, and Teleology of Modeling and Simulation – Philosophical Foundations for Intelligent M&S Applications, edited by Andreas Tolk, pp 319-333, Springer-Verlag, 2013. [look inside]
  3. C. Szabo and Y.M. Teo, An Approach to Semantic-based Model Discovery and Selection, Proceedings of the Winter Simulation Conference, pp 3059-3071, IEEE Computer Society Press, Phoenix, Arizona, USA, Dec 11-14, 2011 [slides].
  4. Y.M. Teo and C. Szabo, Component-based Modeling and Simulation,Military Training and Simulation Asia, Singapore, Sep 28-29, 2011 (invited speaker).
  5. C. Szabo and Y.M. Teo, An Analysis of the Cost of Validating Semantic Composability, Proceedings of 25th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, pp 62-69, IEEE Computer Society Press, Nice, France, June 14-17, 2011. [slides] [Also in Journal of Simulation, pp 152-163, Vol 6, Issue 3, Palgrave-Macmillian, August 2012 (advance online publication)].
  6. Claudia Szabo, COMPOSABLE SIMULATION MODELS AND THEIR FORMAL VALIDATION, PhD Thesis, Department of Computer Science, National University of Singapore, (advisor: Yong Meng Teo) 2010. [ACM SIGSIM 2009 Best PhD Student Paper Award]
  7. C. Szabo and Y.M. Teo, On Validation of Semantic Composability in Data-driven Simulation, Proceedings of 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, pp 73-80, IEEE Computer Society Press, Atlanta, USA, May 17-19, 2010. [slides]
  8. C. Szabo, Y.M. Teo and S. See, A Time-based Formalism for the Validation of Semantic Composability, Proceedings of the Winter Simulation Conference, pp 1411-1422, IEEE Computer Society Press, Austin, Texas, USA, December 13-16, 2009, (ACM SIGSIM Best PhD Student Paper Award). [slides]
  9. C. Szabo and Y.M. Teo, CODES: Component-based Modeling and Simulation, Defence Simulation, Training and Wargaming Conference, Singapore, July 21-23, 2009 (invited speaker).
  10. C. Szabo and Y.M. Teo, An Approach for Validation of Semantic Composability in Simulation Models, Proceedings of 23rd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, pp 3-10, IEEE Computer Society Press, New York, USA, Jun 22-25, 2009. [slides]
  11. Y.M. Teo and C. Szabo, CODES: An Integrated Approach to Composable Modeling and Simulation, Proceedings of 41st Annual Simulation Symposium, pp 103-110, IEEE Computer Society Press, Ottawa, Canada, Apr 13-16, 2008. [slides]
  12. C. Szabo and Y.M. Teo, On Syntactic Composability and Model Reuse, Proceedings of International Conference on Modeling and Simulation, pp 230-236, IEEE Computer Society Press, Phuket, Thailand, March 2007 (invited paper). [slides]
  13. Y. Xie, Y.M. Teo, W. Cai and S.J. Turner, Service Provisioning for HLA-based Distributed Simulation on the Grid, Proceedings of 19th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, pp 282-291, IEEE Computer Society Press, Monterey, USA, June 2005. [slides]

Parallel & Distributed Simulation

  1. Y.M. Teo and B.S.S. Onggo, Formalization and Strictness of Simulation Event Orderings, Proceedings of the IEEE/ACM Workshop on Parallel and Distributed Simulation, pp 89-96, IEEE Computer Society Press, Kufstein, Austria, May 16-19, 2004 (nominated for best paper award). [slides] (A Framework for Formalization and Strictness Analysis of Simulation Event Orderings, in Simulation: Transactions of The Society for Modeling and Simulation, Special Issue, Vol 81, Issue 4, pp 325-335, April 2005).
  2. B.S.S. Onggo, A FRAMEWORK FOR FORMALIZATION AND CHARACTERISATION OF SIMULATION PERFORMANCE, PhD Thesis, Department of Computer Science, National University of Singapore, (advisor: Yong Meng Teo), 2004.
  3. S.C. Tay, Y.M. Teo and C,H. Ng, A Globally Optimised Checkpointing Scheme for Time Warp, International Journal of Modeling and Simulation, Volume 23, Number 2, pp 117-128, 2003.


Yong Meng TEO. Department of Computer Science, National University of Singapore. Email: teoym AT comp.nus.edu.sg
This document, recent-publications.htm, has been accessed 25154 times since 10-May-03 09:40:36 SGT. This is the 5th time it has been accessed today.

A total of 10687 different hosts have accessed this document in the last 7629 days; your host, ec2-18-232-169-110.compute-1.amazonaws.com, has accessed it 1 times.

If you're interested, complete statistics for this document are also available, including breakdowns by top-level domain, host name, and date.