4211 search results - page 794 / 843 » Types as Abstract Interpretations |
121
Voted
POPL
2010
ACM
16 years 24 days ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
136
click to vote
POPL
2010
ACM
16 years 24 days ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
115
Voted
POPL
2010
ACM
16 years 24 days ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
122
click to vote
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract— Large graph datasets are ubiquitous in many domains, including social networking and biology. Graph summarization techniques are crucial in such domains as they can ass...
99
Voted
HRI
2010
ACM
15 years 10 months ago
2010
ACM
— In recent work, “interaction patterns” have been proposed as a means to characterize essential features of humanrobot interaction. A problem arises, however, in knowing whe...