Work summary:

I work as a scientist at TRDDC, one of the research-and-innovation labs of Tata Consultancy Services Ltd, located in Pune, India.

My research interests span across several aspects of program/static anlaysis (used in verification and validation), and software engineering. More particularly, I aim to improve usability of static analysis tools, by (1) improving their precision and performance, and (2) simplifying the process of manual inspection of alarms by the users. Currently, I am also exploring ways to use machine larning to advance the state of postprocessing of alarms.

Prior to researching on postprocessing of alarms, between 2011 and 2013, I worked on design and development of a commercial static analysis tool tool, TCS Embedded Code Analyzer (TCS ECA). Prior to that, I worked on automated test data generation for different coverage criteria (2009-2011), and structuring and composing of software development artifacts in software product line engineering (2007-2009).

Before joining TRDDC, TCS, in 2007, I worked with IBM India as a developer for around 15 months.


Education summary:

I completed my PhD from Eindhoven University of Technology (TU/e) in 2020. More details about my PhD and the thesis can be found here.

I obtained my Bachelor of Engineering degree in Computer Science in 2006 at Maharashtra Institute of Technology, Pune, affiliated to University of Pune, India.


Tutorials/Invited talks:


Service to Conference Organizing/Journals:

PC Member: SCAM 2020 (NIER track), SCAM 2019, DSN 2019 (Industry track), DSN 2017 (Industry track), SANER 2015.

Sub-reviewer: ISEC 2019, ISEC 2018, SEFM 2016.

Journals: EMSE (Reviewer in 2019).

Others: ATVA 2017 (Finance Chair), ISSRE 2015 (Industry panelist).


Collaborators and Interns:

Collaborators: Dr. Bonita Sharif (University of Nebraska - Lincoln): 2018 onwards; Dr. Alexander Serebrenik (Eindhoven University of Technology): 2016 onwards, Prof. Uday Khedker (IIT Bombay): 2014-2016, Dr. Paddy Krishnan (Bond University): 2010.

Interns: I've also had the privilege of supervising several interns at TRDDC. The recent ones are -
2020: Abhinav Kumar (IIIT Pune), Prajkta Kodavade (Walchand College of Engineering, Sangli), Nathan van Beusekom (Eindhoven University of Technology),
2019: Anushri Laddha (IIIT Nagpur), Peeyush Kushwaha (IIIT Delhi), Kunal Verma (IIT Gandhinagar).


