DT 8025 2016 - Paper Presentation Groups

Date and Time	Group	Paper
Oct. 20, 13:00-13:15	Boris Brankovic Muhammad Daud Yassin Atwa Wouter Dankers	D. Janzen and H. Saiedian. Test-Driven Development: Concepts, Taxonomy, and Future Direction. IEEE Computer 38(9):43--50, 2005.
Oct. 20, 13:15-13:30	Alexander Galozy Dirar Sweidan Daniel Dahlberg Can Yang	G.R. Andrews and F.B. Schneider. Concepts and Notations for Concurrent Programming, ACM Computing Surveys, 15(1):4--43, 1983. (Sections 1--3)
Oct. 20, 13:30-13:45	Kun Luo Sandeep Singh	John Hughes. Software Testing with QuickCheck. In Poc. of CEFP 2009, vol. 6299 of LNCS, pp. 183-223, 2009.
Oct. 20, 13:45-14:00	Mohammad Mirian Mehdi Mohammad Nezhad Mehdi Sagar Mahamud Jusuf Jamac	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.
Oct. 20, 14:00-14:15	Break
Oct. 20, 14:15-14:30	Monica Jayadevappa Meera Suhas Srinivasapur Amaranath Ashutoshkumar Rameshkumar Mewada Karthik Kiran Raghuram	1) S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, T. Anderson. Eraser: a dynamic data race detector for multi-threaded programs, ACM Transactions on Computer Systems 15(4), 1997. 2) J. Choi, K. Lee, A. Loginov, R. O’Callahan, V. Sarkar, M. Sridharan. Efficient and Precise Data race Detection for Multithreaded Object-Oriented Programs, Pro. of PLDI '02, vol. 37 of ACM SIGPLAN, pp. 258-269, 2002.
Oct. 20, 14:30-14:45	Abhilash Padi Siva Sanjana Arunesh Ravi Raja Nunna Gajula Karthik Veeraghandam	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.
Oct. 20, 14:45-15:00	Dhanesh Jayachandran Job Maya Victor Vincent Prasanth Sasikumar	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.