Sam Smith

dblp:146/5376 · DBLP profile ↗
← Back
3ranked-venue papers
0as first author
2since 2021 · last 2024
—ORCID · conflict

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

Software engineering, systems software and programming languages · 2 · 2 since 2021Applied, interdisciplinary, general and emerging computing · 1
YearPublicationVenuePosition
2024 Checking Test Suite Efficacy Through Dual-Channel Techniques
Constantin Cezar Petrescu, Sam Smith, Alexis Butler, Santanu Kumar Dash 0001
ICTSS2
2023 Do names echo semantics? A large-scale study of identifiers used in C++'s named casts
abstract
Developers relax restrictions on a type to reuse methods with other types. While type casts are prevalent, in weakly typed languages such as C++, they are also extremely permissive. Assignments where a source expression is cast into a new type and assigned to a target variable of the new type, can lead to software bugs if performed without care. In this paper, we propose an information-theoretic approach to identify poor implementations of explicit cast operations. Our approach measures accord between the source expression and the target variable using conditional entropy. We collect casts from 34 components of the Chromium project, which collectively account for 27MLOC and random-uniformly sample this dataset to create a manually labelled dataset of 271 casts. Information-theoretic vetting of these 271 casts achieves a peak precision of 81% and a recall of 90%. We additionally present the findings of an in-depth investigation of notable explicit casts, two of which were fixed in recent releases of the Chromium project.
Constantin Cezar Petrescu, Sam Smith, Rafail Giavrimis, Santanu Kumar Dash 0001
J. Syst. Softw.2
2019 OSCI: standardized stem cell ontology representation and use cases for stem cell investigation
abstract
BACKGROUND: Stem cells and stem cell lines are widely used in biomedical research. The Cell Ontology (CL) and Cell Line Ontology (CLO) are two community-based OBO Foundry ontologies in the domains of in vivo cells and in vitro cell line cells, respectively. RESULTS: To support standardized stem cell investigations, we have developed an Ontology for Stem Cell Investigations (OSCI). OSCI imports stem cell and cell line terms from CL and CLO, and investigation-related terms from existing ontologies. A novel focus of OSCI is its application in representing metadata types associated with various stem cell investigations. We also applied OSCI to systematically categorize experimental variables in an induced pluripotent stem cell line cell study related to bipolar disorder. In addition, we used a semi-automated literature mining approach to identify over 200 stem cell gene markers. The relations between these genes and stem cells are modeled and represented in OSCI. CONCLUSIONS: OSCI standardizes stem cells found in vivo and in vitro and in various stem cell investigation processes and entities. The presented use cases demonstrate the utility of OSCI in iPSC studies and literature mining related to bipolar disorder.
Yongqun He, William D. Duncan, Daniel J. Cooper, Jens Hansen, Ravi Iyengar, Edison Ong, Kendal Walker, Omar Tibi, Sam Smith, Lucas M. Serra, Jie Zheng 0001, Sirarat Sarntivijai, Stephan C. Schürer, K. Sue O'Shea, Alexander D. Diehl
BMC Bioinform.9