DT 8025 2016 Papers Collection

• G.R. Andrews and F.B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys, 15(1):4--43, 1983. (This paper is split into 2 parts: Sections 1--3 to be presented by one group and sections 1, 4--6 by another group.)

• L. Lamport. Specifying Concurrent Program Modules, ACM Tran. Prog. Lang. 5(2):190--222, 1983. (Only up to and including section 3.5)

• L. Lamport. Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering SE-3(2), 1977.

• S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, T. Anderson. Eraser: a dynamic data race detector for multithreaded programs, ACM Transactions on Computer Systems 15(4), 1997.

• D. Mosberger. Memory consistency models, ACM SIGOPS Operating Systems Review 27 (1): 18-26, 1993.

• H. Chetto, M. Silly, and T. Bouchentouf. Dynamic Scheduling of Real-Time Tasks under Precedence Constraint, Journal of Real-Time Systems (2), 181-194, 1990.

• L. Sha, R. Rajkumar, and J.P. Lehoczky. Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers 39 (9): 1175–1185, 1990.

• T. Murata. Petri nets: Properties, analysis and applications, Proc. of the IEEE 77(4), 541-580, 1989. (Only up to and including section V) and K. M. Kavi, A. Moshtaghi, D.i Chen. Modeling Multithreaded Applications Using Petri Nets. Journal of Parallel Programming 30(5), 353–371, 2002. (These two papers are to be presented in one report and one presentation.)

• W. Taha, V. Gaspes, and R. Page. Accurate Programming: Thinking about programs in terms of properties, Proc. of DSL'11, vol. 66 of EPTCS, pp. 236-260, 2011.

• John Hughes. Software Testing with QuickCheck. In Poc. of CEFP 2009, vol. 6299 of LNCS, pp. 183-223, 2009.

• D. Janzen and H. Saiedian. Test-Driven Development: Concepts, Taxonomy, and Future Direction. IEEE Computer 38(9):43--50, 2005.

• Suggestions for papers from the groups are also welcome and should be sent by email to the lecturer of the course.