news - SEAL, IISc

[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)