Miguel Velez

Ph.D. Student in Software Engineering
Carnegie Mellon University
Institute for Software Research
 
mvelezce [at] cs.cmu.edu
 
Miguel Velez
 
 

Research Overview

 
My research interest is in using static and dynamic program analyses to investigate the performance behavior of configurable systems. My advisor is Christian Kästner.
 

Education

2016 - Present
Doctor of Philosophy in Software Engineering, Carnegie Mellon University, Pittsburgh, PA, USA.
 
Advisor: Christian Kästner. Thesis Topic: White-Box Analysis of Configurable Systems.
2016 - 2020
Master of Software Engineering, Carnegie Mellon University, Pittsburgh, PA, USA.
2010 - 2015
Bachelor of Arts in Computer Science (Physics minor), Summa Cum Laude, University of St. Thomas, St. Paul, MN, USA.
 
Major and Minor GPA: 4.00/4.00. Cumulative GPA: 3.99/4.00.
Advisor: Patrick Jarvis. Summa Cum Laude paper: “Current and Future Relationships Between Robots and Humans".
 

Publications

 

Refereed Journal Articles:

ASEJ'20
M. Velez, P. Jamshidi, F. Sattler, N. Siegmund, S. Apel, and C. Kästner. “ConfigCrusher: Towards White-Box Performance Analysis for Configurable Systems”. In Automated Software Engineering -- An Internation Journal, July 2020. [PDF]
 
 
 

Refereed Conference Papers:

ICSE '21
M. Velez, P. Jamshidi, N. Siegmund, S. Apel, and C. Kästner. “White-Box Analysis over Machine Learning: Modeling Performance of Configurable Systems”. In Proc. Int’l Conf. Software Engineering (ICSE). IEEE, May 2021. [PDF]
FSE '18
P. Jamshidi, M. Velez, C. Kästner, and N. Siegmund. “Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems”. In Proc. Int’l Symp. Foundations of Software Engineering (FSE). ACM, Nov. 2018. (21% acceptance rate). [PDF]
ASE '17
P. Jamshidi, N. Siegmund, M. Velez, C. Kästner, A. Patel, Y. Agarwal. “Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis”. In Proc. Int'l Conf. Automated Software Engineering (ASE). ACM, Oct 2017. (21% acceptance rate). [PDF]
SEAMS '17
P. Jamshidi, M. Velez, C. Kästner, N. Siegmund, and P. Kawthekar. “Transfer Learning for Improving Model Predictions in Highly Configurable Software”. In Proc. Int’l Symp. Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE, May 2017. (23% acceptance rate). [PDF] [Slides]
FiCloud '16
M. Velez, J. Sawin, A. Ingerson, and D. Chiu. “Improving Bitmap Execution Performance Using Column-Based Metadata”. In Int’l Conf. Future Internet of Things and Cloud (FiCloud). IEEE, Aug. 2016. (30% acceptance rate). [PDF]
 
 
 

Technical Reports:

arXiv:1905.02066
M. Velez, P. Jamshidi, F. Sattler, N. Siegmund, S. Apel, and C. Kästner. “ConfigCrusher: White-Box Performance Analysis for Configurable Systems”. Technical Report. 1905.02066. arXiv, May 2019. [PDF]
 
 
 

Ph.D. Thesis Proposal:

Ph.D. Thesis Proposal
M. Velez. “White-box Analysis for Modeling and Debugging the Performance of Configurable Systems”, Carnegie Mellon University. Dec. 2020. [PDF] [Slides] [Poster]
 
 
 

Miscellaneous:

BRASS Meet. '17
M. Velez, P. Jamshidi, C. Kästner, N. Siegmund, F. Sattler, and S. Apel. "White-Box Performance Discovery". BRASS PI Meeting, November 2017. [Poster]
UST '16
M. Velez and J. Sawin. Improving the Efficiency of CHA through Parallelization. Inquiry at St. Thomas, May 2016. [PDF] [Poster]
CCSC:MW '15
M. Velez and J. Sawin. Faster WAH Compression Querying through the Use of Metadata. Consortium for Computing Sciences in Colleges Midwest Region 2015, October 2015. 1st place Discovery Track [PDF] [Poster]
MIT '15
M. Velez and A. Solar-Lezama. Simpler Implementation of Sketches through Enhanced Expressiveness. MIT Summer Research Poster Session 2015, August 2015. [PDF] [Poster]
UST '15
M. Velez. Current and Future Relationships Between Robots and Humans. Summa Cum Laude Paper, April 2015. [PDF]
UST '14
M. Velez, P. Gittins, and J. Sawin. Extending SMILES to Encode Reaction Mechanisms. Inquiry at St. Thomas, May 2014. [PDF] [Poster]
 

