Ralph Johnson

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

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

Software engineering, systems software and programming languages · 2Graphics, computer vision, multimedia, augmented reality and games · 2Artificial intelligence and machine learning · 1Theory of computation · 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.

Software engineering, system software, and programming languages
2 papers
Programming languages and type systems · 78% Software testing · 22%
Network and information security
1 paper
Blockchain and cryptocurrency security · 100%

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

TopicWeightPapersLastEvidence papers
Blockchain and cryptocurrency security
formal semantics
0.412019
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain · FM 2019
Programming languages and type systems
language design
0.412019
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain · FM 2019
Software testing
mutation testing
0.112011
SMutant: a tool for type-sensitive mutation testing in a dynamic language · SIGSOFT FSE 2011
Programming languages and type systems › dynamic languages
dynamically typed languages
0.012011
SMutant: a tool for type-sensitive mutation testing in a dynamic language · SIGSOFT FSE 2011
Programming languages and type systems › type systems
dynamic typing
0.012011
SMutant: a tool for type-sensitive mutation testing in a dynamic language · SIGSOFT FSE 2011

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

type-sensitive mutation · 0.1mutation testing · 0.1
YearPublicationVenuePosition
2019 IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain
Theodoros Kasampalis, Dwight Guth, Brandon M. Moore, Traian-Florin Serbanuta, Daniele Filaretti, Virgil Nicolae Serbanuta, Ralph Johnson, Grigore Rosu
FM8
2011 SMutant: a tool for type-sensitive mutation testing in a dynamic language
abstract
A mutation testing tool takes as input a system under test and a test suite and produces as output the mutation score of the test suite. The tool systematically creates mutants by making small syntactic changes to the system under test and executes the test suite to determine which mutants give different results from the original system. Almost all mutation testing tools have been developed for statically typed languages. The lack of tools for dynamically typed languages may be rooted in additional challenges that are caused by the lack of precise type information until the program is executed. Existing tools for dynamically typed languages mostly focus on mutation of literals because the type of literals are known statically.
Milos Gligoric 0001, Sandro Badame, Ralph Johnson
SIGSOFT FSE3
2009 Recovering asynchronous watermark tones from speech
abstract
A new, low complexity method facilitates low burden embedding and recovery of tonal watermarks in speech. A watermark composed of a periodically extended sequence of sub-audible DTMF tones is added to speech asynchronously, without regard to momentary speech characteristics. It is detected through a combination of a bit manipulation enhancement and a data-directed correlation, ideal for simple hardware implementations. Three methods of bit manipulation enhancement were auditioned and the best selected for further investigation. It showed an average 26 dB processing gain vs. correlation alone, sufficient to detect the asynchronous sub-audible tones by a comfortable margin.
Rob L. Morris, Ralph Johnson, Vladimir Goncharoff, Joseph DiVita
ICASSP2
2009 Watermark recovery from speech using inverse filtering and sign correlation
Rob L. Morris, Ralph Johnson, Vladimir Goncharoff, Joseph DiVita
INTERSPEECH2