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.
 

Education

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".
 

Publications

 

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]
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). 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]
 

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. 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.
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

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

Honors and Awards

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

2017
ASE'17 Sub-Reviewer.
2017
FSE'17 Sub-Reviewer.
2017
CMU REU-SE Committee Member.
2016
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]
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]