Login / Signup
Bradley Swain
Publication Activity (10 Years)
Years Active: 2008-2022
Publications (10 Years): 4
Top Topics
Highly Efficient
Computer Programs
Detection Accuracy
Test Data
Top Venues
CORRECTNESS@SC
SC
Correctness@SC
ICSE
</>
Publications
</>
Peiming Liu
,
Yanze Li
,
Bradley Swain
,
Jeff Huang
PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer Analysis.
ICSE
(2022)
Bradley Swain
,
Bozhen Liu
,
Peiming Liu
,
Yanze Li
,
Addison Crump
,
Rohan Khera
,
Jeff Huang
OpenRace: An Open Source Framework for Statically Detecting Data Races.
Correctness@SC
(2021)
Bradley Swain
,
Yanze Li
,
Peiming Liu
,
Ignacio Laguna
,
Giorgis Georgakoudis
,
Jeff Huang
OMPRacer: a scalable and precise static race detector for OpenMP programs.
SC
(2020)
Bradley Swain
,
Jeff Huang
Towards Incremental Static Race Detection in OpenMP Programs.
CORRECTNESS@SC
(2018)
Eman El-Sheikh
,
Bradley Swain
A Geospatial Natural Language-Based Path Understanding System.
IC-AI
(2009)
Nate Blaylock
,
Bradley Swain
,
James F. Allen
TESLA: A Tool for Annotating Geospatial Language Corpora.
HLT-NAACL (Short Papers)
(2009)
Eman El-Sheikh
,
Bradley Swain
,
Mohamed A. Khabou
A Comparison of Neural Network Architectures for Handwritten Digit Recognition.
IC-AI
(2008)