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
- 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]
- 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]
- 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]
- 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]
- 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).
- 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
- 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.
- 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.
- 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]
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Y.M. Teo, Panelist
- Cloud Security: Will it Ever be Ready?, 5th
International Conference on Cloud Computing Research &
Innovation, Singapore, Apr 11-13, 2017.
- 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.
- 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).
- 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]
- 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.
- 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
]
- 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]
- 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]
- 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].
- 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]
- 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)
- 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.
- 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
- 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]
- 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.
- 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.
- 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]
- 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.
- 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.
- 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]
- 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]
-
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.
- 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.
- 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]
- 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.
- 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]
- 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]
- 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]
- 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]
-
D. Loghin, L. Ramapantulu, O. Barbu and Y.M. Teo,
Big Data on
Heterogeneous Systems with GPUs,
Nvida GPU Technology Workshop, Singapore, July 2014.
-
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.
- 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]
- 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 ]).
- 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]
- 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
]
- 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
]
- 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 ]
- 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.
- 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
- 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..
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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]
- 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.
- 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.
- 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.
- 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]
- 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.
- 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.
- 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]
- 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.
- 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]
- 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]
- 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]
- 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
- 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]
- 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.
- 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]
- 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]
- 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
- 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]
- 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]
- 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).
- 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.
- 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]
- 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%).
- 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.
- 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.
- 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.
- 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.
- Verdi March,
A
READ-ONLY DISTRIBUTED HASH TABLE, PhD Thesis,
Department of Computer Science, National University of Singapore,
(advisor: Yong Meng Teo) 2007.
- 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]
- 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]
- 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
- 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.
- 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)
- 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
- 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.
- 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]
- 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
- 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]
- 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]
- 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].
- Y.M. Teo and C. Szabo,
Component-based
Modeling and Simulation,Military Training and Simulation
Asia, Singapore, Sep 28-29, 2011 (invited speaker).
- 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)].
- 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]
- 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]
- 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]
- 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).
- 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]
- 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]
- 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]
- 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
- 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).
- 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.
- 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 398 times since 25-Jun-24 11:57:13 +08.
This is the 5th time it has been accessed today.
A total of 236 different hosts have accessed this document in the
last 210 days; your host, 18.225.55.42, 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.