Synergistic Software Customization:
Framework, Algorithms, and Tools
Miryung Kim - Principal Investigator
Miryung Kim is a professor in the Department of Computer Science at the University of California, Los Angeles. She received her B.S. in Computer Science from Korea Advanced Institute of Science and Technology in 2001 and her M.S. and Ph.D. in Computer Science and Engineering from the University of Washington under the supervision of Dr. David Notkin in 2003 and 2008 respectively. She received an NSF CAREER award in 2011, a Microsoft Software Engineering Innovation Foundation Award in 2011, an IBM Jazz Innovation Award in 2009, a Google Faculty Research Award in 2014, and an Okawa Foundation Research Grant Award in 2015. Between January 2009 and August 2014, she was an assistant professor in the Department of Electrical and Computer Engineering at the University of Texas at Austin and then she joined UCLA with an Associate Professor with Tenure. She also spent time as a visiting researcher at the Research in Software Engineering (RiSE) group at Microsoft Research during the summer of 2011 and 2014. She ranked No. 1 among all engineering and science students in KAIST in 2001 and received the Korean Ministry of Education, Science, and Technology Award, the highest honor given to an undergraduate student in Korea in 2001.
Her research focuses on software engineering. Her research group, Software Evolution and Analysis Laboratory, develops program analysis algorithms and development tools to make it easier to develop and evolve large-scale software systems. To improve programmer productivity and program correctness, we design, implement, and evaluate automated software analysis algorithms and tools. We also conduct user studies with professional software engineers and carry out statistical analysis of open source project data to allow data-driven decisions for designing novel software engineering tools. These days, her research focuses on software engineering support for big data systems and understanding how data scientists work in software development organizations. In particular, our focus is to improve productivity and efficiency for leveraging big data intelligence.
Jens Palsberg - Co-Principal Investigator
Jens Palsberg is a Professor of Computer Science at University of California, Los Angeles (UCLA). His research interests span the areas of compilers, embedded systems, programming languages, software engineering, and information security. He is the editor-in-chief of ACM Transactions of Programming Languages and Systems, a member of the editorial board of Information and Computation, a former member of the editorial board of IEEE Transactions on Software Engineering, and a former conference program chair of ACM Symposium on Principles of Programming Languages (POPL), Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), the Static Analysis Symposium (SAS), Conference on Embedded Systems Software (EMSOFT), Conference on Formal Methods and Programming Models for Co-Design (MEMOCODE), ACM Workshop on Program Analysis for Software Tools and Engineering (PASTE), and Symposium on Requirements Engineering for Information Security (SREIS). In 2012 he received the ACM SIGPLAN Distinguished Service Award.
Jens Palsberg received a Ph.D. in Computer Science from University of Aarhus, Denmark in 1992. In 1992--1996 he was a visiting scientist at various institutions, including MIT. In 1996--2002 he was an Associate Professor and, in 2002--2003, Professor of Computer Science at Purdue University, after which he moved to UCLA. He has authored over 80 technical papers, co-authored the book Object-Oriented Type Systems, and co-authored the 2002 revision of Appel's textbook on Modern Compiler Implementation in Java. He is the recipient of National Science Foundation CAREER and ITR awards, a Purdue University Faculty Scholar award, an IBM Faculty Award, and an Okawa Foundation research award. His research has also been supported by DARPA, Intel, and British Telecom. He has served as chair of computer science at UCLA, as associate head of computer science at Purdue University, as the general chair of POPL and International Workshop on Model Checking of Software (SPIN), as the conference chair of the IEEE Symposium on Logic in Computer Science (LICS), and as the vice chair of ACM SIGBED, Special Interest Group on Embedded Systems.
Harry Xu - Co-Principal Investigator
Harry Xu an Associate Professor in the Computer Science Department of UCLA. He worked at Microsoft Research as a Visiting Researcher in 2017, where he created and led the development of a project that aims to build an optimizing compiler for multi-lingual data analytical pipelines, in particular, Microsoft's Scope/Cosmos. He worked at IBM T. J. Waston Research Center as a Co-op/intern from 2008 to 2011 where he led the development of a series of runtime bloat detection tools.
His research ranges from software engineering, through programming languages and compilers, to runtime/operating/distributed systems and computer architecture. His recent interest is to develop cross-layer techniques that bridge the PL and systems communities -- in particular, (1) how to use PL techniques to solve systems (especially Big Data systems) problems, and, conversely, (2) how to solve PL problems (e.g., program analysis scalability, SAT/Datalog solver parallelizability, memory energy efficiency, etc.) with systems and architectural support.
Bobby R. Bruce
Dr. Bobby R. Bruce is a Postdoctoral Scholar at the University of California, Los Angeles. His research interests include Genetic Improvement, and Search-Based Software Engineering.
Tianyi Zhang is a Ph.D candidate at the University of California, Los Angeles. His main research interests are software evolution, mining software repositories, and human-computer interaction.
Christian Kalhauge is a fifth-year PhD student at UCLA. His primary focus is on the interplay of static and dynamic analyses, bugs in concurrent programs, and automatic reporting bugs in tools that work on Java ByteCode.
Jon Eyolfson is a Postdoctoral scholar at the University of California, Los Angeles. His background is mix of static and dynamic analysis with empricial studies. His current interests are trying to leverage machine learning for software systems.
Christian Navasca is a second year PhD student at UCLA, advised by Prof. Harry Xu. His research aims to provide runtime and compiler support for Big Data systems.
Yifan Qiao is a first year PhD student at UCLA. His research mainly focuses on building large scale systems for machine learning applications such as graph neural networks.
Jiyuan Wang is a first year PhD student at UCLA, advised by Prof. Miryung Kim and Prof. Harry Xu. His research interest is software testing for big data systems.
Haoran Ma is a first year PhD student at UCLA, advised by Prof. Harry Xu and Prof. Miryung Kim. His research interests lie at the intersection of systems and software engineering.
Usama Hameed is a first year PhD. student at UCLA, advised by Professor Harry Xu and Professor Miryung Kim. He is interested in applying compiler techniques to emerging systems problems.
Jaspreet Arora is a second year Masters student at UCLA. His research interests include Software Engineering, Systems and Machine Learning.