41 search results - page 2 / 9 » pldi 2009 |
PLDI
2009
ACM
14 years 5 months ago
2009
ACM
dicate Abstraction Saurabh Srivastava University of Maryland, College Park Sumit Gulwani Microsoft Research, Redmond
PLDI
2009
ACM
13 years 11 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
PLDI
2009
ACM
13 years 11 months ago
2009
ACM
Self-representation – the ability to represent programs in their own language – has important applications in reflective languages and many other domains of programming langu...
PLDI
2009
ACM
13 years 11 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
PLDI
2009
ACM
13 years 11 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...