View source for DT 8025 2016 - Paper Presentation Groups


{| class="wikitable"
|-
! 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.

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

|-
|}

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