5
Publications
412
Citations
5
H-Index
2009
Active since
Affiliations
Dongseok Jang is an author at University of California San Diego specializing in engineering, computer science, and software engineering.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringPrivacyCompilersCryptographyData Privacy
Publications per year
2009–2014
5
5
Points-to analysis for JavaScript
Dongseok Jang, Kwang-Moo Choe · 2009 · 60 citations
Automating formal proofs for reactive systems
Daniel Ricketts, Valentin Robert, Dongseok Jang et al. · 2014 · 10 citations
Rows per page
1–5 of 5