Difference between revisions of "DT 8025 2016 - Paper Presentation Groups"
| Line 5: | Line 5: | ||
|- | |- | ||
| | | | ||
| − | Oct. | + | Oct. 18, 13:00-13:15 |
||Boris Brankovic | ||Boris Brankovic | ||
| Line 23: | Line 23: | ||
| | | | ||
| − | Oct. | + | Oct. 18, 13:15-13:30 |
||Alexander Galozy | ||Alexander Galozy | ||
| Line 42: | Line 42: | ||
| | | | ||
| − | Oct. | + | Oct. 18, 13:30-13:45 |
||Kun Luo | ||Kun Luo | ||
| Line 57: | Line 57: | ||
| | | | ||
| − | Oct. | + | Oct. 18, 13:45-14:00 |
||Mohammad Mirian | ||Mohammad Mirian | ||
| Line 77: | Line 77: | ||
| | | | ||
| − | Oct. | + | Oct. 18, 14:00-14:15 |
||Break | ||Break | ||
| Line 89: | Line 89: | ||
| | | | ||
| − | Oct. | + | Oct. 18, 14:15-14:30 |
|| Monica Jayadevappa Meera | || Monica Jayadevappa Meera | ||
| Line 112: | Line 112: | ||
| | | | ||
| − | Oct. | + | Oct. 18, 14:30-14:45 |
|| Abhilash Padi Siva | || Abhilash Padi Siva | ||
| Line 130: | Line 130: | ||
| | | | ||
| − | Oct. | + | Oct. 18, 14:45-15:00 |
||Dhanesh Jayachandran | ||Dhanesh Jayachandran | ||
Latest revision as of 11:13, 11 October 2016
| Date and Time | Group | Paper | |
|---|---|---|---|
|
Oct. 18, 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. 18, 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. 18, 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. 18, 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. 18, 14:00-14:15 |
Break | ||
|
Oct. 18, 14:15-14:30 |
Monica Jayadevappa Meera
Suhas Srinivasapur Amaranath Ashutoshkumar Rameshkumar Mewada Karthik Kiran Raghuram |
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. | |
|
Oct. 18, 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. 18, 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. |
