ProfessorsProfessors of Singapore Management UniversityRichard Schumi

Richard Schumi

Singapore Management University

H-index: 9

Asia-Singapore

About Richard Schumi

Richard Schumi, With an exceptional h-index of 9 and a recent h-index of 8 (since 2020), a distinguished researcher at Singapore Management University,

His recent articles reflect a diverse array of research interests and contributions to the field:

PTE: Axiomatic Semantics based Compiler Testing

Semantic-Based Neural Network Repair

ExAIS: executable AI semantics

Spectest: Specification-based compiler testing

The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses

Mutation Testing of Smart Contracts at Scale

Richard Schumi Information

University	Singapore Management University
Position	(SMU)
Citations(all)	256
Citations(since 2020)	227
Cited By	104
hIndex(all)	9
hIndex(since 2020)	8
i10Index(all)	9
i10Index(since 2020)	8
Email	Access Email
University Profile Page	Singapore Management University
Google Scholar	View Google Scholar Profile

Top articles of Richard Schumi

Title	Journal	Author(s)	Publication Date
PTE: Axiomatic Semantics based Compiler Testing	arXiv preprint arXiv:2401.01036	Guoliang Dong Jun Sun Richard Schumi Bo Wang Xinyu Wang	2024/1/2
Semantic-Based Neural Network Repair		Richard Schumi Jun Sun	2023/7/12
ExAIS: executable AI semantics		Richard Schumi Jun Sun	2022/5/21
Spectest: Specification-based compiler testing		Richard Schumi Jun Sun	2021
The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses		Ivan Homoliak Sarad Venugopalan Daniël Reijsbergen Qingze Hum Richard Schumi ...	2020/10/26
Mutation Testing of Smart Contracts at Scale		Pieter Hartel Richard Schumi	2020/6/23