Research Experience

2016 - Present
Graduate Research Assistant, Carnegie Mellon University, Pittsburgh, PA, USA.
Spring 2019
Teaching Assistant - Analysis of Software Artifacts, Carnegie Mellon University, Pittsburgh, PA, USA. [Evaluation]
Fall 2018
Teaching Assistant - Foundations of Software Engineering, Carnegie Mellon University, Pittsburgh, PA, USA. [Evaluation]
Summer 2015
Research Intern, Massachusetts Institute of Technology, Cambridge, MA, USA.
2014 - 2015
Undergraduate Student Researcher, University of St. Thomas, St. Paul, MN, USA.
 

Industry Experience

 

Full-time:

2016
Application Developer/Software Engineer, Sportradar US, Minneapolis, MN, USA.
 
 
 

Internships:

Summer 2020
Software Engineering Intern, Google, Remote, PA, USA.
Summer 2019
Software Engineering Intern, Google, Sunnyvale, CA, USA.
Summer 2018
Software Engineering Intern, Google, Mountain View, CA, USA.
Fall 2015
Application Developer/Software Engineer, Sportradar US, Minneapolis, MN, USA.
Spring 2015
Jr. Application Developer, SportsData/Sportradar US, Minneapolis, MN, USA.
2013 - 2014
Cloud Developer Intern, Valtira, Minneapolis, MN, USA.
 

Honors and Awards

2019
CMU’s ISR Presidential Fellowship. $50,000
2015
MSRP Research Internship at MIT. Acceptance rate: 10.5%
2015
CCSC:MW 2015 1st place Student Posters & Showcase Discovery Track. $100
2015
UST Student Travel Grant. $750
2014, 2015
UST Collaborative Inquiry Grant. $2,000
2012
UST International Student Leadership Scholarship. $500
2011 - 2015
Bev and Pat Flaherty Scholarship. $14,000
2010 - 2015
University of St. Thomas International Scholarship. $80,000
2010 - 2015
University of St. Thomas Tuition Scholarship. 40% discount
2008 - 2009
American Field Service International Scholarship.
 

Service

 

Committees:

2019 - 2021
MIT Summer Research Program Application Review.
2019
CMU ISR-SE Ph.D. Admissions.
2017
CMU REU-SE Committee.
 
 
 

Reviewing:

2020
TSE Reviewer.
2020
ASE’20 Sub-Reviewer.
2019
ICSE’20 Sub-Reviewer.
2019
ASE’19 Sub-Reviewer.
2019
ESEC/FSE’19 Sub-Reviewer.
2018
ICSE-NIER’19 Sub-Reviewer.
2017
ICSE'18 Sub-Reviewer.
2017
ASE'17 Sub-Reviewer.
2017
ESEC/FSE'17 Sub-Reviewer.
2016
ICSE'17 Sub-Reviewer.
 

Attended Events

PIRC '20
July. Remote, USA.
PIRC '19
July 31-August 1. Sunnyvale, CA, USA.
FOSD-Meet. '19
March 12-15. Weimar, Germany. [Link]
PIRC '18
July 17-18. Mountain View, CA, USA.
FOSD-Meet. '18
June 3-6. Gothenburg, Sweden. [Link]
BRASS Meet. '17
Nov 28-30. Seattle, WA, USA.
ICSE '17
May 24-26. Buenos Aires, Argentina. [Link]
SEAMS '17
May 22-23. Buenos Aires, Argentina. [Link]
FOSD-Meet. '17
March 14-17. Grasellenbach, Germany. [Link]
CCSC:MW '15
October 2-3. Evansville, IN, USA. [Link]