|
СТ |
Boolean Algebra of Shape Analysis Constraints |
2004 |
Kuncak V., Rinard M. |
|
|
|
Lecture Notes in Computer Science |
11.02.2004 |
|
СТ |
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information |
2003 |
Lam P., Rinard M. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
|
СТ |
Existential Heap Abstraction Entailment Is Undecidable |
2003 |
Kuncak V., Rinard M. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |
|
СТ |
A Language for Role Specifications |
2003 |
Kuncak V., Lam P., Rinard M. |
|
|
|
Lecture Notes in Computer Science |
18.06.2003 |
|
СТ |
Pipa: A Behavioral Interface Specification Language for AspectJ |
2003 |
Zhao J., Rinard M. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
An Implementation of Scoped Memory for Real-Time Java |
2001 |
Beebee W. S., Rinard M. |
|
|
|
Lecture Notes in Computer Science |
03.11.2001 |
|
СТ |
Analysis of Multithreaded Programs |
2001 |
Rinard M. |
|
|
|
Lecture Notes in Computer Science |
31.07.2001 |
|
СТ |
Design-Driven Compilation |
2001 |
Rugina R., Rinard M. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
Compositional Pointer and Escape Analysis for Java Programs |
1999 |
Whaley J., Rinard M. |
|
|
|
SIGPLAN Notices |
21.12.1999 |
|
СТ |
Automatic Parallelization of Divide and Conquer Algorithms |
1999 |
Rugina R., Rinard M. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
Pointer Analysis for Multithreaded Programs |
1999 |
Rugina R., Rinard M. |
|
|
|
SIGPLAN Notices |
20.08.1999 |
|
СТ |
Efficience Fine-Grain Synchronization for Automatically Parallelized Programs using Optimistic Synchronization Primitives |
1997 |
Rinard M. |
|
|
|
SIGPLAN Notices |
30.09.1997 |
|
СТ |
Dynamic Feedback: An Effective Technique for Adaptive Computing |
1997 |
Diniz P., Rinard M. |
|
|
|
SIGPLAN Notices |
09.07.1997 |
