Follow
Miguel Velez
Miguel Velez
Google
Verified email at alumni.cmu.edu - Homepage
Title
Cited by
Cited by
Year
Transfer learning for performance modeling of configurable systems: An exploratory analysis
P Jamshidi, N Siegmund, M Velez, C Kästner, A Patel, Y Agarwal
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
1272017
Transfer learning for improving model predictions in highly configurable software
P Jamshidi, M Velez, C Kästner, N Siegmund, P Kawthekar
2017 IEEE/ACM 12th International Symposium on Software Engineering for …, 2017
1202017
Learning to sample: Exploiting similarities across environments to learn performance models for configurable systems
P Jamshidi, M Velez, C Kästner, N Siegmund
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
852018
White-box analysis over machine learning: Modeling performance of configurable systems
M Velez, P Jamshidi, N Siegmund, S Apel, C Kästner
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
512021
Configcrusher: Towards white-box performance analysis for configurable systems
M Velez, P Jamshidi, F Sattler, N Siegmund, S Apel, C Kästner
Automated Software Engineering 27, 265-300, 2020
342020
On debugging the performance of configurable software systems: Developer needs and tailored tool support
M Velez, P Jamshidi, N Siegmund, S Apel, C Kästner
Proceedings of the 44th International Conference on Software Engineering …, 2022
172022
Current and Future Relationships Between Robots and Humans
M Velez
http://www.cs.cmu.edu/~mvelezce/, 2015
42015
Improving Bitmap Execution Performance Using Column-Based Metadata
M Velez, J Sawin, A Ingerson, D Chiu
Future Internet of Things and Cloud (FiCloud), 2016 IEEE 4th International …, 2016
22016
Debugging the Performance of Configurable Software Systems: A Human-Centered White-box Approach
M Velez Cevallos
Carnegie Mellon University, 2021
2021
White-box Analysis for Modeling and Debugging the Performance of Configurable Systems
M Velez
2020
Improving the Efficiency of CHA through Parallelization
M Velez, J Sawin
http://www.cs.cmu.edu/~mvelezce/, 2016
2016
Faster WAH Compression Querying through the Use of Metadata
M Velez, J Sawin
http://www.cs.cmu.edu/~mvelezce/, 2015
2015
Simpler Implementation of Sketches through Enhanced Expressiveness
M Velez, A Solar-Lezama
http://www.cs.cmu.edu/~mvelezce/, 2015
2015
Extending SMILES to Encode Reaction Mechanisms
M Velez, P Gittins, J Sawin
http://www.cs.cmu.edu/~mvelezce/, 2014
2014
2021 Theses by Author
A AFZAL, S BHAGAVATULA, H HABIB, C KINNEER, D SMULLEN, ...
AFZAL, Afsoon CMU-ISR-21-105 BHAGAVATULA, Sruti CMU-ISR-21-106 CARLEY, Kathleen M. CMU-ISR-21-110, CMU-ISR-21-113 DOBSON, Geoffrey B. CMU-ISR-21-113
H HABIB, C KING, C KINNEER, S LEPIRD, D SMULLEN, M SOTO, ...
External Reviewers of ICSE 2020
S Abualhaija, J Aldrich, C Arora, S Benton, S Blackshear, T Brennan, ...
The system can't perform the operation now. Try again later.
Articles 1–17