1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2026★ 1 cited
Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)
Letitia W. Li, Denley Lam, Vu Le +3
While using formal methods offers advantages over unit testing, their steep learning curve can be daunting to developers and can be a major impediment to widespread adoption. To su…
cs.PL2023
Unsupervised clustering of file dialects according to monotonic decompositions of mixtures
Michael Robinson, Tate Altman, Denley Lam +1
This paper proposes an unsupervised classification method that partitions a set of files into non-overlapping dialects based upon their behaviors, determined by messages produced b…
cs.HC2021
Automatic Knowledge Extraction with Human Interface
Steve Schmidt, Denley Lam, Patrick Hayden
OrbWeaver, an automatic knowledge extraction system paired with a human interface, streamlines the use of unintuitive natural language processing software for modeling systems from…