SANAD

2026

ICSE
On LLMs' Internal Representation of Code Correctness
Francisco Ribeiro, Claudio Spiess, Prem Devanbu, and Sarah Nadi
International Conference on Software Engineering (ICSE), 2026
IDE
MigMate: A VS Code Extension for LLM-based Library Migration of Python Projects
Matthias Kebede, May Mahmoud, Mohayeminul Islam, and Sarah Nadi
International Workshop on Integrated Development Environments (IDE), 2026
MSR
How do third-party Python libraries use type annotations?
Eric Asare and Sarah Nadi
International Conference on Mining Software Repositories (MSR), 2026
CHASE
Fast and Fleeting: Evaluating ChatGPT's Impact on Students' Computational Thinking Skills
May Mahmoud, Eric Asare, Nisa Shahid, Nourhan Sakr, and Sarah Nadi
International Conference on Cooperative and Human Aspects of Software Engineering (CHASE), 2026

2025

SANER
Evaluating the Effectiveness of LLMs in Fixing Maintainability Issues in Real-World Projects
Henrique Gomes Nunes, Eduardo Figueiredo, Larissa Rocha Soares, Sarah Nadi, Fischer Ferreira, and Geanderson E. dos Santos
International Conference on Software Analysis, Evolution and Reengineering (SANER), 2025
CASCON
Efficient Pointer Analysis via Def-Use Graph Pruning
Jiaqi He and Karim Ali
International Conference on Collaborative Advances in Software and Computing (CASCON), 2025
Programming
Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
Felipe Bañados Schwerter, Ronald Garcia, Reid Holmes, and Karim Ali
The Art, Science, and Engineering of Programming (Programming), 2025
SUSCOM
Does faster mean greener? Runtime and energy trade-offs in iOS applications with compiler optimizations
José Miguel Aragón-Jurado, Abdul Ali Bangash, Bernabé Dorronsoro, Karim Ali, Abram Hindle, and Patricia Ruiz
Sustainable Computing: Informatics and Systems (SUSCOM), 2025
CASCON
Detecting and Fixing API Misuses of Data Science Libraries Using Large Language Models
Akalanka Galappaththi, Francisco Ribeiro, and Sarah Nadi
International Conference on Collaborative Advances in Software and Computing (CASCON), 2025
ASE
Tool Demo
BuilDroid: A Self-Correcting LLM Agent for Automated Android Builds
Jaehyeon Kim, Rui Rua, and Karim Ali
International Conference on Automated Software Engineering (ASE), Tool Demo Track, 2025
ASE
An Empirical Study of Python Library Migration Using Large Language Models
Mohayeminul Islam, Ajay Kumar Jha, May Mahmoud, Ildar Akhmetov, and Sarah Nadi
Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025) (ASE), 2025
LEARNER
A Friend or a Foe? Evaluating ChatGPT's Impact on Students' Computational Thinking Skills
May Mahmoud, Eric Asare, Nourhan Sakr, and Sarah Nadi
International Workshop on Evaluation and Assessment in Software Engineers' Education and Training (LEARNER), 2025

2024

SCAM
Migrating Unit Tests Across Java Applications
Ajay Kumar Jha and Sarah Nadi
International Conference on Source Code Analysis and Manipulation (SCAM), 2024
FSE
Characterizing Python Library Migrations
Mohayeminul Islam, Ajay Kumar Jha, Ildar Akhmetov, and Sarah Nadi
International Conference on the Foundations of Software Engineering (FSE), 2024
MSR
Mining Challenge
Analyzing Developer Use of ChatGPT Generated Code in Open Source GitHub Projects
Balreet Grewal, Wentao Lu, Sarah Nadi, and Cor-Paul Bezemer
International Conference on Mining Software Repositories (MSR), Mining Challenge Track, 2024
ESEM
An Empirical Study of API Misuses of Data-Centric Libraries
Akalanka Galappaththi, Sarah Nadi, and Christoph Treude
International Symposium on Empirical Software Engineering and Measurement (ESEM), 2024

2023

