Raghavan Komondoor
Orcid: 0009-0005-8657-4658
According to our database1,
Raghavan Komondoor
authored at least 41 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 40th IEEE International Conference on Data Engineering, 2024
2023
Proceedings of the IEEE International Conference on Software Analysis, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation.
Proceedings of the Automated Technology for Verification and Analysis, 2023
2022
Proceedings of the IEEE International Conference on Web Services, 2022
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
2021
HDR-Fuzz: Detecting Buffer Overruns using AddressSanitizer Instrumentation and Fuzzing.
CoRR, 2021
GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Proceedings of the Programming Languages and Systems, 2021
2020
Proceedings of the ISEC 2020: 13th Innovations in Software Engineering Conference, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020
2019
Proceedings of the Fundamental Approaches to Software Engineering, 2019
2018
Proc. ACM Program. Lang., 2018
2017
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017
2016
Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016
2015
Two techniques to improve the precision of a demand-driven null-dereference verification approach.
Sci. Comput. Program., 2015
CoRR, 2015
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015
Proceedings of the 2015 IEEE International Conference on Software Maintenance and Evolution, 2015
2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis.
Proceedings of the FM 2014: Formal Methods, 2014
2013
Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis.
CoRR, 2013
Proceedings of the 20th Working Conference on Reverse Engineering, 2013
Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation.
Proceedings of the Static Analysis - 20th International Symposium, 2013
2012
Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012
Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012
2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
2010
A case study in matching service descriptions to implementations in an existing system.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010
2007
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007
2006
Technical forum: Using logical data models for understanding and transforming legacy business applications.
IBM Syst. J., 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
2003
Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003
2001
Proceedings of the Static Analysis, 8th International Symposium, 2001
Proceedings of the Programming Languages and Systems, 2001
2000
1999
Proceedings of the SIGMOD 1999, 1999