E-LIB Suche - Ergebnisse für: Kanade, Aditya

1

CodeQueries: A Dataset of Semantic Queries over Code:

, In: Proceedings of the 17th Innovations in Software Engineering Conference,

Sahu, Surya Prakash ; Mandal, Madhurima ; Bharadwaj, Shikhar... - p. 1-11 , 2024

Link: https://dl.acm.org/doi/1..

2

Tele-EvalNet: A Low-Cost, Teleconsultation System for Home ..:

, In: Lecture Notes in Computer Science; Computer Vision – ECCV 2022 Workshops,

Kanade, Aditya ; Sharma, Mansi ; Muniyandi, Manivannan - p. 738-750 , 2023

Link: https://doi.org/10.1007/..

3

Grace: Language Models Meet Code Edits:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Gupta, Priyanshu ; Khare, Avishree ; Bajpai, Yasharth... - p. 1483-1495 , 2023

Link: https://dl.acm.org/doi/1..

4

Attention-Guided Deep Learning Framework For Movement Quali..:

, In: ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP),

Kanade, Aditya ; Sharma, Mansi ; Muniyandi, Manivannan - p. 1-5 , 2023

Link: https://doi.org/10.1109/..

5

Automating Software Engineering with Machine Learning:

, In: 15th Innovations in Software Engineering Conference,

Kanade, Aditya - p. 1 ff. , 2022

Link: https://dl.acm.org/doi/1..

6

Virtual Reality, Robotics, and Artificial Intelligence: Tec..:

, In: The Internet of Medical Things (IoMT) and Telemedicine Frameworks and Applications; Advances in Medical Technologies and Clinical Practice,

Kanade, Aditya ; Sharma, Mansi ; Manivannan, Muniyandi - p. 105-123 , 2022

Link: https://doi.org/10.4018/..

7

Efficient computation of happens-before relation for event-..:

, In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Maiya, Pallavi ; Kanade, Aditya - p. 102-112 , 2017

Link: https://dl.acm.org/doi/1..

8

Static deadlock detection for asynchronous C# programs:

Santhiar, Anirudh ; Kanade, Aditya
ACM SIGPLAN Notices. 52 (2017) 6 - p. 292-305 , 2017

Link: https://doi.org/10.1145/..

9

Static deadlock detection for asynchronous C# programs:

, In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Santhiar, Anirudh ; Kanade, Aditya - p. 292-305 , 2017

Link: https://dl.acm.org/doi/1..

10

Efficient race detection in the presence of programmatic ev..:

, In: Proceedings of the 25th International Symposium on Software Testing and Analysis,

Santhiar, Anirudh ; Kaleeswaran, Shalini ; Kanade, Aditya - p. 366-376 , 2016

Link: https://dl.acm.org/doi/1..

11

Semi-supervised verified feedback generation:

, In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering,

Kaleeswaran, Shalini ; Santhiar, Anirudh ; Kanade, Aditya. - p. 739-750 , 2016

Link: https://dl.acm.org/doi/1..

12

Asynchrony-aware static analysis of Android applications:

, In: Proceedings of the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design,

Mishra, Ashish ; Kanade, Aditya ; Srikant, Y. N. - p. 163-172 , 2016

Link: https://dl.acm.org/doi/1..

13

Non-deterministic transducer models of retransmission proto..:

Thakkar, Jay ; Kanade, Aditya
Information Processing Letters. 115 (2015) 9 - p. 694-698 , 2015

Link: https://doi.org/10.1016/..

14

P3: partitioned path profiling:

, In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering,

Afraz, Mohammed ; Saha, Diptikalyan ; Kanade, Aditya - p. 485-495 , 2015

Link: https://dl.acm.org/doi/1..

15

Mining Unit Tests for Discovery and Migration of Math APIs:

Santhiar, Anirudh ; Pandita, Omesh ; Kanade, Aditya
ACM Transactions on Software Engineering and Methodology. 24 (2014) 1 - p. 1-33 , 2014

Link: https://doi.org/10.1145/..