SecDev
Securing Your Crypto-API Usage Through Tool Support - A Usability Study
Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Mira Mezini, Yasemin Acar, and Sascha Fahl
IEEE Secure Development Conference (SecDev), 2023
MSR
Data Showcase
PyMigBench: A Benchmark for Python Library Migration
Mohayeminul Islam, Ajay Kumar Jha, Sarah Nadi, and Ildar Akhmetov
International Conference on Mining Software Repositories (MSR), Data Showcase Track, 2023
TSE
Operation-Based Refactoring-Aware Merging: An Empirical Evaluation
Max Ellis, Sarah Nadi, and Danny Dig
IEEE Transactions on Software Engineering (TSE), 2023
ICSME
Industry
Finding an Optimal Set of Static Analyzers To Detect Software Vulnerabilities
Jiaqi He, Revan MacQueen, Natalie Bombardieri, Karim Ali, James Wright, and Cristina Cifuentes
International Conference on Software Maintenance and Evolution (ICSME), Industry Track, 2023
GAS
Exploring Quality Assurance Practices and Tools for Indie Games
Jeff Cho and Karim Ali
International Workshop on Games and Software Engineering (GAS), 2023
MSR
Evaluating Software Documentation Quality
Henry Tang and Sarah Nadi
International Conference on Mining Software Repositories (MSR), 2023
MSR
Energy Consumption Estimation of API-usage in Mobile Apps via Static Analysis
Abdul Ali Bangash, Kalvin Eng, Qasim Jamal, Karim Ali, and Abram Hindle
International Conference on Mining Software Repositories (MSR), 2023
ICSME
An Empirical Study on Bugs Inside PyTorch: A Replication Study
Sharon Chee Yin Ho, Vahid Majdinasab, Mohayeminul Islam, Diego Elias Costa, Emad Shihab, Foutse Khomh, Sarah Nadi, and Muhammad Raza
International Conference on Software Maintenance and Evolution (ICSME), 2023
TSE
An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation
Max Schäefer, Sarah Nadi, Aryaz Eghbali, and Frank Tip
IEEE Transactions on Software Engineering (TSE), 2023

2022

TSE
Why Do Software Developers Use Static Analysis Tools? A User-Centered Study of Developer Needs and Motivations
Lisa Nguyen Quang Do, James R. Wright, and Karim Ali
IEEE Transactions on Software Engineering (TSE), 2022
EMSE
Selecting Third-party Libraries: The Data Scientist's Perspective
Sarah Nadi and Nourhan Sakr
International Journal on Empirical Software Engineering (EMSE), 2022
EMSE
Reuse and Maintenance Practices among Divergent Forks in Three Software Ecosystems
John Businge, Moses Openja, Sarah Nadi, and Thorsten Berger
International Journal on Empirical Software Engineering (EMSE), 2022
ICSME
Industry
Mining Annotation Usage Rules: A Case Study with MicroProfile
Batyr Nuryyev, Ajay Kumar Jha, Sarah Nadi, Yee-Kang Chang, Emily Jiang, and Vijay Sundaresan
International Conference on Software Maintenance and Evolution (ICSME), Industry Track, 2022
MSR
Does This Apply to Me? An Empirical Study of Technical Context in Stack Overflow
Akalanka Galappaththi, Sarah Nadi, and Christoph Treude
International Conference on Mining Software Repositories (MSR), 2022
CACM
Designing UIs for Static Analysis Tools
Daniil Tiganov, Lisa Nguyen Quang Do, and Karim Ali
Communications of the ACM (CACM), 2022
MSR
An Empirical Evaluation of GitHub Copilot's Code Suggestions
Nhan Nguyen and Sarah Nadi
International Conference on Mining Software Repositories (MSR), 2022
CASCON
A Human-in-the-loop Approach to Generate Annotation Usage Rules: A Case Study with MicroProfile
Mansur Gulami, Ajay Kumar Jha, Sarah Nadi, Karim Ali, Emily Jiang, and Yee-Kang Chang
International Conference on Computer Science and Software Engineering (CASCON), 2022
ICSE
NIER
A Black Box Technique to Reduce Energy Consumption of Android Apps
Abdul Ali Bangash, Karim Ali, and Abram Hindle
International Conference on Software Engineering (ICSE), New Ideas and Emerging Results Track (NIER), 2022

