Dikaimin Simon

dblp:237/7664 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2019
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Distributed systems · 87% Cloud and datacenter computing · 13%
Software engineering, system software, and programming languages
1 paper
Software testing · 100%

Topics — the 3 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software testing › system testing
distributed system testing
0.412019
FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems · EuroSys 2019
Distributed systems
distributed system testing
0.412019
FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems · EuroSys 2019
Distributed systems
fault tolerance
0.412019
FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems · EuroSys 2019

Methods — techniques the papers use, named apart from their topics

state symmetry · 0.8parallel flips · 0.8event independence · 0.8
YearPublicationVenuePosition
2019 FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems
abstract
We present a fast and scalable testing approach for datacenter/cloud systems such as Cassandra, Hadoop, Spark, and ZooKeeper. The uniqueness of our approach is in its ability to overcome the path/state-space explosion problem in testing workloads with complex interleavings of messages and faults. We introduce three powerful algorithms: state symmetry, event independence, and parallel flips, which collectively makes our approach on average 16x (up to 78x) faster than other state-of-the-art solutions. We have integrated our techniques with 8 popular datacenter systems, successfully reproduced 12 old bugs, and found 10 new bugs --- all were done without random walks or manual checkpoints.
Jeffrey F. Lukman, Huan Ke, Cesar A. Stuardo, Riza O. Suminto, Daniar Heri Kurniawan, Dikaimin Simon, Satria Priambada, Chen Tian 0002, Tanakorn Leesatapornwongsa, Aarti Gupta, Shan Lu 0001, Haryadi S. Gunawi
EuroSys6