Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Context-sensitive program analysis as database queries.

M. Lam, J. Whaley, V. Livshits, M. Martin, D. Avots, M. Carbin, und C. Unkel. PODS, Seite 1-12. ACM, (2005)

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.

Michael Böhm

Michael Funk

Hon. -Prof. Dr. -Ing. Michael Bauer University of Stuttgart

Dr. Michael Wachowsky University of Stuttgart

Dr. phil. Michael Nerurkar University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks.C. Mendis, A. Renda, S. Amarasinghe, und M. Carbin. ICML, Volume 97 von Proceedings of Machine Learning Research, Seite 4505-4515. PMLR, (2019)Verifying quantitative reliability for programs that execute on unreliable hardware.M. Carbin, S. Misailovic, und M. Rinard. OOPSLA, Seite 33-52. ACM, (2013)Computable decision making on the reals and other spaces: via partiality and nondeterminism.B. Sherman, L. Sciarappa, A. Chlipala, und M. Carbin. LICS, Seite 859-868. ACM, (2018)Generalizable and interpretable learning for configuration extrapolation.Y. Ding, A. Pervaiz, M. Carbin, und H. Hoffmann. ESEC/SIGSOFT FSE, Seite 728-740. ACM, (2021)The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks.J. Frankle, und M. Carbin. ICLR, OpenReview.net, (2019)Context-sensitive program analysis as database queries.M. Lam, J. Whaley, V. Livshits, M. Martin, D. Avots, M. Carbin, und C. Unkel. PODS, Seite 1-12. ACM, (2005)Optimizing CNNs on Multicores for Scalability, Performance and Goodput.S. Rajbhandari, Y. He, O. Ruwase, M. Carbin, und T. Chilimbi. ASPLOS, Seite 267-280. ACM, (2017)Verified integrity properties for safe approximate program transformations.M. Carbin, D. Kim, S. Misailovic, und M. Rinard. PEPM, Seite 63-66. ACM, (2013)Detecting and Escaping Infinite Loops with Jolt.M. Carbin, S. Misailovic, M. Kling, und M. Rinard. ECOOP, Volume 6813 von Lecture Notes in Computer Science, Seite 609-633. Springer, (2011)Twist: sound reasoning for purity and entanglement in Quantum programs.C. Yuan, C. McNally, und M. Carbin. Proc. ACM Program. Lang., 6 (POPL): 1-32 (2022)