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 Static and Dynamic Program Analysis for Performance Analysis of Configurable Systems. My advisor is Christian Kästner.


2016 - Present
Ph.D. Software Engineering, Carnegie Mellon University, Pittsburgh, PA, USA.
Advisor: Christian Kästner.
2010 - 2015
B.A. 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".



Refereed Conference Papers:

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). Urbana-Champaign, IL, USA: ACM, Oct 2017. (21% acceptance rate). [PDF]
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). Buenos Aires, Argentina: IEEE Computer Society, May 2017, pp. 31–41. (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). Vienna, Austria: IEEE Computer Society, Aug. 2016, pp. 371–378. (30% acceptance rate). [PDF]


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]
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. 1 st 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.
Research Intern, Massachusetts Institute of Technology, Cambridge, MA, USA.
2014 - 2015
Undergraduate Student Researcher, University of St. Thomas, St. Paul, MN, USA.

Industry Experience

Software Engineering Intern, Google, Mountain View, CA, USA.
2015 - 2016
Application Developer/Software Engineer, Sportradar US, Minneapolis, MN, USA.
Jr. Application Developer, SportsData/Sportradar US, Minneapolis, MN, USA.
2013 - 2015
Cloud Developer Intern, Valtira, Minneapolis, MN, USA.

Honors and Awards

MSRP Research Internship at MIT. Acceptance rate: 10.5%
CCSC:MW 2015 1st place Student Posters & Showcase Discovery Track. $100
UST Student Travel Grant. $750
2014, 2015
UST Collaborative Inquiry Grant. $2,000
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.


ASE'17 Sub-Reviewer.
FSE'17 Sub-Reviewer.
CMU REU-SE Committee Member.
ICSE'17 Sub-Reviewer.

Attended Events

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]
May 22-23. Buenos Aires, Argentina. [Link]
FOSD-Meet. '17
March 14-17. Grasellenbach, Germany. [Link]
October 2-3. Evansville, IN, USA. [Link]