Nalini Vasudevan's Candidacy Exam

Nalini Vasudevan

Candidacy Exam: List of Papers

Motivation

1. The Landscape of Parallel Computing Research: A View from Berkeley
Asanovic, K., Bodik, B., Catanzaro, B., Gebis, J., Husbands, P., Keutzer, K., Patterson, D., Plishker, W., Shalf, J., Williams, S., Yelick K.
University of California, Berkeley, Technical Report No. UCB/EECS-2006-183, 2006

2. Background and Jargon of Parallel Computing
Mattson, T., Sanders, B., Massingill, R.
Chapter 2, Patterns for Parallel Programming, Sept 2004.

Models of Computation and Programming Languages

3. The Semantics of a Simple Language for Parallel Programming
Kahn, G.
In Information Processing 74: IFIP Congress 74, pages 471-475, Stockholm, Sweden, Aug. 1974.

4. Communicating Sequential Processes
Hoare, C.A.
Communicating sequential processes. Commun. ACM 21, 8 (Aug. 1978), 666-677.

5. Synchronous Data Flow
Lee, E.A, Messerschmitt, D.G.
Proceedings of the IEEE , vol.75, no.9, pp. 1235-1245, Sept. 1987

6. The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation
Berry G., Gonthier G.
Science of Computer Programming, Volume 19, Issue 2 (November 1992) table of contents Pages: 87 - 152

7. Cilk: An Efficient Multithreaded Runtime System
Blumofe, R.D., Joerg, C.F., Kuszmaul, B.C., Leiserson, C.E., Randall, K.H, Zhou, Y.
Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Santa Barbara, California, United States, July 19 - 21, 1995).

8. StreamIt: A Language for Streaming Applications
Thies, W., Karczmarek, M., Amarasinghe S.
International Conference on Compiler Construction, 2002, pages 179--196.

9. X10: An Object-Oriented Approach to Non-Uniform Cluster Computing
Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., and Sarkar, V.
20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (San Diego, CA, USA, October 16 - 20, 2005). OOPSLA '05. ACM, New York, NY, 519-538.

10. SHIM: A Deterministic Model for Heterogeneous Embedded Systems
Edwards S.A., Tardieu, O.
In Embedded Software (Emsoft), pages 37-44, Jersey City, New Jersey, Sept. 2005.

11. Scheduling-Independent Threads and Exceptions in SHIM
Tardieu, O., Edwards, S. A.
Proceedings of the Proceedings of the International Conference on Embedded Software (Emsoft). Seoul, Korea, October 22-25, 2006.

12. Programming parallel algorithms
Blelloch, G. E.
Programming parallel algorithms. Commun. ACM 39, 3 (Mar. 1996), 85-97.

Code Generation and Optimization Techniques for Concurrent Programs

13. Tutorial: Compiling Concurrent Languages for Sequential Processors.
Edwards, S.A.
ACM Transactions on Design Automation of Electronic Systems (TODAES) 8(2):141-187, April 2003.

14. Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling
Lin, B.
Design, Automation, and Test in Europe. IEEE Computer Society, Washington, DC, 211-217, 1998.

Verification of Concurrent Programs

15. Model checking and Abstraction
Clarke, E. M., Grumberg, O., and Long, D. E. 1994.
ACM Trans. Program. Lang. Syst. 16, 5 (Sep. 1994), 1512-1542.

16. The Model Checker SPIN
Holzmann, G.J.
9th international Conference on Concurrency theory (September 08 - 11, 1998). Lecture Notes In Computer Science, vol. 1466. Springer-Verlag,

17. Petri Nets
Peterson, J L.
ACM Computing Surveys 9, 3 (Sep. 1977), 223-252

18. Analysis of Multi-threaded Programs
Rinard, M.
Lecture Notes in Computer Science, Static Analysis, Volume 2126/2001, 2001.

19. High Level Data Races
Artho C., Havelund K., Biere A.
Software Testing, Verification and Reliability, 2003

20. Evaluating Deadlock Detection Methods for Concurrent Software
Corbett, J.C
IEEE Transactions on Software Engineering, Vol. 22, No. 3, March 1996.