2021

CASCON
U Can't Inline This!
Erick Ochoa, Cijie Xia, Karim Ali, Andrew Craik, and José Nelson Amaral
International Conference on Computer Science and Software Engineering (CASCON), 2021
EMSE
On Using Stack Overflow Comment-Edit Pairs to Recommend Code Maintenance Changes
Henry Tang and Sarah Nadi
International Journal on Empirical Software Engineering (EMSE), 2021
CASCON
Hotfixing Misuses of Crypto APIs in Java Programs
Kristen Newbury, Karim Ali, and Andrew Craik
International Conference on Computer Science and Software Engineering (CASCON), 2021
EMSE
FACER: An API Usage-based Code-example Recommender for Opportunistic Reuse
Shamsa Abid, Shafay Shamail, Hamid Abdul Basit, and Sarah Nadi
International Journal on Empirical Software Engineering (EMSE), 2021
ICSME
Energy Efficient Guidelines for iOS Core Location Framework
Abdul Ali Bangash, Daniil Tiganov, Karim Ali, and Abram Hindle
International Conference on Software Maintenance and Evolution (ICSME), 2021
ACM Queue
Designing UIs for Static Analysis Tools: Evaluating Tool Design Guidelines with SWAN
Daniil Tiganov, Lisa Nguyen Quang Do, and Karim Ali
ACM Queue (ACM Queue), 2021
TSE
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini
IEEE Transactions on Software Engineering (TSE), 2021
ICSE
SEIP
ConfigFix: Interactive Configuration Conflict Resolution for the Linux Kernel
Patrick Franz, Thorsten Berger, Ibrahim Fayaz, Sarah Nadi, and Evgeny Groshev
International Conference on Software Engineering (ICSE), Software Engineering in Practice Track (SEIP), 2021
ICSE
SEIP
Challenges of Implementing Software Variability in Eclipse OMR: An Interview Study
Batyr Nuryyev, Sarah Nadi, Nazim Uddin Bhuiyan, and Leonardo Bandareli
International Conference on Software Engineering (ICSE), Software Engineering in Practice Track (SEIP), 2021
TSE
A Study of Call Graph Construction for JVM-Hosted Languages
Karim Ali, Xioani Lai, Zhaoyi Luo, Ondřej Lhoták, Julian Dolby, and Frank Tip
IEEE Transactions on Software Engineering (TSE), 2021

2020

ESEC/FSE
Tool Demo
SWAN: A Static Analysis Framework for Swift
Daniil Tiganov, Jeff Cho, Karim Ali, and Julian Dolby
Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Tool Demo Track, 2020
EMSE
On the Time-Based Conclusion Stability of Software Defect Prediction Models
Abdul Ali Bangash, Hareem Sahar, Abram Hindle, and Karim Ali
International Journal on Empirical Software Engineering (EMSE), 2020
ESEC/FSE
LibComp: An IntelliJ Plugin for Comparing Java Libraries
Rehab El-Hajj and Sarah Nadi
Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2020
SANER
Essential Sentences for Navigating Stack Overflow
Sarah Nadi and Christoph Treude
International Conference on Software Analysis, Evolution and Reengineering (SANER), 2020
TSE
Debugging Static Analysis
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, and Eric Bodden
IEEE Transactions on Software Engineering (TSE), 2020
CGO
CogniCryptGEN: Generating Code for the Secure Usage of Crypto APIs
Stefan Krüger, Karim Ali, and Eric Bodden
International Symposium on Code Generation and Optimization (CGO), 2020
SCAM
Annotation practices in Android apps
Ajay Kumar Jha and Sarah Nadi
International Working Conference on Source Code Analysis & Manipulation (SCAM), 2020
SBES
A Semi-Automated Iterative Process for Detecting Feature Interactions
Larissa Rocha Soares, Ivan Machado, Eduardo Santana de Almeida, Christian Kästner, and Sarah Nadi
Brazilian Symposium on Software Engineering (SBES) (SBES), 2020
ICSME
A Large-scale Data Set and an Empirical Study of Docker Images Hosted on Docker Hub
Changyuan Lin, Sarah Nadi, and Hamzeh Khazaei
International Conference on Software Maintenance and Evolution (ICSME), 2020

