СТ |
Transactional Monitors for Concurrent Objects |
2004 |
Welc A., Jagannathan S., Hosking A. L. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.07.2004 |
СТ |
A Semantic Framework for Designer Transactions |
2004 |
Vitek J., Jagannathan S., Welc A., Hosking A. L. |
|
|
|
Lecture Notes in Computer Science |
23.04.2004 |
СТ |
Optimistic Concurrency Semantics for Transactions in Coordination Languages |
2004 |
Jagannathan S., Vitek J. |
|
|
|
Lecture Notes in Computer Science |
17.03.2004 |
СТ |
Concurrency Analysis for Java |
2000 |
Ungureanu C., Jagannathan S. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.08.2000 |
СТ |
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report |
1998 |
Wright A., Jagannathan S., Ungureanu C., Hertzmann A. |
|
|
|
Lecture Notes in Computer Science |
24.09.1998 |
СТ |
Polymorphic Splitting: An Effective Polyvariant Flow Analysis |
1998 |
Wright A. K., Jagannathan S. |
|
|
|
ACM Trans. on Programming Languages and Systems |
30.07.1998 |
СТ |
Single and Loving It: Must-Alias Analysis for Higher-Order Languages |
1998 |
Jagannathan S., Thiemann P., Weeks S., Wright A. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
СТ |
Type-Directed Flow Analysis for Typed Intermediate Languages |
1997 |
Jagannathan S., Weeks S., Wright A. |
|
|
|
Lecture Notes in Computer Science |
20.09.1997 |
СТ |
Flow-Directed Inlining |
1996 |
Jagannathan S., Wright A. |
|
|
|
Proc. of the ACM SIGPLAN 96 Conf. on Programming Language Design and Implementation (PLDI) |
22.08.1997 |
СТ |
Flow-directed Inlining |
1996 |
Jagannathan S., Wright A. |
|
|
|
SIGPLAN Notices |
16.10.1996 |
СТ |
Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Languages |
1996 |
Philbin J., Jagannathan S., Mirani R. |
|
|
|
Lecture Notes in Computer Science |
24.02.1996 |
СТ |
Effective Flow Analysis for Avoiding Run-Time Checks |
1995 |
Jagannathan S., Wright A. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
16.11.1995 |
СТ |
Locality Abstractions for Parallel and Distributed Computing |
1995 |
Jagannathan S. |
|
|
|
Lecture Notes in Computer Science |
19.05.1995 |
СТ |
Analyzing Stores and References in a Parallel Symbolic Language |
1994 |
Jagannathan S., Weeks S. |
|
|
|
LISP Pointers |
16.01.1995 |
СТ |
Metalevel Building Blocks for Modular Systems |
1994 |
Jagannathan S. |
|
|
|
ACM Trans. Programming Languages and Systems |
01.09.1994 |
СТ |
High-level Abstractions for Efficient Concurrent Systems |
1994 |
Jagannathan S., Philbin J. |
|
|
|
Lecture Notes in Computer Science |
31.03.1994 |
СТ |
TS/Scheme: Distributed Data Structures in Lisp |
1993 |
Jagannathan S. |
|
|
|
Lecture Notes in Computer Science |
12.01.1994 |
СТ |
A Reflective Model of Inheritance |
1992 |
Jagannathan S., Agha G. |
|
|
|
Lecture Notes in Computer Science |
25.07.1992 |
СТ |
A Customizable Substrate for Concurrent Languages |
1992 |
Jagannathan S., Philbin J. |
|
|
|
SIGPLAN Notices |
13.07.1992 |
СТ |
Customization of First-Class Tuple-Spaces in a Higher-Order Language |
1991 |
Jagannathan S. |
|
|
|
Lecture Notes in Computer Science |
13.09.1991 |