activity
20182023
most citedOn Testing Quantum Programs

55 citations · 201 across the 10 of their papers we have counts for

collaborators

11 papers

cs.SE2023★ 12 cited

A Reference Architecture for Governance of Cloud Native Applications

William Pourmajidi, Lei Zhang, John Steinbacher +2

The evolution of cloud computing has given rise to Cloud Native Applications (CNAs), presenting new challenges in governance, particularly when faced with strict compliance require…

cs.SE2023★ 10 cited

Identifying Flakiness in Quantum Programs

Lei Zhang, Mahsa Radnejad, Andriy Miranskyy

In recent years, software engineers have explored ways to assist quantum software programmers. Our goal in this paper is to continue this exploration and see if quantum software pr…

cs.SE2021★ 4 cited

Term Interrelations and Trends in Software Engineering

Janusan Baskararajah, Lei Zhang, Andriy Miranskyy

The Software Engineering (SE) community is prolific, making it challenging for experts to keep up with the flood of new papers and for neophytes to enter the field. Therefore, we p…

cs.SE2021

On Testing and Debugging Quantum Software

Andriy Miranskyy, Lei Zhang, Javad Doliskani

Quantum computers are becoming more mainstream. As more programmers are starting to look at writing quantum programs, they need to test and debug their code. In this paper, we disc…

cs.DC2020★ 43 cited

Anomaly Detection in a Large-scale Cloud Platform

Mohammad Saiful Islam, William Pourmajidi, Lei Zhang +3

Cloud computing is ubiquitous: more and more companies are moving the workloads into the Cloud. However, this rise in popularity challenges Cloud service providers, as they need to…

cs.SE2020★ 22 cited

Immutable Log Storage as a Service on Private and Public Blockchains

William Pourmajidi, Lei Zhang, John Steinbacher +2

Service Level Agreements (SLA) are employed to ensure the performance of Cloud solutions. When a component fails, the importance of logs increases significantly. All departments ma…

cs.SE2020★ 38 cited

Is Your Quantum Program Bug-Free?

Andriy Miranskyy, Lei Zhang, Javad Doliskani

Quantum computers are becoming more mainstream. As more programmers are starting to look at writing quantum programs, they face an inevitable task of debugging their code. How shou…

cs.CR2019★ 6 cited

Immutable Log Storage as a Service

William Pourmajidi, Lei Zhang, John Steinbacher +2

Logs contain critical information about the quality of the rendered services on the Cloud and can be used as digital evidence. Hence, we argue that the critical nature of logs call…

cs.SE2019★ 10 cited

Quantum Advantage and Y2K Bug: Comparison

Lei Zhang, Andriy Miranskyy, Walid Rjaibi

Quantum Computers (QCs), once they mature, will be able to solve some problems faster than Classic Computers. This phenomenon is called "quantum advantage" (or a stronger term "qua…

cs.SE2018★ 55 cited

On Testing Quantum Programs

Andriy Miranskyy, Lei Zhang

A quantum computer (QC) can solve many computational problems more efficiently than a classic one. The field of QCs is growing: companies (such as DWave, IBM, Google, and Microsoft…

cs.MA2018★ 1 cited

The Impact of Position Errors on Crowd Simulation

Lei Zhang, Diego Lai, Andriy V. Miranskyy

In large crowd events, there is always a potential possibility that a stampede accident will occur. The accident may cause injuries or even death. Approaches for controlling crowd…