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
Software
During the course of research, we have developed and released the following software.
Trustworthy Machine Learning
ActiveThief: Model extraction using active learning and unannotated public data
For technical details, see our
AAAI'20 paper
.
Machine Learning for Software Engieering
CuBERT: Learning and evaluating contextual embedding of source code
For technical details, see our ICML'20 paper.
ETHPy150Open dataset: A redistributable subset of the ETH Py150 corpus
For technical details, see our ICML'20 paper.
NBL: Neural-attribution for semantic bug localization
For technical details, see our
NeurIPS'19 paper
.
RLAssist: Deep reinforcement learning for syntactic error repair
For technical details, see our
AAAI'19 paper
.
Bandit AFL: Greybox fuzzing as a contextual bandits problem
For technical details, see the
technical report
.
DeepFix: Fixing common C language errors by deep learning
For technical details, see our
AAAI'17 paper
.
CoderAssist: Semi-supervised verified feedback generation for programming assignments
For technical details, see our
FSE'16 paper
.
MintHint: Automated synthesis of repair hints
For technical details, see our
ICSE'14 paper
.
MathFinder: Math API discovery and migration
For technical details, see our
FASE'13
and
TOSEM'14
papers.
Concurrency and Distribution
DeadWait: Static deadlock detection for asynchronous C# programs
For technical details, see our
PLDI'17 paper
.
EventTrack: Efficient computation of happens-before relation for event-driven programs
For technical details, see our
ISSTA'17 paper
.
EM-Explorer: A proof-of-concept stateless model checker for concurrent Android applications
For technical details, see our
TACAS'16 paper
.
SparseRacer: Efficient race detection for programmatic event loops
For technical details, see our
ISSTA'16 paper
.
SparseRacer found several new faults in real applications which have been confirmed and even fixed by the developers. See
practical impact
for more details.
DroidRacer: Dynamic race detection for Android applications
For technical details, see our
PLDI'14 paper
.
Program Analysis and Verification
Symbolic simulation and test generation for Matlab Simulink/Stateflow
For technical details, see our
EMSOFT'08
and
CAV'09
papers.
SPOTS: A system for proving optimizing transformations sound
For technical details, see our
SEFM'06
,
ENTCS'07
and
SPE'09
papers.