Programming languages and Formal Methods

@inproceedings{DBLP:conf/kbse/MukhopadhyaySKM24,

title = {Learning DNN Abstractions using Gradient Descent},

author = {Diganta Mukhopadhyay and Sanaa Siddiqui and Hrishikesh Karmarkar and Kumar Madhukar and Guy Katz},

editor = {Vladimir Filkov and Baishakhi Ray and Minghui Zhou},

url = {https://doi.org/10.1145/3691620.3695303},

doi = {10.1145/3691620.3695303},

year  = {2024},

date = {2024-01-01},

booktitle = {Proceedings of the 39th IEEE/ACM International Conference on Automated 

 Software Engineering, ASE 2024, Sacramento, CA, USA, October 27 

 - November 1, 2024},

pages = {2299–2303},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/indiaSE/Upadhyay0B24,

title = {Symbolic Verification of Mesh Commissioning Protocol of Thread},

author = {Pankaj Upadhyay and Subodh Sharma and Guangdong Bai},

editor = {Sujit Kumar Charkrabarti and Raghavan Komondoor and Raveendra Kumar Medicherla and Aseem Rastogi and Sudipto Ghosh},

url = {https://doi.org/10.1145/3641399.3641446},

doi = {10.1145/3641399.3641446},

year  = {2024},

date = {2024-01-01},

booktitle = {Proceedings of the 17th Innovations in Software Engineering Conference, 

 ISEC 2024, Bangalore, India, February 22-24, 2024},

pages = {27:1–27:4},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/apsec/KhannaSP23,

title = {Verifying Exception-Handling Code in Concurrent Libraries},

author = {Dhriti Khanna and Subodh Sharma and Rahul Purandare},

url = {https://doi.org/10.1109/APSEC60848.2023.00051},

doi = {10.1109/APSEC60848.2023.00051},

year  = {2023},

date = {2023-01-01},

booktitle = {30th Asia-Pacific Software Engineering Conference, APSEC 2023, Seoul, 

 Republic of Korea, December 4-7, 2023},

pages = {405–414},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/date/GoliaRM23,

title = {Synthesis with Explicit Dependencies},

author = {Priyanka Golia and Subhajit Roy and Kuldeep S. Meel},

url = {https://doi.org/10.23919/DATE56975.2023.10137282},

doi = {10.23919/DATE56975.2023.10137282},

year  = {2023},

date = {2023-01-01},

booktitle = {Design, Automation & Test in Europe Conference & Exhibition, 

 DATE 2023, Antwerp, Belgium, April 17-19, 2023},

pages = {1–6},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/issre/SiddiquiMM23,

title = {Towards Multi-Language Static Code Analysis},

author = {Sanaa Siddiqui and Ravindra Metta and Kumar Madhukar},

url = {https://doi.org/10.1109/ISSREW60843.2023.00051},

doi = {10.1109/ISSREW60843.2023.00051},

year  = {2023},

date = {2023-01-01},

booktitle = {34th IEEE International Symposium on Software Reliability Engineering, 

 ISSRE 2023 - Workshops, Florence, Italy, October 9-12, 2023},

pages = {81–82},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}