Monika's homepage

Ph.D. Candidate (Since Aug'13),
Scalable Software Systems Lab,
Department of Computer Science and Automation,
Indian Institute of Science, Bangalore.
Research Interests : Software Engineering, Program Analysis
Research Advisor : Dr. Murali Krishna Ramanathan
[Resume] [Publications] [Education] [Experience] [Service] [Achievements] [Contact]

Pegasus: Automatic Barrier Inference for Stable Multithreaded Systems
Monika Dhok, Rashmi Mudduluru and Murali Krishna Ramanathan
International Symposium on Software Testing and Analysis (ISSTA), 2015
Type-Aware Concolic Testing of JavaScript Programs
Monika Dhok, Murali Krishna Ramanathan and Nishant Sinha
International Conference on Software Engineering (ICSE), 2016
Directed Test Generation to Detect Loop Inefficiencies
Monika Dhok, and Murali Krishna Ramanathan
International Symposium on the Foundations of Software Engineering (FSE), 2016

Ph.D. in Computer Science (in Progress).
B.Tech. in Computer Science and Engineering (2012).
Birla Institute of Technology and Science.
Higher Secondary Certification (2008).
Maharashtra State Board (97.50%).
Secondary School Certification (2006).
Maharashtra State Board (93.33%).

Teaching Assistant, CSA, IISc
Advanced Software Engineering (Jan 2016 - May 2016),Operating Systems (Aug 2015 - Dec 2015)
CITI, Mumbai Application Programmer Developer Analyst (June 2012 - July 2013)
Hewlett Packard (HP-IPG), Bangalore Internship (July 2011 - December 2011)

Email address
firstname.lastname AT csa.iisc.ernet.in
Postal mailing address
Monika Dhok
Room Number : 324, Scalable Software Systems Lab,
Department of Computer Science and Automation,
Indian Institute of Science, Bangalore 560012.