Our regular stand-up scrum meetings are a great way to have regular interaction with other team members, as well as our supervisor.
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.
Take a look at my personal website.
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
"Efficient Synthesis of Feature Models",
Software Product Line Conference (SPLC), Salvador, Brasil, 2012.
[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]
"A Study of Variability Models and Languages in the Systems Software Domain",
IEEE Transactions on Software Engineering, vol. 39, issue 12, no. 12, pp. 1611-1640, Dec, 2013.
[pdf]
"Variability Mechanisms in Software Ecosystems",
Information and Software Technology, vol. 56, issue 11, 2014.
[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]
"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]
Variability Modeling in the Systems Software Domain,
: Generative Software Development Laboratory, University of Waterloo, 2012.
[pdf]
"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]
"Evolution of the Linux Kernel Variability Model",
Software Product Line Conference, 09/2010.
[pdf][pdf]
"Variability Model of the Linux Kernel",
Fourth International Workshop on Variability Modeling of Software-intensive Systems (VaMoS 2010), Linz, Austria, 2010.
[pdf]
"Reverse Engineering Feature Models",
ICSE 2011, 2011.
[pdf][pdf]
Formal Semantics of the Kconfig Language,
: University of Waterloo, 2010.
[pdf]
"Feature Model Mining",
School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.
Generating Range Fixes for Software Configuration,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 2011.
[pdf]
"Generating Range Fixes for Software Configuration",
ICSE'12: 34th International Conference on Software Engineering, 06/2012.
[pdf][pdf][zip]