People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
Steven She, MMath.
Ph.D. Candidate
- MMath Graduate, David R. Cheriton School of Computer Science, University of Waterloo
I work in the area of reverse engineering variability models and the analysis of real-world models, such as the Linux kernel Kconfig model.
News
Projects
Presentation Slides
- Slides for the talk on "The Variability Model of The Linux Kernel" presented at VaMoS 2010. Slides.
- Lunch talk for the Software Development Group at the IT University in Copenhagen on Mining framework concepts from application code. Slides and handout.
- Guest lecture on Scala for CS446 / ECE452 / SE464 (SE2). Slides and handout.
- Reserach paper presentation at SPLC 2008 in Limerick, Ireland. Slides.
- Presentation on my fall 2008 course project, StarCharter. Slides.
- Java fact extractor that extracts structural facts of Java source code into a file suitable for use with Prolog.
Code
- Watch a (very, very early) prototype of StarCharter's slice view.
- Try the new constraint view on Feature Modeling Plug-in 0.7.0.
- An ANTLR3 grammar for Linux Kconfig files, and for basic and generalized feature models.
- The FM calculator for visualising and evaluating operations on propositional feature models.
- BitBucket mercurial repository for beamer slides and themes or my dotfiles.
Publications
"Generating Range Fixes for Software Configuration",
ICSE'12: 34th International Conference on Software Engineering, 06/2012.
[pdf]
Generating Range Fixes for Software Configuration,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 2011.
[pdf]
"Reverse Engineering Feature Models",
ICSE 2011, 2011.
[pdf][pdf]
"Evolution of the Linux Kernel Variability Model",
Software Product Line Conference, 09/2010.
[pdf][pdf]
"Variability Modeling in the Real: A Perspective from the Operating Systems Domain",
25th IEEE/ACM International Conference on Automated Software Engineering, 09/2010.
[pdf][pdf]
"Feature-to-Code Mapping in Two Large Product Lines",
Software Product Lines: Going Beyond, vol. 6287: Springer Berlin / Heidelberg, pp. 498-499, 2010.
[pdf]
Feature-to-Code Mapping in Two Large Product Lines,
, Leipzig, Department of Computer Science, University of Leipzig, 2010.
[pdf]
Formal Semantics of the CDL Language,
: University of Leipzig, 2010.
[pdf]
Formal Semantics of the Kconfig Language,
: University of Waterloo, 2010.
[pdf]
"Variability Model of the Linux Kernel",
Fourth International Workshop on Variability Modeling of Software-intensive Systems (VaMoS 2010), Linz, Austria, 2010.
[pdf]
"Feature Model Mining",
School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.
"Sample Spaces and Feature Models: There and Back Again",
12th International Software Product Line Conference (SPLC 2008), Limerick, Ireland, IEEE, pp. 22 - 31, 2008.
[pdf][pdf]
