PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Sridharan, Manu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Safe stream-based programming with refinement types.

, , , und . ASE, Seite 565-576. ACM, (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.

Mattia Manucci University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores., , , , und . ASE, Seite 94-105. IEEE Computer Society, (2003)Multi-agent Q-learning and Regression Trees for Automated Pricing Decisions., und . ICML, Seite 927-934. Morgan Kaufmann, (2000)Alias Analysis: Beyond the Code.. Aliasing in Object-Oriented Programming, Volume 7850 von Lecture Notes in Computer Science, Springer, (2013)Alias Analysis for Object-Oriented Programs., , , , und . Aliasing in Object-Oriented Programming, Volume 7850 von Lecture Notes in Computer Science, Springer, (2013)IDAPro for IoT Malware analysis?, , , , und . CSET @ USENIX Security Symposium, USENIX Association, (2019)F4F: taint analysis of framework-based web applications., , , , , und . OOPSLA, Seite 1053-1068. ACM, (2011)A micromodularity mechanism., , und . ESEC / SIGSOFT FSE, Seite 62-73. ACM, (2001)Thin slicing., , und . PLDI, Seite 112-122. ACM, (2007)Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs., , , , , und . PLDI, Seite 258-269. ACM, (2002)Refactoring for reentrancy., , und . ESEC/SIGSOFT FSE, Seite 173-182. ACM, (2009)