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

Thesis

She, S., "Feature Model Mining", School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.

[bib]

Report

Berger, T., S. She, K. Czarnecki, and A. Wąsowski, Feature-to-Code Mapping in Two Large Product Lines, , Leipzig, Department of Computer Science, University of Leipzig, 2010.

[bib]

[pdf]

Berger, T., and S. She, Formal Semantics of the CDL Language, : University of Leipzig, 2010.

[bib]

[pdf]

She, S., and T. Berger, Formal Semantics of the Kconfig Language, : University of Waterloo, 2010.

[bib]

[pdf]

Xiong, Y., A. Hubaux, S. She, and K. Czarnecki, Generating Range Fixes for Software Configuration, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 2011.

[bib]

[pdf]

Berger, T., S. She, R. Lotufo, A. Wąsowski, and K. Czarnecki, Variability Modeling in the Systems Software Domain, : Generative Software Development Laboratory, University of Waterloo, 2012.

[bib]

[pdf]

Journal Article

Berger, T., S. She, R. Lotufo, A. Wąsowski, and K. Czarnecki, "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.

[bib]

[pdf]

Berger, T., R-H. Pfeiffer, R. Tartler, S. Dienst, K. Czarnecki, A. Wąsowski, and S. She, "Variability Mechanisms in Software Ecosystems", Information and Software Technology, vol. 56, issue 11, 2014.

[bib]

[pdf]

Conference Proceedings

Berger, T., S. She, R. Lotufo, K. Czarnecki, and A. Wąsowski, "Feature-to-Code Mapping in Two Large Product Lines", Software Product Lines: Going Beyond, vol. 6287: Springer Berlin / Heidelberg, pp. 498-499, 2010.

[bib]

[pdf]

Conference Paper

Andersen, N., K. Czarnecki, S. She, and A. Wąsowski, "Efficient Synthesis of Feature Models", Software Product Line Conference (SPLC), Salvador, Brasil, 2012.

[bib]

[pdf]

Lotufo, R., S. She, T. Berger, A. Wąsowski, and K. Czarnecki, "Evolution of the Linux Kernel Variability Model", Software Product Line Conference, 09/2010.

[bib]

[pdf][pdf]

Xiong, Y., A. Hubaux, S. She, and K. Czarnecki, "Generating Range Fixes for Software Configuration", ICSE'12: 34th International Conference on Software Engineering, 06/2012.

[bib]

[pdf][pdf][zip]

She, S., R. Lotufo, T. Berger, A. Wąsowski, and K. Czarnecki, "Reverse Engineering Feature Models", ICSE 2011, 2011.

[bib]

[pdf][pdf]

Czarnecki, K., S. She, and A. Wąsowski, "Sample Spaces and Feature Models: There and Back Again", 12th International Software Product Line Conference (SPLC 2008), Limerick, Ireland, IEEE, pp. 22 - 31, 2008.

[bib]

[pdf][pdf]

She, S., R. Lotufo, T. Berger, A. Wąsowski, and K. Czarnecki, "Variability Model of the Linux Kernel", Fourth International Workshop on Variability Modeling of Software-intensive Systems (VaMoS 2010), Linz, Austria, 2010.