2019

MSR
Mining Challenge
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, and Karim Ali
International Conference on Mining Software Repositories (MSR), Mining Challenge Track, 2019
HIPS
Toward an Analytical Performance Model to Select between GPU and CPU Execution
Artem Chikin, José Nelson Amaral, Karim Ali, and Ettore Tiotto
International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS), 2019
MSR
Scalable Software Merging Studies with MERGANSER
Moein Owhadi-Kareshk and Sarah Nadi
International Conference on Mining Software Repositories (MSR), 2019
ESEM
Predicting Merge Conflicts in Collaborative Software Development
Moein Owhadi-Kareshk, Sarah Nadi, and Julia Rubin
International Symposium on Empirical Software Engineering and Measurement (ESEM), 2019
MSR
Investigating Next-Steps in Static API-Misuse Detection
Sven Amann, Hoan Nguyen, Sarah Nadi, Tien Nguyen, and Mira Mezini
International Conference on Mining Software Repositories (MSR), 2019
POPL
ACM SIGPLAN Distinguished Paper Award
Context-, Flow-, and Field-Sensitive Data-Flow Analysis Using Synchronized Pushdown Systems
Johannes Späth, Karim Ali, and Eric Bodden
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2019
SANER
Are Refactorings to Blame? An Empirical Study of Refactorings in Merge Conflicts
Mehran Mahmoudi, Sarah Nadi, and Nikolaos Tsantalis
International Conference on Software Analysis, Evolution and Reengineering (SANER), 2019
MSR
Mining Challenge
Analyzing Comment-induced Updates on Stack Overflow
Abhishek Soni and Sarah Nadi
International Conference on Mining Software Repositories (MSR), Mining Challenge Track, 2019
MSR
Data Showcase
A Dataset of Non-Functional Bugs
Aida Radu and Sarah Nadi
nternational Conference on Mining Software Repositories (MSR), Data Showcase Track, 2019

2018

ICSE
NIER
Which library should I use? A metric-based comparison of software libraries
Fernando Lopez de la Mora and Sarah Nadi
International Conference on Software Engineering (ICSE), New Ideas and Emerging Results Track Track (NIER), 2018
VaMoS
VarXplorer: Lightweight Process for Dynamic Inspection of Feature Interactions
Larissa Rocha Soares, Jens Meinicke, Sarah Nadi, Christian Kästner, and Eduardo Santana de Almeida
International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), 2018
ICSE
Demonstrations
VISUFLOW: A Debugging Environment for Static Analyses
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, and Eric Bodden
International Conference on Software Engineering (ICSE), Demonstrations Track, 2018
SPLC
Industrial
Using Static Analysis to Support Variability Implementation Decisions in C++
Samer Al Masri, Sarah Nadi, Matthew Gaudet, Xiaoli Liang, and Robert W. Young
International Systems and Software Product Line Conference (SPLC), Industrial Track, 2018
MSR
The Android Update Problem: An Empirical Study
Mehran Mahmoudi and Sarah Nadi
International Conference on Mining Software Repositories (MSR), 2018
GPCE
Exploring Feature Interactions Without Specifications: A Controlled Experiment
Larissa Rocha Soares, Jens Meinicke, Sarah Nadi, Christian Kästner, and Eduardo Santana de Almeida
International Conference on Generative Programming: Concepts and Experiences (GPCE), 2018
ECOOP
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini
European Conference on Object-Oriented Programming (ECOOP), 2018
ICSME
Industry
Clone-Based Variability Management in the Android Ecosystem
John Businge, Openja Moses, Sarah Nadi, Engineer Bainomugisha, and Thorsten Berger
International Conference on Software Maintenance and Evolution (ICSME), Industry Track, 2018
PROMISE
An Empirical Study of Metric-based Comparisons of Software Libraries
Fernando Lopez de la Mora and Sarah Nadi
International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE), 2018
TSE
A Systematic Evaluation of Static API-Misuse Detectors
Sven Amann, Hoan A. Nguyen, Sarah Nadi, Tien N. Nguyen, and Mira Mezini
IEEE Transactions on Software Engineering (TSE), 2018

