Concepedia

William J. Bowman

WJ

6

Publications

203

Citations

6

H-Index

2015

Active since

Affiliations

Northeastern University(Current)

William J. Bowman is an author at Northeastern University specializing in engineering, formal methods, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationCompilersLanguage

Publications per year

2015–2023

6

Publications

6

Fully abstract compilation via universal embedding

Max S. New, William J. Bowman, Amal Ahmed · 2016 · 61 citations

Engineering, Compiler Technology, Verification +16

Noninterference for free

William J. Bowman, Amal Ahmed · 2015 · 55 citations

Engineering, Information Security, Verification +22

The Career Course as a Factor in College Graduation

Robert C. Reardon, Brittany Melvin, Mary‐Catherine McClain et al. · Journal of College Student Retention Research Theory & Practice · 2015 · 30 citations

Student Retention, Selective Southern University, Higher Education +12

Compositionally complex perovskite oxides: Discovering a new class of solid electrolytes with interface-enabled conductivity improvements

Shu‐Ting Ko, Tom Lee, Ji Qi et al. · Matter · 2023 · 30 citations · Full text

Type-preserving CPS translation of Σ and Π types is not not possible

William J. Bowman, Youyou Cong, Nick Rioux et al. · Proceedings of the ACM on Programming Languages · 2017 · 16 citations · Full text

Engineering, Type-preserving Cps Translation, Type Theory +16

Rows per page

1–5 of 6