Chungha Sung

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Data-Driven Synthesis of Provably Sound Side Channel Analyses	2021	Jingbo Wang Chungha Sung Mukund Raghothaman Chao Wang
+	Data-Driven Synthesis of Provably Sound Side Channel Analyses	2021	Jingbo Wang Chungha Sung Mukund Raghothaman Chao Wang
+ PDF Chat	Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation	2019	Brandon Paulsen Chungha Sung Peter A. Petérson Chao Wang
+ PDF Chat	Mitigating power side channels during compilation	2019	Jingbo Wang Chungha Sung Chao Wang
+	Mitigating Power Side Channels during Compilation	2019	Jingbo Wang Chungha Sung Chao Wang
+	Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation	2019	Brandon Paulsen Chungha Sung Peter A. Petérson Chao Wang
+ PDF Chat	CANAL: a cache timing analysis framework via LLVM transformation	2018	Chungha Sung Brandon Paulsen Chao Wang
+ PDF Chat	Datalog-based scalable semantic diffing of concurrent programs	2018	Chungha Sung Shuvendu K. Lahiri Constantin Enea Chao Wang
+	Datalog-based Scalable Semantic Diffing of Concurrent Programs	2018	Chungha Sung Shuvendu K. Lahiri Constantin Enea Chao Wang
+	CANAL: A Cache Timing Analysis Framework via LLVM Transformation	2018	Chungha Sung Brandon Paulsen Chao Wang
+ PDF Chat	Modular verification of interrupt-driven software	2017	Chungha Sung Markus Kusano Chao Wang
+	Modular Verification of Interrupt-Driven Software	2017	Chungha Sung Markus Kusano Chao Wang

Common Coauthors

Coauthor	Papers Together
Brandon Paulsen	4
Jingbo Wang	4
Chao Wang	4
Chao Wang	3
Shuvendu K. Lahiri	2
Peter A. Petérson	2
Constantin Enea	2
Mukund Raghothaman	2
Markus Kusano	2
Chao Wang	1
Chao Wang	1
Chao Wang	1
Chao Wang	1
Chao Wang	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Eliminating timing side-channel leaks using program repair	2018	Meng Wu Shengjian Guo Patrick Schaumont Chao Wang	7
+ PDF Chat	Adversarial symbolic execution for detecting concurrency-related cache timing leaks	2018	Shengjian Guo Meng Wu Chao Wang	6
+ PDF Chat	CANAL: a cache timing analysis framework via LLVM transformation	2018	Chungha Sung Brandon Paulsen Chao Wang	5
+ PDF Chat	Mitigating power side channels during compilation	2019	Jingbo Wang Chungha Sung Chao Wang	4
+ PDF Chat	Flow-sensitive composition of thread-modular abstract interpretation	2016	Markus Kusano Chao Wang	3
+ PDF Chat	Abstract interpretation under speculative execution	2019	Meng Wu Chao Wang	3
+	Program synthesis from polymorphic refinement types	2016	Nadia Polikarpova Ivan Kuraj Armando Solar-Lezama	2
+ PDF Chat	Compositional Synthesis of Leakage Resilient Programs	2017	Arthur Blot Masaki Yamamoto Tachio Terauchi	2
+ PDF Chat	Variable and thread bounding for systematic testing of multithreaded programs	2013	Sandeep Bindal Sorav Bansal Akash Lal	2
+ PDF Chat	Datalog-based scalable semantic diffing of concurrent programs	2018	Chungha Sung Shuvendu K. Lahiri Constantin Enea Chao Wang	2
+ PDF Chat	Abstraction refinement guided by a learnt probabilistic model	2016	Radu Grigore Hongseok Yang	2
+ PDF Chat	Precise Condition Synthesis for Program Repair	2017	Yingfei Xiong Jie Wang Runfa Yan Jiachen Zhang Shi Han Gang Huang Lu Zhang	2
+	Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants	2017	Alessandro Abate Iury Bessa Dario Cattaruzza Lucas C. Cordeiro Cristina David Pascal Kesseli Daniel Kroening Elizabeth Polgreen	2
+	Resource-guided program synthesis	2019	Tristan Knoth Di Wang Nadia Polikarpova Jan Hoffmann	2
+ PDF Chat	Learning Syntactic Program Transformations from Examples	2017	Reudismam Rolim de Sousa Gustavo Soares Loris D’Antoni Oleksandr Polozov Sumit Gulwani Rohit Gheyi Ryo Suzuki Björn Hartmann	2
+ PDF Chat	Thread-modular static analysis for relaxed memory models	2017	Markus Kusano Chao Wang	2
+	Thread-Modular Static Analysis for Relaxed Memory Models	2017	Markus Kusano Chao Wang	2
+	Component-based synthesis of table consolidation and transformation tasks from examples	2017	Yu Feng Ruben Martins Jacob Van Geffen Işıl Dillig Swarat Chaudhuri	2
+ PDF Chat	Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation	2019	Brandon Paulsen Chungha Sung Peter A. Petérson Chao Wang	2
+ PDF Chat	Learning a Static Analyzer from Data	2017	Pavol Bielik Veselin Raychev Martin Vechev	2
+ PDF Chat	Using Program Synthesis for Program Analysis	2015	Cristina David Daniel Kroening Matt Lewis	2
+	RobustFill: Neural Program Learning under Noisy I/O	2017	Jacob Devlin Jonathan Uesato Surya Bhupatiraju Rishabh Singh Abdelrahman Mohamed Pushmeet Kohli	1
+ PDF Chat	Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants	2017	Alessandro Abate Iury Bessa Dario Cattaruzza Lucas C. Cordeiro Cristina David Pascal Kesseli Daniel Kroening Elizabeth Polgreen	1
+	Modular Verification of Interrupt-Driven Software	2017	Chungha Sung Markus Kusano Chao Wang	1
+	Synthesizing Datalog Programs Using Numerical Relaxation	2019	Xujie Si Mukund Raghothaman Kihong Heo Mayur Naik	1
+ PDF Chat	Component-based synthesis of table consolidation and transformation tasks from examples	2017	Yu Feng Ruben Martins Jacob Van Geffen Işıl Dillig Swarat Chaudhuri	1
+ PDF Chat	Modular verification of interrupt-driven software	2017	Chungha Sung Markus Kusano Chao Wang	1
+ PDF Chat	DifFuzz: Differential Fuzzing for Side-Channel Analysis	2019	Shirin Nilizadeh Yannic Noller Corina S. Păsăreanu	1
+	Synthesizing Datalog Programs using Numerical Relaxation	2019	Xujie Si Mukund Raghothaman Kihong Heo Mayur Naik	1
+ PDF Chat	Abstraction refinement guided by a learnt probabilistic model	2016	Radu Grigore Hongseok Yang	1
+ PDF Chat	Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs	2012	Antoine Miné	1