2017

CASCON
Position Paper
Software Variability Through C++ Static Polymorphsim: A Case Study of Challenges and Open Problems in Eclipse OMR
Samer Al Masri, Nazim Uddin Bhuiyan, Sarah Nadi, and Matthew Gaudet
International Conference on Computer Science and Software Engineering (CASCON), Position Paper Track, 2017
TSE
On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study
Guido Salvaneschi, Sebastian Proksch, Sven Amann, Sarah Nadi, and Mira Mezini
IEEE Transactions on Software Engineering (TSE), 2017
ISSTA
ACM SIGSOFT Distinguished Paper Award
Just-in-Time Static Analysis
Lisa Nguyen Quang Do, Karim Ali, Ben Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill
International Symposium on Software Testing and Analysis (ISSTA), 2017
OOPSLA
IDEal: Efficient and Precise Alias-Aware Dataflow Analysis
Johannes Späth, Karim Ali, and Eric Bodden
ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2017
SANER
Enriching In-IDE Process Information with Fine-grained Source Code History
Sebastian Proksch, Sarah Nadi, Sven Amann, and Mira Mezini
International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2017
SCAM
Detecting Security Vulnerabilities in Object-Oriented PHP Programs
Mona Nashaat, Karim Ali, and James Miller
International Conference on Source Code Analysis and Manipulation (SCAM), 2017
ASE
Tool Demo
CogniCrypt: Supporting Developers in using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
International Conference on Automated Software Engineering (ASE), Tool Demo Track, 2017
ICSE
Demonstrations
Cheetah: Just-in-Time Taint Analysis for Android Apps
Lisa Nguyen Quang Do, Karim Ali, Ben Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill
International Conference on Software Engineering (ICSE), Demonstrations Track, 2017
FSP
A Case for Better Integration of Host and Target Compilation When Using OpenCL for FPGAs
Taylor Lloyd, Artem Chikin, Erick Ochoa, Karim Ali, and José Nelson Amaral
International Workshop on FPGAs for Software Programmers (FSP), 2017

2016

VaMoS
Variability Modeling of Cryptographic Components (Clafer Experience Report)
Sarah Nadi and Stefan Krüger
International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), 2016
MSR
Data Showcase
MUBench: A Benchmark for API-Misuse Detectors
Sven Amann, Sarah Nadi, Hoan A. Nguyen, Tien N. Nguyen, and Mira Mezini
International Conference on Mining Software Repositories (MSR), Data Showcase Track, 2016
ICPC
Tool Demo
FeedBaG: An Interaction Tracker for Visual Studio
Sven Amann, Sebastian Proksch, and Sarah Nadi
International Conference on Program Comprehension (ICPC), Tool Demo Track, 2016
ASE
Evaluating the Evaluations of Code Recommender Systems: A Reality Check
Sebastian Proksch, Sven Amann, Sarah Nadi, and Mira Mezini
International Conference on Automated Software Engineering (ASE), 2016
ECOOP
Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden
European Conference on Object-Oriented Programming (ECOOP), 2016
SWAN
Addressing Scalability in API Method Call Analytics
Ervina Cergani, Sebastian Proksch, Sarah Nadi, and Mira Mezini
International Workshop on Software Analytics (SWAN), 2016
SANER
A Study of Visual Studio Usage in Practice
Sven Amann, Sebastian Proksch, Sarah Nadi, and Mira Mezini
International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2016
MSR
Data Showcase
A Dataset of Simplified Syntax Trees for C#
Sebastian Proksch, Sven Amann, Sarah Nadi, and Mira Mezini
International Conference on Mining Software Repositories (MSR), Data Showcase Track, 2016
ICSE
Jumping Through Hoops: Why do Java Developers Struggle with Cryptography APIs?
Sarah Nadi, Stefan Krüger, Mira Mezini, and Eric Bodden
International Conference on Software Engineering (ICSE), 2016

2015

