334 search results - page 46 / 67 » MDL: A Language and Compiler for Dynamic Program Instrumenta... |
193
Voted
POPL
2008
ACM
16 years 24 days ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
103
Voted
CL
1999
Springer
15 years 5 days ago
1999
Springer
It is well known that dynamic typing in languages like Lisp is costly in terms of performance. Besides the cost of tag checking, the other major source of ine ciency comes from th...
118
click to vote
HIPC
2003
Springer
15 years 5 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
132
click to vote
ECOOP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
114
click to vote
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...