| 2026 | ICST | Towards LLMinating Performance Anti-Patterns in Android Apps. | Rui Rua, Karim Ali |
| 2026 | MSR | Where Do Smart Contract Security Analyzers Fall Short? | Tamer Abdelaziz, Salma Alsaghir, Karim Ali |
| 2023 | MSR | Energy Consumption Estimation of API-usage in Smartphone Apps via Static Analysis. | Abdul Ali Bangash, Kalvin Eng, Jamal Qasim, Karim Ali, Abram Hindle |
| 2022 | ICSE | Black Box Technique to Reduce Energy Consumption of Android Apps. | Abdul Ali Bangash, Karim Ali, Abram Hindle |
| 2020 | CGO | CogniCrypt | Stefan Krger, Karim Ali, Eric Bodden |
| 2020 | IECON | Energy Efficient Reduced Area Overhead Spin-Orbit Torque Non-Volatile SRAMs. | Karim Ali, Fei Li, Sunny Y. H. Lua, Chun-Huat Heng |
| 2019 | MSR | What do developers know about machine learning: a study of ML discussions on StackOverflow. | Abdul Ali Bangash, Hareem Sahar, Shaiful Alam Chowdhury, Alexander William Wong, Abram Hindle, Karim Ali |
| 2018 | ECOOP | CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. | Stefan Krger, Johannes Spth, Karim Ali, Eric Bodden, Mira Mezini |
| 2018 | ICSE | VISUFLOW: a debugging environment for static analyses. | Lisa Nguyen Quang Do, Stefan Krger, Patrick Hill, Karim Ali, Eric Bodden |
| 2017 | ICSE | Cheetah: just-in-time taint analysis for Android apps. | Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill |
| 2017 | ISSTA | Just-in-time static analysis. | Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill |
| 2017 | SCAM | Detecting Security Vulnerabilities in Object-Oriented PHP Programs. | Mona Nashaat, Karim Ali, James Miller |
| 2016 | ECOOP | Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. | Johannes Spth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden |
| 2015 | ICCV | Learning Deep Object Detectors from 3D Models. | Xingchao Peng, Baochen Sun, Karim Ali, Kate Saenko |
| 2015 | OOPSLA | Towards secure integration of cryptographic software. | Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini |
| 2014 | CVPR | Confidence-Rated Multiple Instance Boosting for Object Detection. | Karim Ali, Kate Saenko |
| 2014 | ECOOP | Constructing Call Graphs of Scala Programs. | Karim Ali, Marianna Rapoport, Ondrej Lhotk, Julian Dolby, Frank Tip |
| 2013 | ECOOP | Averroes: Whole-Program Analysis without the Whole Program. | Karim Ali, Ondrej Lhotk |
| 2012 | ECOOP | Application-Only Call Graph Construction. | Karim Ali, Ondrej Lhotk |
| 2012 | MICCAI | Learning Context Cues for Synapse Segmentation in EM Volumes. | Carlos J. Becker, Karim Ali, Graham Knott, Pascal Fua |
| 2012 | MICCAI | Data-Driven Visual Tracking in Retinal Microsurgery. | Raphael Sznitman, Karim Ali, Rogrio Richa, Russell H. Taylor, Gregory D. Hager, Pascal Fua |
| 2011 | CVPR | FlowBoost - Appearance learning from sparsely annotated video. | Karim Ali, David Hasler, Franois Fleuret |
| 2009 | ICCV | Joint pose estimator and feature learning for object detection. | Karim Ali, Franois Fleuret, David Hasler, Pascal Fua |