3 citations · 9 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018
Datalog-based Scalable Semantic Diffing of Concurrent Programs
Chungha Sung, Shuvendu Lahiri, Constantin Enea +1
When an evolving program is modified to address issues related to thread synchronization, there is a need to confirm the change is correct, i.e., it does not introduce unexpected b…
cs.SE2018★ 2 cited
CANAL: A Cache Timing Analysis Framework via LLVM Transformation
Chungha Sung, Brandon Paulsen, Chao Wang
A unified modeling framework for non-functional properties of a program is essential for research in software analysis and verification, since it reduces burdens on individual rese…