Kanade, Aditya: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

[IEEE 2016 Symposium on Colossal Data Analysis and Networking (CDAN) - Indore, Madhya Pradesh, India (2016.3.18-2016.3.19)] 2016 Symposium on Colossal Data Analysis and Networking (CDAN) - Analysis of customer churn prediction in telecom industry using decision trees and logistic regression

Dalvi, Preeti K., Khandge, Siddhi K., Deomore, Ashish, Bankar, Aditya, Kanade, V. A.

Year:

2016

Language:

english

File:

PDF, 159 KB

english, 2016

2

Validation of GCC optimizers through trace generation

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

Journal:

Software: Practice and Experience

Year:

2009

Language:

english

File:

PDF, 1.21 MB

english, 2009

3

Race detection for Android applications

Maiya, Pallavi, Kanade, Aditya, Majumdar, Rupak

Journal:

ACM SIGPLAN Notices

Year:

2014

Language:

english

File:

PDF, 468 KB

english, 2014

4

Deep Reinforcement Learning for Syntactic Error Repair in Student Programs

Gupta, Rahul, Kanade, Aditya, Shevade, Shirish

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 415 KB

english, 2019

5

Structuring Optimizing Transformations and Proving Them Sound

Aditya Kanade, Amitabha Sanyal, Uday Khedker

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 357 KB

english, 2007

6

[ACM Press the 11th Working Conference - Hyderabad, India (2014.05.31-2014.06.01)] Proceedings of the 11th Working Conference on Mining Software Repositories - MSR 2014 - MUX: algorithm selection for software model checkers

Tulsian, Varun, Kanade, Aditya, Kumar, Rahul, Lal, Akash, Nori, Aditya V.

Year:

2014

Language:

english

File:

PDF, 524 KB

english, 2014

7

[ACM Press the 7th ACM international conference - Atlanta, GA, USA (2008.10.19-2008.10.24)] Proceedings of the 7th ACM international conference on Embedded software - EMSOFT '08 - Symbolic analysis for improving simulation coverage of Simulink/Stateflow models

Alur, Rajeev, Kanade, Aditya, Ramesh, S., Shashidhar, K. C.

Year:

2008

Language:

english

File:

PDF, 408 KB

english, 2008

8

Mining Unit Tests for Discovery and Migration of Math APIs

Santhiar, Anirudh, Pandita, Omesh, Kanade, Aditya

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2014

Language:

english

File:

PDF, 1.08 MB

english, 2014

9

Non-deterministic transducer models of retransmission protocols over noisy channels

Thakkar, Jay, Kanade, Aditya

Journal:

Information Processing Letters

Year:

2015

Language:

english

File:

PDF, 313 KB

english, 2015

10

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - MintHint: automated synthesis of repair hints

Kaleeswaran, Shalini, Tulsian, Varun, Kanade, Aditya, Orso, Alessandro

Year:

2014

Language:

english

File:

PDF, 611 KB

english, 2014

11

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - Race detection for Android applications

Maiya, Pallavi, Kanade, Aditya, Majumdar, Rupak

Year:

2013

Language:

english

File:

PDF, 468 KB

english, 2013

12

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Representation dependence testing using program inversion

Kanade, Aditya, Alur, Rajeev, Rajamani, Sriram, Ramanlingam, Ganesan

Year:

2010

Language:

english

File:

PDF, 552 KB

english, 2010

13

[IEEE 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Kanpur, India (2016.11.18-2016.11.20)] 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Asynchrony-aware static analysis of Android applications

Mishra, Ashish, Kanade, Aditya, Srikant, Y. N.

Year:

2016

Language:

english

File:

PDF, 502 KB

english, 2016

14

[ACM Press the 25th International Symposium - Saarbrücken, Germany (2016.07.18-2016.07.20)] Proceedings of the 25th International Symposium on Software Testing and Analysis - ISSTA 2016 - Efficient race detection in the presence of programmatic event loops

Santhiar, Anirudh, Kaleeswaran, Shalini, Kanade, Aditya

Year:

2016

Language:

english

File:

PDF, 480 KB

english, 2016

15

[ACM Press the 2016 24th ACM SIGSOFT International Symposium - Seattle, WA, USA (2016.11.13-2016.11.18)] Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - Semi-supervised verified feedback generation

Kaleeswaran, Shalini, Santhiar, Anirudh, Kanade, Aditya, Gulwani, Sumit

Year:

2016

Language:

english

File:

PDF, 407 KB

english, 2016

16

[ACM Press the 38th ACM SIGPLAN Conference - Barcelona, Spain (2017.06.18-2017.06.23)] Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017 - Static deadlock detection for asynchronous C# programs

Santhiar, Anirudh, Kanade, Aditya

Year:

2017

Language:

english

File:

PDF, 474 KB

english, 2017

17

[ACM Press the 26th ACM SIGSOFT International Symposium - Santa Barbara, CA, USA (2017.07.10-2017.07.14)] Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017 - Efficient computation of happens-before relation for event-driven programs

Maiya, Pallavi, Kanade, Aditya

Year:

2017

Language:

english

File:

PDF, 287 KB

english, 2017

18

[ACM Press the 2015 10th Joint Meeting - Bergamo, Italy (2015.08.30-2015.09.04)] Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - P3: partitioned path profiling

Afraz, Mohammed, Saha, Diptikalyan, Kanade, Aditya

Year:

2015

Language:

english

File:

PDF, 528 KB

english, 2015

19

[Advances in Computers] Volume 112 || Event-Based Concurrency: Applications, Abstractions, and Analyses

Year:

2019

Language:

english

File:

PDF, 515 KB

english, 2019

20

ActiveThief: Model Extraction Using Active Learning and Unannotated Public Data

Pal, Soham, Gupta, Yash, Shukla, Aditya, Kanade, Aditya, Shevade, Shirish, Ganapathy, Vinod

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2020

File:

PDF, 509 KB

2020