TSE
Where do configuration constraints stem from? An extraction approach and an empirical study
Sarah Nadi, Thorsten Berger, Christian Käastner, and Krzysztof Czarnecki
IEEE Transactions on Software Engineering (TSE), 2015
TOSEM
Type-Based Call Graph Construction Algorithms for Scala
Karim Ali, Marianna Rapoport, Ondřej Lhoták, Julian Dolby, and Frank Tip
ACM Transactions on Software Engineering and Methodology (TOSEM), 2015
Onward!
Towards Secure Integration of Cryptographic Software
Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, and Mira Mezini
ACM SIGPLAN Symposium on New Ideas in Programming and Reflections on Software at SPLASH (Onward!), 2015
ECOOP
The Love/Hate Relationship with the C Preprocessor: An Interview Study
Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, and Rohit Gheyi
European Conference on Object-Oriented Programming (ECOOP), 2015
RELENG
Extracting Configuration Knowledge from Build Files with Symbolic Analysis
Shurui Zhou, Jafar Al-Kofahi, Tien N. Nguyen, Christian Kästner, and Sarah Nadi
International Workshop on Release Engineering (RELENG), 2015

2014

ICSE
Mining configuration constraints: Static analyses and empirical results
Sarah Nadi, Thorsten Berger, Christian Kästner, and Krzysztof Czarnecki
International Conference on Software Engineering (ICSE), 2014
ECOOP
Distinguished Artifact Award
Constructing Call Graphs of Scala Programs
Karim Ali, Marianna Rapoport, Ondřej Lhoták, Julian Dolby, and Frank Tip
European Conference on Object-Oriented Programming (ECOOP), 2014

2013

MSR
The MSR cookbook: Mining a decade of research
Hadi Hemmati, Sarah Nadi, Olga Baysal, Oleksii Kononenko, Wei Wang, Reid Holmes, and Michael W. Godfrey
Working Conference on Mining Software Repositories (MSR), 2013
JSEP
The Linux kernel: A case study of build system variability
Sarah Nadi and Richard C. Holt
Journal of Software: Evolution and Process (JSEP), 2013
MSR
Linux variability anomalies: What causes them and how do they get fixed?
Sarah Nadi, Christian Dietrich, Reinhard Tartler, Richard C. Holt, and Daniel Lohmann
Working Conference on Mining Software Repositories (MSR), 2013
ECOOP
Averroes: Whole-Program Analysis without the Whole Program
Karim Ali and Ondřej Lhoták
European Conference on Object-Oriented Programming (ECOOP), 2013
ICSE
Doctoral Symposium
A study of variability spaces in Open Source Software
Sarah Nadi
International Conference on Software Engineering (ICSE), Doctoral Symposium Track, 2013

2012

CSMR
Mining Kbuild to detect variability anomalies in Linux
Sarah Nadi and Richard C. Holt
European Conference on Software Maintenance and Reengineering (CSMR), 2012
ECOOP
Application-Only Call Graph Construction
Karim Ali and Ondřej Lhoták
European Conference on Object-Oriented Programming (ECOOP), 2012

2011

WCRE
Make it or break it: Mining anomalies from Linux Kbuild
Sarah Nadi and Richard C. Holt
Working Conference on Reverse Engineering (WCRE), 2011

2010

CSMR
Does the past say it all? Using history to predict change sets in a CMDB
Sarah Nadi, Richard C. Holt, and Serge Mankovskii
European Conference on Software Maintenance and Reengineering (CSMR), 2010

2009

GIIS
P2P-AIS: A P2P Artificial Immune Systems architecture for detecting DDoS flooding attacks
Karim Ali, Issam Aib, and Raoud Boutaba
IEEE Global Information Infrastructure Symposium (GIIS), 2009
CASCON
DRACA: Decision support for root cause analysis and change impact analysis for CMDBs
Sarah Nadi, Richard C. Holt, Ian Davis, and Serge Mankovskii
Conference of the Center for Advanced Studies on Collaborative Research (CASCON), 2009
GIIS
Applying Kernel Methods to Anomaly-based Intrusion Detection Systems
Karim Ali and Raouf Boutaba
IEEE Global Information Infrastructure Symposium (GIIS), 2009

2008

IJCSNS
A Java-Based programming language support of location management in pervasive systems
Sherif G. Aly, Sarah Nadi, and Karim Hamdan
International Journal of Computer Science and Network Security (IJCSNS), 2008