Sciweavers

Share
4 search results - page 1 / 1
» Generating precise and concise procedure summaries
Sort
View
POPL
2008
ACM
9 years 3 months ago
Generating precise and concise procedure summaries
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
Greta Yorsh, Eran Yahav, Satish Chandra
SAC
2008
ACM
8 years 2 months ago
Flexible pointer analysis using assign-fetch graphs
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...
Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, S...
CVPR
2010
IEEE
8 years 11 months ago
Spatialized Epitome and Its Applications
Due to the lack of explicit spatial consideration, existing epitome model may fail for image recognition and target detection, which directly motivates us to propose the so-calle...
Xinqi Chu, Shuicheng Yan, Liyuan Li, Kap Luk Chan,...
POPL
2015
ACM
2 years 11 months ago
Succinct Representation of Concurrent Trace Sets
We present a method and a tool for generating succinct representations of sets of concurrent traces. We focus on trace sets that contain all correct or all incorrect permutations ...
Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakr...
books