Sotabase

Career

· Professor, Columbia University2021–
· Associate Professor, Columbia University2013–2021
· EMC-Endowed Chair Professor Group (Adjunct), Tsinghua University2013–2016
· Assistant Professor, Columbia University2008–2013
· Technical Consultant, Microsoft Research Silicon Valley2008–2012
· Postdoctoral fellow, Microsoft Research Silicon Valley2007–2008
· MS in Computer Science, Stanford University
· PhD in Computer Science, Stanford University
· BS in Computer Science, Tsinghua University

Publications (147)

DeepXplore: Automated Whitebox Testing of Deep Learning Systems
Symposium on Operating Systems Principles · 2017
1,481
cited
Towards Making Systems Forget with Machine Unlearning
IEEE Symposium on Security and Privacy · 2015
933
cited
Formal Security Analysis of Neural Networks using Symbolic Intervals
USENIX Security Symposium · 2018
512
cited
Efficient Formal Safety Analysis of Neural Networks
Neural Information Processing Systems · 2018
433
cited
MODIST: Transparent Model Checking of Unmodified Distributed Systems
Symposium on Networked Systems Design and Implementation · 2009
270
cited
NEUZZ: Efficient Fuzzing with Neural Program Smoothing
IEEE Symposium on Security and Privacy · 2018
211
cited
Metric Learning for Adversarial Robustness
Neural Information Processing Systems · 2019
202
cited
This Paper Is Included in the Proceedings of the 12th Usenix Symposium on Operating Systems Design and Implementation (osdi '16). Shuffler: Fast and Deployable Continuous Code Re-randomization Shuffler: Fast and Deployable Continuous Code Re-randomization
131
cited
Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity
arXiv.org · 2020
114
cited
Stable Deterministic Multithreading through Schedule Memoization
USENIX Symposium on Operating Systems Design and Implementation · 2010
113
cited
Understanding Zero-Shot Adversarial Robustness for Large-Scale Models
International Conference on Learning Representations · 2022
113
cited
Efficiently, effectively detecting mobile app bugs with AppDoctor
European Conference on Computer Systems · 2014
111
cited
Automatically generating malicious disks using symbolic execution
IEEE Symposium on Security and Privacy · 2006
109
cited
Information Science
Nature · 1971
108
cited
Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems
arXiv.org · 2017
108
cited
Egalito: Layout-Agnostic Binary Recompilation
International Conference on Architectural Support for Programming Languages and Operating Systems · 2020
102
cited
Strategies for Smooth and Effective Cross-Cultural Online Collaborative Learning
J. Educ. Technol. Soc. · 2014
96
cited
DeepXplore
Communications of the ACM · 2019
94
cited
Parrot: a practical runtime for deterministic, stable, and reliable threads
Symposium on Operating Systems Principles · 2013
94
cited
Efficient deterministic multithreading through schedule relaxation
Symposium on Operating Systems Principles · 2011
85
cited
Sotabase
Junfeng Yang | Researcher Profile | Sotabase | Sotabase