Home
Publications
Software
Courses
Funding
Alumni
Home
Aditya Kanade
Alumni
biography
Bugs Found by DeadWait
Courses
e0202-2018
DeepFix: Fixing Common C Language Errors by Deep Learning
droidracer
E0 323: Topics in Automated Verification
E0223: Automated Verification
errata
marks
marks2013
registration
registration2013
E0239: Software Reliability Techniques
2015
Funding
Group
mathfinder
Members
MintHint: Automated Synthesis of Repair Hints
New bugs discovered by SparseRacer
news
Publications
Publications: Chronologically
pubs-by-date
pubs-by-date
pubs-by-date
reports
Research
slsf
Software
spots
Sitemap
news
[Jun'14]
Pallavi Maiya
receives
Google India PhD Fellowship
in Programming Languages and Compilers
[May'14] MathFinder accepted at
ACM TOSEM
[Apr'14] Source code of
MintHint
released
[Apr'14] Source code of
DroidRacer
released
[Apr'14] See
teaser video
on MintHint for ICSE'14
[Mar'14] MUX accepted at
MSR'14
[Feb'14]
Anirudh Santhiar
receives IBM PhD Fellowship
[Feb'14] DroidRacer accepted at
PLDI'14
[Jan'14] MintHint accepted at
ICSE'14
[Apr'13] Source code of
MathFinder
released
[Mar'13] Transducer-based protocol verification accepted at
FORTE'13
[Dec'12] MathFinder accepted at
FASE'13
[Sep'12] First runner-up poster at IBM Collaborative Academic Research Exchange (I-CARE) won by
Jay Thakkar
, MSc student (2012)