Carmen Badea

Principal Research Software Engineer

Publications

View by:

- “To Boldly Go Where No One Has Gone Before” What Has AI Let Developers Unlock?
  
  Rudrajit Choudhuri, Jenna Butler, Christian Bird, Carmen Badea, Brian Houck, Anita Sarma
  
  October 2026
  
  arXiv | October 2026
  
  Publication
- (When) Should a Software Factory be Lights-off? Benchmarking Code Review Agents on Bug Detection
  
  Chenyang Yang, Hao He, Ti-Chung Cheng, Jenna Butler, Emerson Murphy-Hill, Carmen Badea, Christian Bird
  
  October 2026
  
  Publication
- AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work
  
  Rudrajit Choudhuri, Carmen Badea, Christian Bird, Jenna Butler, Robert DeLIne, Brian Houck
  
  ICSE-SEIP '26: Proceedings of the IEEE/ACM 48th International Conference on Software Engineering: Software Engineering in Practice | July 2026, pp. 428-439
  
  Publication
- You Shall Not Pass! Where and Why Developers Draw The Line on AI Autonomy
  
  Rudrajit Choudhuri, Christian Bird, Carmen Badea, M. Gerosa, Anita Sarma
  
  July 2026
  
  arXiv | July 2026
  
  Publication
