A simplified java bytecode compilation system for resource-constrained embedded processors. - Carmen Badea; Alexandru Nicolau; Alexander V. Veidenbaum (CASES, 2007)

Impact of JVM superoperators on energy consumption in resource-constrained embedded systems. - Carmen Badea; Alexandru Nicolau; Alexander V. Veidenbaum (LCTES, 2008)

Using Cr-Y Components to Detect Tongue Protrusion Gestures. - Chris S. Crawford; Stephen W. Bailey; Carmen Badea; Juan E. Gilbert (CHI Extended Abstracts, 2015)

Do we still need physical monitors? An evaluation of the usability of AR virtual monitors for productivity work. - Leonardo Pavanatto Soares; Chris North 001; Doug A. Bowman; Carmen Badea; Richard Stoakley (VR, 2021)

Virtual monitors vs. physical monitors: an empirical comparison for productivity work. - Leonardo Pavanatto; Shakiba Davari; Carmen Badea; Richard Stoakley; Doug A. Bowman (Frontiers Virtual Real., 2023)

GEMS: Generative Expert Metric System through Iterative Prompt Priming. - Ti-Chung Cheng; Carmen Badea; Christian Bird; Thomas Zimmermann 001; Robert DeLine; Nicole Forsgren; Denae Ford (CoRR, 2024)

Can GPT-4 Replicate Empirical Software Engineering Research? - Jenny T. Liang; Carmen Badea; Christian Bird; Robert DeLine; Denae Ford; Nicole Forsgren; Thomas Zimmermann 001 (Proc. ACM Softw. Eng., 2024)

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; et al. (SEIP@ICSE, 2025)

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; et al. (SIGSOFT FSE Companion, 2025)