Steven She, MMath.

Ph.D. Candidate

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

Publications

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. [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. [pdf][pdf][zip]
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. [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. [pdf]
Berger, T., S. She, R. Lotufo, A. Wąsowski, and K. Czarnecki, "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]
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. [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. [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. [pdf]
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. [pdf]
Berger, T., and S. She, Formal Semantics of the CDL Language, : University of Leipzig, 2010. [pdf]
She, S., and T. Berger, Formal Semantics of the Kconfig Language, : University of Waterloo, 2010. [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. [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. [pdf]
Thesis
She, S., "Feature Model Mining", School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.