Aditya Kanade

Manivannan Muniyandi

Proceedings of the IEEE International Conference on Acoustics, 2023

2022

BNSynth: Bounded Boolean Functional Synthesis.

[BibT_eX]

[DOI]

Ravi Raja

Stanly Samuel

Chiranjib Bhattacharyya

Deepak D'Souza

CoRR, 2022

Learning to Answer Semantic Queries over Code.

[BibT_eX]

[DOI]

CoRR, 2022

A Robust and Scalable Attention Guided Deep Learning Framework for Movement Quality Assessment.

[BibT_eX]

[DOI]

Manivannan Muniyandi

CoRR, 2022

Automating Software Engineering with Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24, 2022

Tele-EvalNet: A Low-Cost, Teleconsultation System for Home Based Rehabilitation of Stroke Survivors Using Multiscale CNN-ConvLSTM Architecture.

[BibT_eX]

[DOI]

Manivannan Muniyandi

Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022

2021

Tele-EvalNet: A Low-cost, Teleconsultation System for Home based Rehabilitation of Stroke Survivors using Multiscale CNN-LSTM Architecture.

[BibT_eX]

[DOI]

M. Manivannan

CoRR, 2021

Stateful Detection of Model Extraction Attacks.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Pre-trained Contextual Embedding of Source Code.

[BibT_eX]

[DOI]

CoRR, 2020

Learning and Evaluating Contextual Embedding of Source Code.

[BibT_eX]

[DOI]

Proceedings of the 37th International Conference on Machine Learning, 2020

ActiveThief: Model Extraction Using Active Learning and Unannotated Public Data.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Deep Learning for Bug-Localization in Student Programs.

[BibT_eX]

[DOI]

CoRR, 2019

A framework for the extraction of Deep Neural Networks by leveraging public data.

[BibT_eX]

[DOI]

CoRR, 2019

Chapter Seven - Event-Based Concurrency: Applications, Abstractions, and Analyses.

[BibT_eX]

[DOI]

Adv. Comput., 2019

Neural Attribution for Semantic Bug-Localization in Student Programs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Neural Program Repair by Jointly Learning to Localize and Repair.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Learning Representations, 2019

Deep Reinforcement Learning for Syntactic Error Repair in Student Programs.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Greybox fuzzing as a contextual bandits problem.

[BibT_eX]

[DOI]

Ketan Patil

CoRR, 2018

Deep Reinforcement Learning for Programming Language Correction.

[BibT_eX]

[DOI]

CoRR, 2018

Active Learning for Efficient Testing of Student Programs.

[BibT_eX]

[DOI]

Ishan Rastogi

Proceedings of the Artificial Intelligence in Education - 19th International Conference, 2018

2017

Static deadlock detection for asynchronous C# programs.

[BibT_eX]

[DOI]

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

Efficient computation of happens-before relation for event-driven programs.

[BibT_eX]

[DOI]

Pallavi Maiya

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

DeepFix: Fixing Common C Language Errors by Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Partial Order Reduction for Event-Driven Multi-threaded Programs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Semi-supervised verified feedback generation.

[BibT_eX]

[DOI]

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

Asynchrony-aware static analysis of Android applications.

[BibT_eX]

[DOI]

Ashish Mishra

Y. N. Srikant

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Efficient race detection in the presence of programmatic event loops.

[BibT_eX]

[DOI]

Shalini Kaleeswaran

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

2015

Non-deterministic transducer models of retransmission protocols over noisy channels.

[BibT_eX]

[DOI]

Jay Thakkar

Inf. Process. Lett., 2015

A Partial Order Reduction Technique for Event-driven Multi-threaded Programs.

[BibT_eX]

[DOI]

CoRR, 2015

P3: partitioned path profiling.

[BibT_eX]

[DOI]

Mohammed Afraz

Diptikalyan Saha

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

Rely/Guarantee Reasoning for Asynchronous Programs.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Mining Unit Tests for Discovery and Migration of Math APIs.

[BibT_eX]

[DOI]

Omesh Pandita

ACM Trans. Softw. Eng. Methodol., 2014

Race detection for Android applications.

[BibT_eX]

[DOI]

Pallavi Maiya

Rupak Majumdar

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

MUX: algorithm selection for software model checkers.

[BibT_eX]

[DOI]

Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

MintHint: automated synthesis of repair hints.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels.

[BibT_eX]

[DOI]

Jay Thakkar

Rajeev Alur

Proceedings of the Formal Techniques for Distributed Systems, 2013

Discovering Math APIs by Mining Unit Tests.

[BibT_eX]

[DOI]

Omesh Pandita

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

A Logic for Correlating Temporal Properties across Program Transformations

[BibT_eX]

[DOI]

CoRR, 2012

Static Analysis for Checking Data Format Compatibility of Programs.

[BibT_eX]

[DOI]

Pranavadatta Devaki

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2010

Representation dependence testing using program inversion.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

2009

Validation of GCC optimizers through trace generation.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2009

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.

[BibT_eX]

[DOI]

Sriram Sankaranarayanan

K. C. Shashidhar

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Ranking Automata and Games for Prioritized Requirements.

[BibT_eX]

[DOI]

Rajeev Alur

Gera Weiss

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2006

Structuring Optimizing Transformations and Proving Them Sound.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

A PVS Based Framework for Validating Compiler Optimizations.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2005

Heterogeneous Fixed Points with Application to Points-To Analysis.

[BibT_eX]

[DOI]