Sciweavers

TOPLAS
2016
43views more  TOPLAS 2016»
8 years 25 days ago
An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation
Stefano Dissegna, Francesco Logozzo, Francesco Ran...
TOPLAS
2016
45views more  TOPLAS 2016»
8 years 25 days ago
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
al Key Words and Phrases: Static analysis, context-sensitive analysis, abstract interpretation ACM Reference Format: ACM Trans. Program. Lang. Syst. V, N, Article A (January YYYY),...
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang,...