( en | de | ru )

 

Disambiguierung von "Komondoor, Raghavan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Refinement in object-sensitivity points-to analysis via slicing.

, , und . Proc. ACM Program. Lang., 2 (OOPSLA): 142:1-142:27 (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Raghavan Vallur

Sarada Raghavan

Raghavan Chinnadurai

 

Weitere Publikationen von Autoren mit dem selben Namen

Eliminating duplication in source code via procedure extraction, und . Technical Report 1461, UW-Madison Dept. of Computer Sciences, (Dezember 2002)Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis., , und . FM, Volume 8442 von Lecture Notes in Computer Science, Seite 335-350. Springer, (2014)A case study in matching service descriptions to implementations in an existing system., , , und . ICSM, Seite 1-10. IEEE Computer Society, (2010)Effective, Automatic Procedure Extraction., und . IWPC, Seite 33-43. IEEE Computer Society, (2003)Dependent Types for Program Understanding., , , und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 157-173. Springer, (2005)GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces., , und . ESEC/SIGSOFT FSE, Seite 1585-1589. ACM, (2021)Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation.. SAS, Volume 7935 von Lecture Notes in Computer Science, Seite 259-282. Springer, (2013)Semantics-Preserving Procedure Extraction., und . POPL, Seite 155-169. ACM, (2000)Kondo: Efficient Provenance-Driven Data Debloating., , , , , und . ICDE, Seite 4965-4978. IEEE, (2024)Recovering Data Models via Guarded Dependences., und . WCRE, Seite 110-119. IEEE Computer Society, (2007)