Stephen Chong
Harvard University
H-index: 31
North America-United States
Top articles of Stephen Chong
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks | arXiv preprint arXiv:2403.05829 | Jian Xiang Ruggero Lanotte Simone Tini Stephen Chong Massimo Merro | 2024/3/9 |
Towards porting operating systems with program synthesis | ACM Transactions on Programming Languages and Systems | Jingmei Hu Eric Lu David A Holland Ming Kawaguchi Stephen Chong | 2023/3/3 |
From SMT to ASP: Solver-based approaches to solving datalog synthesis-as-rule-selection problems | Proceedings of the ACM on Programming Languages | Aaron Bembenek Michael Greenberg Stephen Chong | 2023/1/9 |
Guess & Sketch: Language Model Guided Transpilation | arXiv preprint arXiv:2309.14396 | Celine Lee Abdulrahman Mahmoud Michal Kurek Simone Campanoni David Brooks | 2023/9/25 |
Expressive authorization policies using computation principals | Anitha Gollamudi Stephen Chong | 2021 | |
Quantitative robustness analysis of sensor attacks on cyber-physical systems | Stephen Chong Ruggero Lanotte Massimo Merro Simone Tini Jian Xiang | 2023/5/9 | |
Expressing information flow properties | Foundations and Trends® in Privacy and Security | Elisavet Kozyri Stephen Chong Andrew C Myers | 2022/1/18 |
Formulog: Datalog+ SMT+ FP. | Aaron Bembenek Michael Greenberg Stephen Chong | 2022 | |
Assuage: Assembly synthesis using a guided exploration | Jingmei Hu Priyan Vaithilingam Stephen Chong Margo Seltzer Elena L Glassman | 2021/10/10 | |
Relational analysis of sensor attacks on cyber-physical systems | Jian Xiang Nathan Fulton Stephen Chong | 2021/6/21 | |
Co-Inflow: Coarse-grained information flow control for Java-like languages | Jian Xiang Stephen Chong | 2021/5/24 | |
Coupled relational symbolic execution for differential privacy | Gian Pietro Farina Stephen Chong Marco Gaboardi | 2021 | |
Fast incremental PEG parsing | Zachary Yedidia Stephen Chong | 2021/10/17 | |
Formulog: Datalog for SMT-Based Static Analysis (Extended Version) | arXiv preprint arXiv:2009.08361 | Aaron Bembenek Michael Greenberg Stephen Chong | 2020/9/17 |
Formulog= Datalog+ ML+ SMT | Aaron Bembenek Michael Greenberg Stephen Chong | 2020 | |
Formulog: Datalog for SMT-based static analysis | Proceedings of the ACM on Programming Languages | Aaron Bembenek Michael Greenberg Stephen Chong | 2020/11/13 |