Publications

[Accepted] S.Bindal, S.Bansal, A.Lal, "Variable and Thread Bounding for Systematic Testing of Multithreaded Programs", ISSTA, 2013 [ PDF ]

[Published] S.Bindal, S.Bansal, "Systematic ranking of Thread Schedules for Testing Multithreaded Programs", ACM Student Research Competition PLDI, San Jose, June 2011. [ PDF ]