DT 8025 2016 Papers Collection - Revision history

Ceres at 10:39, 4 October 2016

2016-10-04T10:39:27Z

Ceres at 10:07, 4 October 2016

2016-10-04T10:07:26Z

Ceres at 09:41, 4 October 2016

2016-10-04T09:41:31Z

Ceres at 09:41, 4 October 2016

2016-10-04T09:41:11Z

Ceres: Created page with "''' Note: this is not the final list; it is going to be completed.''' * G.R. Andrews and F.B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surv..."

2016-08-31T07:45:49Z

Created page with "''' Note: this is not the final list; it is going to be completed.''' * G.R. Andrews and F.B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surv..."

New page

''' Note: this is not the final list; it is going to be completed.'''

* 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.)

* E.W. Dijkstra, The structure of THE multiprogramming system. Comm. ACM 11(5): 1--346, 1968. and E.W. Dijkstra, Solution of a problem in concurrent programming control. Comm. ACM 8(9): 569, 1965. L. Lamport. A New Solution of Dijkstra's Concurrent Programming Problem. Comm. ACM 17(8):453--455, 1974. (These three papers are to be presented in one report and one presentation.)

* 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.

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

* C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment",Journal of the ACM 20 (1): 46–61, 1973.

* 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.

* 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.

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

=[[DT 8025 2016 | Back to Course Page]]=

@@ Line 5: / Line 5: @@
 * 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.
-* C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment",Journal of the ACM 20 (1): 46–61, 1973.
--->
+* 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.
@@ Line 13: / Line 14: @@
 * 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.
 * 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.

@@ Line 8: / Line 8: @@
 * C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment",Journal of the ACM 20 (1): 46–61, 1973.
 -->
 * D. Mosberger. Memory consistency models, ACM SIGOPS Operating Systems Review 27 (1): 18-26, 1993.

@@ Line 1: / Line 1: @@
 * 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)
@@ Line 26: / Line 24: @@
 * Suggestions for papers from the groups are also welcome and should be sent by email to the lecturer of the course.
 =[[DT 8025 2016 | Back to Course Page]]=