Your search returned 8 results.

Results
	1.	No cover image available Checking compatibility of programs on shared data by DN Pranavadatta by Pranavadatta, DN Advised by Kanade, Aditya Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2011 Dissertation note: MSc(Engg);2011;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.74 P11.
	2.	No cover image available P3: An effective technique for partitioned path profiling by Mohammed Afraz by Afraz Mohammed Advised by Kanade, Aditya Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2015 Dissertation note: MSc(Engg);2015;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.0151 P15 .
	3.	No cover image available Concurrency analysis and mining techniques for APIs by Anirudh Santhiar by Santhiar, Anirudh Advised by Kanade, Aditya Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2017 Dissertation note: PhD;2017;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.2759 P17 .
	4.	No cover image available Data structures and algorithms to analyze concurrency in android applications by Pallavi Maiya H P by H P, Pallavi Maiya Advised by Kanade, Aditya Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indain Institute of Science, 2018 Dissertation note: PhD;2018;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.268 P18 .
	5.	No cover image available Fine-grained dynamic information flow analysis for android apps by Shyam Sankaran by Sankaran, Shyam, Kanade, Aditya Material type: Text Publication details: Bangalore IISc 2017 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.268 P17 (THESIS).
	6.	No cover image available Deep Learning for Bug Localization and Program Repair by Gupta, Rahul by Rahul, Gupta, Kanade, Aditya Material type: Text Publication details: Bengaluru Indian Institute of Sceince 2020 Online resources: Click here to access online Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 RAH/D. Place hold
	7.	No cover image available Active learning for efficient testing of student programs By Ishan Rastogi; Shirish Shevade and Aditya Kanade by Rastogi, Ishan, Shevade, Shirish Kanade, Aditya Material type: Text Publication details: Bengaluru Indian Insitute of Science 2018 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 620.00711 ISH/A. Place hold
	8.	No cover image available CodeQueries : Benchmarking query answering over source code by Sahu, Surya Prakash Shevade, Shirish advised Kanade, Aditya advised Material type: Text; Format: print ; Literary form: Not fiction Language: en. Publication details: Bengaluru IISc 2023 Dissertation note: MTech (Res); 2023; Computer science and automation Online resources: Click here to access online Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005 SUR. Place hold

Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832