Publications:

  1. Tukaram Muske, Rohith Talluri, and Alexander Serebrenik. Reducing Static Analysis Alarms based on Non-impacting Control Dependencies. Asian Symposium on Programming Languages and Systems (APLAS 2019), pp. 115-135. Springer, 2019. (DOI · PDF · Slides)
  2. Tukaram Muske, Rohith Talluri, and Alexander Serebrenik. Repositioning of Static Analysis Alarms. 27th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2018), pp. 187-197. ACM, 2018. (DOI · PDF · version with proofs · Slides)
  3. Tukaram Muske and Alexander Serebrenik. Survey of Approaches for Handling Static Analysis Alarms. 16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2016), pp. 157-166. IEEE, 2016. (DOI · PDF · Slides)
  4. Tukaram Muske and Uday P. Khedker. Cause Points Analysis for Effective Handling of Alarms. 27th IEEE International Symposium on Software Reliability Engineering (ISSRE 2016), pp. 173-184. IEEE, 2016. (DOI · PDF · Slides)
  5. Tukaram Muske and Uday P. Khedker. Efficient Elimination of False Positives using Static Analysis. 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), pp. 270-280. IEEE, 2015. (DOI· PDF · Slides)
  6. Tukaram Muske and Prasad Bokil. On Implementational Variations in Static Analysis Tools. 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015), pp. 512-515. IEEE, 2015. (DOI · PDF)
  7. Tukaram Muske and Amey Zare. Inconsistencies-based Multi-region Protocol Verification. International Conference on Advances in System Testing and Validation Lifecycle (VALID 2014), pp. 40-45. IARIA XPS Press, 2014. (DOI)
  8. Tukaram Muske. Improving Review of Clustered-Code Analysis Warnings. International Conference on Software Maintenance and Evolution (ICSME 2014), pp. 569-572. IEEE, 2014. (DOI)
  9. Tukaram Muske. Supporting Reviewing of Warnings in Presence of Shared Variables: Need and Effectiveness. 25th IEEE International Symposium on Software Reliability Engineering Workshops (ISSRE Workshops 2014) pp. 104-107. IEEE, 2014. (DOI)
  10. Tukaram Muske, Ankit Baid, and Tushar Sanas. Review Efforts Reduction by Partitioning of Static Analysis Warnings. 13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2013) pp. 106-115. IEEE, 2013. (DOI)
  11. Tukaram Muske. Improving Manual Analysis of Automated Code Inspection Results: Need and Effectiveness. 24th IEEE International Symposium on Software Reliability Engineering Workshops (ISSRE Workshops 2013) pp. 53. IEEE, 2013. (DOI)
  12. Tukaram Muske, Advaita Datar, Mayur Khanzode, and Kumar Madhukar. Efficient Elimination of False Positives using Bounded Model Checking. International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), pp. 13-20. IARIA XPS Press, 2013. (DOI)
  13. Padmanabhan Krishnan, R. Venkatesh, Prasad Bokil, Tukaram Muske, and P. Vijay Suman. Effectiveness of Random Testing of Embedded Systems. 45th Hawaii International International Conference on Systems Science (HICSS 2012), pp. 5556-5563. IEEE, 2012. (DOI)
  14. P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, and R. Venkatesh. Masking Boundary Value Coverage: Effectiveness and Efficiency. 5th International Academic and Industrial Conference on Testing - Practice and Research Techniques (TAIC PART 2010), pp. 8-22. Springer, 2010. (DOI · PDF)
  15. Nishigandha Hirve, Tukaram Muske, Ulka Shrotri, and R. Venkatesh. Feature based Structuring and Composing of SDLC Artifacts. 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2010), pp. 583-586. 2010. (PDF)

Patents:

  1. Tukaram B Muske. Method and system for classification and ranking of delta alarms. Recently filed in India (May 2020).
  2. Tukaram B Muske. Method and system for identification and elimination of false positives from delta alarms. Recently filed in India (May 2020).
  3. Tukaram B Muske and Rohith Talluri. Method and system for non-impacting control dependencies-based repositioning of static analysis alarms. Recently filed in India, USA, and EPO (Nov 2019).
  4. Tukaram B Muske and Rohith Talluri. Method and system for repositioning of a plurality of static analysis alarms. Granted in USA (2020) and Japan (2020); under examination in EPO and India.
  5. Tukaram B Muske. System and method for cause point analysis for effective handling of static analysis alarms. Granted in USA (2020); under examination in Japan, EPO, and India.
  6. Tukaram B Muske. Static analysis based efficient elimination of false positives. Granted in USA (2018) and Japan (2018); under examination in EPO and India.
  7. Tukaram B Muske. Reviewing warnings generated in clustered-code analysis. Granted in USA (2018) and Japan (2017); under examination in India.
  8. Tukaram B Muske. System and method to facilitate a user interface enabled review of static analysis warnings. Granted in USA (2015) and Japan (2017); under examination in India.
  9. Tukaram B Muske, Advaita Datar, Mayur Khanzode, R. Venkatesh. System and method for facilitating a model checker based elimination of false positives. Under examination in India.
  10. Tukaram B Muske, Advaita Datar, Amey Anand Zare. Method and system for verifying sleep wakeup protocol by computing state transition paths. Granted in USA (2015) and Japan (2016); under examination in India.
  11. Tukaram B Muske, Ankit Baid, Tushar Rohidas Sanas. A system and method to provide grouping of warnings generated during static analysis. Granted in USA (2016) and Japan (2016); under examination in India.
  12. Vijay Suman Pasupuleti, Tukaram B Muske, Prasad Bokil, Ulka Shrotri, Venkatesh Ramanathan, Priyanka Darke. A system and method for automatic test data generation for relational testing. Granted in USA (2013).