| 1999 |
|---|
| 8 | | Vladimir Getov,
Paul A. Gray,
Sava Mintchev,
Vaidy S. Sunderam:
Multi-language programming environments for high performance Java computing.
Scientific Programming 7(2): 139-146 (1999) |
| 1998 |
|---|
| 7 | | Vladimir Getov,
Susan Flynn Hummel,
Sava Mintchev:
High-Performance Parallel Programming in Java: Exploiting Native Libraries.
Concurrency - Practice and Experience 10(11-13): 863-872 (1998) |
| 1997 |
|---|
| 6 | | Sava Mintchev,
Vladimir Getov:
PMPI: High-Level Message Passing in Fortran 77 and C.
HPCN Europe 1997: 603-614 |
| 5 | | Sava Mintchev,
Vladimir Getov:
Automatic Binding of Native Scientific Libraries to Java.
ISCOPE 1997: 129-136 |
| 4 | | Sava Mintchev,
Vladimir Getov:
Towards Portable Message Passing in Java: Binding MPI.
PVM/MPI 1997: 135-142 |
| 1995 |
|---|
| 3 | | David Lester,
Sava Mintchev:
Inducing Students to Induct.
FPLE 1995: 159-177 |
| 2 | | Sava Mintchev,
David Lester:
The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving.
HOA 1995: 144-162 |
| 1994 |
|---|
| 1 | | David Lester,
Sava Mintchev:
Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages.
CSL 1994: 369-381 |