- Revealing the Dark Matter: Connecting Tacit and System Knowledge in Human-AI Collaborations
  
  Katherine R. Dearstyne, Christian Bird, Carmen Badea, Robert DeLine
  
  Proceedings of the IEEE/ACM 48th International Conference on Software Engineering (ICSE-NIER '26) | July 2026, pp. 171-175
  
  NIER@ICSE
  
  Publication
- To Copilot and Beyond: 22 AI Systems Developers Want Built
  
  Rudrajit Choudhuri, Christian Bird, Carmen Badea, Anita Sarma
  
  ICSME'26 - Industry Track | April 2026
  
  Distinguished Paper Award, ICSME Industry Track
  
  Publication
- Using Large Language Models to Support the Workflow of Differential Testing
  
  Arun Krishna Vajjala, Ajay Krishna Vajjala, Carmen Badea, Christian Bird, Jade D'Souza, Robert DeLine, Mikhail O. Demyanyuk, Jason Entenmann, Nicole Forsgren, Aliaksandr Hramadski, Haris Mohammad, Sandeepan Sanyal, Oleg Surmachev, Thomas Zimmermann
  
  Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering (FSE '25) | July 2025, pp. 355-365
  
  SIGSOFT FSE Companion
  
  Publication PDF
- Enhancing Differential Testing: LLM-Powered Automation in Release Engineering
  
  Ajay Krishna Vajjala, Arun Krishna Vajjala, Carmen Badea, Christian Bird, Jade D'Souza, Robert DeLine, Mikhail O. Demyanyuk, Jason Entenmann, Nicole Forsgren, Aliaksandr Hramadski, Haris Mohammad, Sandeepan Sanyal, Oleg Surmachev, Thomas Zimmermann
  
  2025 IEEE/ACM 47th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) | April 2025, pp. 607-617
  
  Publication
- GEMS: Generative Expert Metric System through Iterative Prompt Priming
  
  Ti-Chung Cheng, Carmen Badea, Christian Bird, Tom Zimmermann, Robert DeLIne, Nicole Forsgren, Denae Ford
  
  MSR-TR-2024-31 | August 2024
  
  Published by Microsoft
  
  PDF
- Can GPT-4 Replicate Empirical Software Engineering Research?
  
  Jenny Liang, Carmen Badea, Christian Bird, Robert DeLine, Denae Ford, Nicole Forsgren, Tom Zimmermann
  
  2024 Foundations of Software Engineering | July 2024
  
  Publication

- “To Boldly Go Where No One Has Gone Before” What Has AI Let Developers Unlock?
  
  Rudrajit Choudhuri, Jenna Butler, Christian Bird, Carmen Badea, Brian Houck, Anita Sarma
  
  October 2026
  
  arXiv | October 2026
  
  Publication
- AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work
  
  Rudrajit Choudhuri, Carmen Badea, Christian Bird, Jenna Butler, Robert DeLIne, Brian Houck
  
  ICSE-SEIP '26: Proceedings of the IEEE/ACM 48th International Conference on Software Engineering: Software Engineering in Practice | July 2026, pp. 428-439
  
  Publication
- Revealing the Dark Matter: Connecting Tacit and System Knowledge in Human-AI Collaborations
  
  Katherine R. Dearstyne, Christian Bird, Carmen Badea, Robert DeLine
  
  Proceedings of the IEEE/ACM 48th International Conference on Software Engineering (ICSE-NIER '26) | July 2026, pp. 171-175
  
  NIER@ICSE
  
  Publication
- To Copilot and Beyond: 22 AI Systems Developers Want Built
  
  Rudrajit Choudhuri, Christian Bird, Carmen Badea, Anita Sarma
  
  ICSME'26 - Industry Track | April 2026
  
  Distinguished Paper Award, ICSME Industry Track
  
  Publication
- GEMS: Generative Expert Metric System through Iterative Prompt Priming
  
  Ti-Chung Cheng, Carmen Badea, Christian Bird, Tom Zimmermann, Robert DeLIne, Nicole Forsgren, Denae Ford
  
  MSR-TR-2024-31 | August 2024
  
  Published by Microsoft
  
  PDF
- Can GPT-4 Replicate Empirical Software Engineering Research?
  
  Jenny Liang, Carmen Badea, Christian Bird, Robert DeLine, Denae Ford, Nicole Forsgren, Tom Zimmermann
  
  2024 Foundations of Software Engineering | July 2024
  
  Publication
- “To Boldly Go Where No One Has Gone Before” What Has AI Let Developers Unlock?
  
  Rudrajit Choudhuri, Jenna Butler, Christian Bird, Carmen Badea, Brian Houck, Anita Sarma
  
  October 2026
  
  arXiv | October 2026
  
  Publication
- You Shall Not Pass! Where and Why Developers Draw The Line on AI Autonomy
  
  Rudrajit Choudhuri, Christian Bird, Carmen Badea, M. Gerosa, Anita Sarma
  
  July 2026
  
  arXiv | July 2026
  
  Publication
- AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work
  
  Rudrajit Choudhuri, Carmen Badea, Christian Bird, Jenna Butler, Robert DeLIne, Brian Houck
  
  ICSE-SEIP '26: Proceedings of the IEEE/ACM 48th International Conference on Software Engineering: Software Engineering in Practice | July 2026, pp. 428-439
  
  Publication
- Revealing the Dark Matter: Connecting Tacit and System Knowledge in Human-AI Collaborations
  
  Katherine R. Dearstyne, Christian Bird, Carmen Badea, Robert DeLine
  
  Proceedings of the IEEE/ACM 48th International Conference on Software Engineering (ICSE-NIER '26) | July 2026, pp. 171-175
  
  NIER@ICSE
  
  Publication
- Using Large Language Models to Support the Workflow of Differential Testing
  
  Arun Krishna Vajjala, Ajay Krishna Vajjala, Carmen Badea, Christian Bird, Jade D'Souza, Robert DeLine, Mikhail O. Demyanyuk, Jason Entenmann, Nicole Forsgren, Aliaksandr Hramadski, Haris Mohammad, Sandeepan Sanyal, Oleg Surmachev, Thomas Zimmermann
  
  Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering (FSE '25) | July 2025, pp. 355-365
  
  SIGSOFT FSE Companion
  
  Publication PDF
- Enhancing Differential Testing: LLM-Powered Automation in Release Engineering
  
  Ajay Krishna Vajjala, Arun Krishna Vajjala, Carmen Badea, Christian Bird, Jade D'Souza, Robert DeLine, Mikhail O. Demyanyuk, Jason Entenmann, Nicole Forsgren, Aliaksandr Hramadski, Haris Mohammad, Sandeepan Sanyal, Oleg Surmachev, Thomas Zimmermann
  
  2025 IEEE/ACM 47th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) | April 2025, pp. 607-617
  
  Publication
- (When) Should a Software Factory be Lights-off? Benchmarking Code Review Agents on Bug Detection
  
  Chenyang Yang, Hao He, Ti-Chung Cheng, Jenna Butler, Emerson Murphy-Hill, Carmen Badea, Christian Bird
  
  October 2026
  
  Publication
- You Shall Not Pass! Where and Why Developers Draw The Line on AI Autonomy
  
  Rudrajit Choudhuri, Christian Bird, Carmen Badea, M. Gerosa, Anita Sarma
  
  July 2026
  
  arXiv | July 2026
  
  Publication
- AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work
  
  Rudrajit Choudhuri, Carmen Badea, Christian Bird, Jenna Butler, Robert DeLIne, Brian Houck
  
  ICSE-SEIP '26: Proceedings of the IEEE/ACM 48th International Conference on Software Engineering: Software Engineering in Practice | July 2026, pp. 428-439
  
  Publication
- Revealing the Dark Matter: Connecting Tacit and System Knowledge in Human-AI Collaborations
  
  Katherine R. Dearstyne, Christian Bird, Carmen Badea, Robert DeLine
  
  Proceedings of the IEEE/ACM 48th International Conference on Software Engineering (ICSE-NIER '26) | July 2026, pp. 171-175
  
  NIER@ICSE
  
  Publication
- To Copilot and Beyond: 22 AI Systems Developers Want Built
  
  Rudrajit Choudhuri, Christian Bird, Carmen Badea, Anita Sarma
  
  ICSME'26 - Industry Track | April 2026
  
  Distinguished Paper Award, ICSME Industry Track
  
  Publication
- Using Large Language Models to Support the Workflow of Differential Testing
  
  Arun Krishna Vajjala, Ajay Krishna Vajjala, Carmen Badea, Christian Bird, Jade D'Souza, Robert DeLine, Mikhail O. Demyanyuk, Jason Entenmann, Nicole Forsgren, Aliaksandr Hramadski, Haris Mohammad, Sandeepan Sanyal, Oleg Surmachev, Thomas Zimmermann
  
  Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering (FSE '25) | July 2025, pp. 355-365
  
  SIGSOFT FSE Companion
  
  Publication PDF
- Enhancing Differential Testing: LLM-Powered Automation in Release Engineering
  
  Ajay Krishna Vajjala, Arun Krishna Vajjala, Carmen Badea, Christian Bird, Jade D'Souza, Robert DeLine, Mikhail O. Demyanyuk, Jason Entenmann, Nicole Forsgren, Aliaksandr Hramadski, Haris Mohammad, Sandeepan Sanyal, Oleg Surmachev, Thomas Zimmermann
  
  2025 IEEE/ACM 47th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) | April 2025, pp. 607-617
  
  Publication
- GEMS: Generative Expert Metric System through Iterative Prompt Priming
  
  Ti-Chung Cheng, Carmen Badea, Christian Bird, Tom Zimmermann, Robert DeLIne, Nicole Forsgren, Denae Ford
  
  MSR-TR-2024-31 | August 2024
  
  Published by Microsoft
  
  PDF
- Can GPT-4 Replicate Empirical Software Engineering Research?
  
  Jenny Liang, Carmen Badea, Christian Bird, Robert DeLine, Denae Ford, Nicole Forsgren, Tom Zimmermann
  
  2024 Foundations of Software Engineering | July 2024
  
  Publication

- “To Boldly Go Where No One Has Gone Before” What Has AI Let Developers Unlock?
  
  Rudrajit Choudhuri, Jenna Butler, Christian Bird, Carmen Badea, Brian Houck, Anita Sarma
  
  October 2026
  
  arXiv | October 2026
  
  Publication
- You Shall Not Pass! Where and Why Developers Draw The Line on AI Autonomy
  
  Rudrajit Choudhuri, Christian Bird, Carmen Badea, M. Gerosa, Anita Sarma
  
  July 2026
  
  arXiv | July 2026
  
  Publication
- (When) Should a Software Factory be Lights-off? Benchmarking Code Review Agents on Bug Detection
  
  Chenyang Yang, Hao He, Ti-Chung Cheng, Jenna Butler, Emerson Murphy-Hill, Carmen Badea, Christian Bird
  
  October 2026
  
  Publication
- To Copilot and Beyond: 22 AI Systems Developers Want Built
  
  Rudrajit Choudhuri, Christian Bird, Carmen Badea, Anita Sarma
  
  ICSME'26 - Industry Track | April 2026
  
  Distinguished Paper Award, ICSME Industry Track
  
  Publication
- Enhancing Differential Testing: LLM-Powered Automation in Release Engineering
  
  Ajay Krishna Vajjala, Arun Krishna Vajjala, Carmen Badea, Christian Bird, Jade D'Souza, Robert DeLine, Mikhail O. Demyanyuk, Jason Entenmann, Nicole Forsgren, Aliaksandr Hramadski, Haris Mohammad, Sandeepan Sanyal, Oleg Surmachev, Thomas Zimmermann
  
  2025 IEEE/ACM 47th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) | April 2025, pp. 607-617
  
  Publication
- Can GPT-4 Replicate Empirical Software Engineering Research?
  
  Jenny Liang, Carmen Badea, Christian Bird, Robert DeLine, Denae Ford, Nicole Forsgren, Tom Zimmermann
  
  2024 Foundations of Software Engineering | July 2024
  
  Publication
- AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work
  
  Rudrajit Choudhuri, Carmen Badea, Christian Bird, Jenna Butler, Robert DeLIne, Brian Houck
  
  ICSE-SEIP '26: Proceedings of the IEEE/ACM 48th International Conference on Software Engineering: Software Engineering in Practice | July 2026, pp. 428-439
  
  Publication
- Revealing the Dark Matter: Connecting Tacit and System Knowledge in Human-AI Collaborations
  
  Katherine R. Dearstyne, Christian Bird, Carmen Badea, Robert DeLine
  
  Proceedings of the IEEE/ACM 48th International Conference on Software Engineering (ICSE-NIER '26) | July 2026, pp. 171-175
  
  NIER@ICSE
  
  Publication
- Using Large Language Models to Support the Workflow of Differential Testing
  
  Arun Krishna Vajjala, Ajay Krishna Vajjala, Carmen Badea, Christian Bird, Jade D'Souza, Robert DeLine, Mikhail O. Demyanyuk, Jason Entenmann, Nicole Forsgren, Aliaksandr Hramadski, Haris Mohammad, Sandeepan Sanyal, Oleg Surmachev, Thomas Zimmermann
  
  Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering (FSE '25) | July 2025, pp. 355-365
  
  SIGSOFT FSE Companion
  
  Publication PDF
- Enhancing Differential Testing: LLM-Powered Automation in Release Engineering
  
  Ajay Krishna Vajjala, Arun Krishna Vajjala, Carmen Badea, Christian Bird, Jade D'Souza, Robert DeLine, Mikhail O. Demyanyuk, Jason Entenmann, Nicole Forsgren, Aliaksandr Hramadski, Haris Mohammad, Sandeepan Sanyal, Oleg Surmachev, Thomas Zimmermann
  
  2025 IEEE/ACM 47th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) | April 2025, pp. 607-617
  
  Publication
- Revealing the Dark Matter: Connecting Tacit and System Knowledge in Human-AI Collaborations
  
  Katherine R. Dearstyne, Christian Bird, Carmen Badea, Robert DeLine
  
  Proceedings of the IEEE/ACM 48th International Conference on Software Engineering (ICSE-NIER '26) | July 2026, pp. 171-175
  
  NIER@ICSE
  
  Publication
- Using Large Language Models to Support the Workflow of Differential Testing
  
  Arun Krishna Vajjala, Ajay Krishna Vajjala, Carmen Badea, Christian Bird, Jade D'Souza, Robert DeLine, Mikhail O. Demyanyuk, Jason Entenmann, Nicole Forsgren, Aliaksandr Hramadski, Haris Mohammad, Sandeepan Sanyal, Oleg Surmachev, Thomas Zimmermann
  
  Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering (FSE '25) | July 2025, pp. 355-365
  
  SIGSOFT FSE Companion
  
  Publication PDF
- GEMS: Generative Expert Metric System through Iterative Prompt Priming
  
  Ti-Chung Cheng, Carmen Badea, Christian Bird, Tom Zimmermann, Robert DeLIne, Nicole Forsgren, Denae Ford
  
  MSR-TR-2024-31 | August 2024
  
  Published by Microsoft
  
  PDF

Carmen Badea

Publications

“To Boldly Go Where No One Has Gone Before” What Has AI Let Developers Unlock?

(When) Should a Software Factory be Lights-off? Benchmarking Code Review Agents on Bug Detection

AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work

You Shall Not Pass! Where and Why Developers Draw The Line on AI Autonomy

Revealing the Dark Matter: Connecting Tacit and System Knowledge in Human-AI Collaborations

To Copilot and Beyond: 22 AI Systems Developers Want Built

Using Large Language Models to Support the Workflow of Differential Testing

Enhancing Differential Testing: LLM-Powered Automation in Release Engineering

GEMS: Generative Expert Metric System through Iterative Prompt Priming

Can GPT-4 Replicate Empirical Software Engineering Research?

“To Boldly Go Where No One Has Gone Before” What Has AI Let Developers Unlock?

AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work

Revealing the Dark Matter: Connecting Tacit and System Knowledge in Human-AI Collaborations

To Copilot and Beyond: 22 AI Systems Developers Want Built

GEMS: Generative Expert Metric System through Iterative Prompt Priming

Can GPT-4 Replicate Empirical Software Engineering Research?

“To Boldly Go Where No One Has Gone Before” What Has AI Let Developers Unlock?

You Shall Not Pass! Where and Why Developers Draw The Line on AI Autonomy

AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work

Revealing the Dark Matter: Connecting Tacit and System Knowledge in Human-AI Collaborations

Using Large Language Models to Support the Workflow of Differential Testing

Enhancing Differential Testing: LLM-Powered Automation in Release Engineering

(When) Should a Software Factory be Lights-off? Benchmarking Code Review Agents on Bug Detection

You Shall Not Pass! Where and Why Developers Draw The Line on AI Autonomy

AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work

Revealing the Dark Matter: Connecting Tacit and System Knowledge in Human-AI Collaborations

To Copilot and Beyond: 22 AI Systems Developers Want Built

Using Large Language Models to Support the Workflow of Differential Testing

Enhancing Differential Testing: LLM-Powered Automation in Release Engineering

GEMS: Generative Expert Metric System through Iterative Prompt Priming

Can GPT-4 Replicate Empirical Software Engineering Research?

“To Boldly Go Where No One Has Gone Before” What Has AI Let Developers Unlock?

You Shall Not Pass! Where and Why Developers Draw The Line on AI Autonomy

(When) Should a Software Factory be Lights-off? Benchmarking Code Review Agents on Bug Detection

To Copilot and Beyond: 22 AI Systems Developers Want Built

Enhancing Differential Testing: LLM-Powered Automation in Release Engineering

Can GPT-4 Replicate Empirical Software Engineering Research?

AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work

Revealing the Dark Matter: Connecting Tacit and System Knowledge in Human-AI Collaborations

Using Large Language Models to Support the Workflow of Differential Testing

Enhancing Differential Testing: LLM-Powered Automation in Release Engineering

Revealing the Dark Matter: Connecting Tacit and System Knowledge in Human-AI Collaborations

Using Large Language Models to Support the Workflow of Differential Testing

GEMS: Generative Expert Metric System through Iterative Prompt Priming