Lei Zhang (张雷)

2021

Preprint

L. Zhang, A. Miranskyy, W. Rjaibi, G. Stager, M. Gray, J. Peck, Making existing software quantum safe: lessons learned.  preprint

ESEC/FSE 2021

J. Baskararajah, L. Zhang, A. Miranskyy, Term interrelations and trends in software engineering, accepted.  preprint will be available soon

Journal of Systems and Software

L. Zhang, S. Howard, T. Montpool, J. Moore, K. Mahajan and A. Miranskyy, Automated data validation: an industrial case study, under review.  preprint will be available soon

Transactions on Software Engineering

A. Miranskyy, L. Zhang, J. Doliskani, On testing and debugging quantum software, under review.  preprint

Transactions on Services Computing

W. Pourmajidi, L. Zhang, J. Steinbacher, T. Erwin and A. Miranskyy, Immutable log storage as a service on private and public blockchains, accepted.  link  preprint

ICSE 2021

M. S. Islam, W. Pourmajidi, L. Zhang, J. Steinbacher, T. Erwin and A. Miranskyy, Anomaly detection in a large-scale cloud platform, accepted, ICSE 2021.  link  preprint

2020

ICSE 2020

A. Miranskyy, L. Zhang and J. Doliskani, Is your quantum program bug-free? ICSE 2020 (Distinguished Paper Award).  link  preprint

Journal of IEEE Software

L. Zhang, A.V. Miranskyy and W. Rjaibi, Quantum advantage and Y2K bug: comparison, accepted by IEEE Software, 2020.  preprint

KMDDIS 2020

W. Pourmajidi, L. Zhang, A. Miranskyy, T. Erwin, D. Godwin and J. Steinbacher, The challenging landscape of cloud-monitoring, accepted in the book of “Knowledge Management in Development of Data-Intensive Systems”, 2020.

2019

ICSE 2019

A. Miranskyy and L. Zhang, On testing quantum programs, ICSE 2019.  link  preprint

ICSE 2019—Poster

W. Pourmajidi, L. Zhang, J. Steinbacher, T. Erwin, and A. Miranskyy, Immutable log storage as a service, ICSE 2019.  link

Journal of Simulation Modelling Practice and Theory

L. Zhang, D. Lai and A.V. Miranskyy, The impact of position errors on crowd simulation, Journal of Simulation Modelling Practice and Theory, Vol. 90, 2019.  link  preprint  dataset

Journal of Circuits, Systems, and Computers

L. Zhang and D.G. Down, APEM - approximate performance evaluation for multi-core computers, Journal of Circuits, Systems, and Computers, 28(1), 2019.  link  preprint

2018

Book of Systems Modeling: Methodologies and Tools

L. Zhang and D.G. Down, SMVA: a stable mean value analysis algorithm for closed systems with load-dependent queues, Chapter 2, in the book of "Systems modeling: methodologies and tools", EAI/Springer 2018.  link  preprint

2016

VALUETOOLS 2016

L. Zhang and D.G. Down, A stable mean value analysis algorithm for closed systems with load-dependent queues, VALUETOOLS 2016.  link  preprint

2015

SPECTS 2015

L. Zhang and D.G. Down, Approximate mean value analysis for multi-core systems, SPECTS 2015.  link  preprint

2013

McMaster TechReport

L. Zhang, I. Al-Azzoni and D.G. Down, PELE - an MVA-based performance evaluation methodology for computer system migration. Technical Report CAS-13-03-DD, McMaster University, 2013.  preprint

2011

ICPE 2011

I. Al-Azzoni, L. Zhang, and D.G. Down, Performance evaluation for software migration, WOSP/SIPEW ICPE 2011.  link  preprint

Ph.D. Thesis

Performance Models for Legacy System Migration and Multi-core Computers - an MVA Approach  link

Intellectual Property

W. Pourmajidi, A.V. Miranskyy, L. Zhang, A. Erwin, D. Godwin, J. Steinbacher, Feedback-Based Automatic Anomaly Detection for Cloud Platforms, IPCOM 000260742D, 2019. IP publication.