Autor der Publikation

Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis.

, , , , , und . Proc. ACM Program. Lang., 7 (PLDI): 539-564 (2023)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

DPAC: an infrastructure for dynamic program analysis of concurrency Java programs., , und . Middleware Doctoral Symposium, Seite 2:1-2:6. ACM, (2013)Large-Scale Wi-Fi Hotspot Classification via Deep Learning., , , , und . WWW (Companion Volume), Seite 857-858. ACM, (2017)A neural network based approach for the detection of faults in the brushless excitation of a synchronous motor., , , und . EIT, Seite 423-428. IEEE, (2009)Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications., , , , und . NPC, Volume 3222 von Lecture Notes in Computer Science, Seite 568-575. Springer, (2004)Cost-Sensitive Feature Selection by Optimizing F-Measures., , , , , und . CoRR, (2019)Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps., , , , , und . SANER, Seite 355-365. IEEE, (2019)VeriDroid: automating Android application verification., und . Middleware Doctoral Symposium, Seite 5:1-5:6. ACM, (2013)Characterizing and detecting performance bugs for smartphone applications., , und . ICSE, Seite 1013-1024. ACM, (2014)Bayesian kernel machine models for testing genetic pathway effects in prostate cancer prognosis., und . Stat. Anal. Data Min., 10 (6): 378-392 (2017)Reliability Analysis Using Chaotic Particle Swarm Optimization., , , und . Qual. Reliab. Eng. Int., 31 (8): 1537-1552 (2015)