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

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
X
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]
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]
S
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]
She, S., and T. Berger, Formal Semantics of the Kconfig Language, : University of Waterloo, 2010. [pdf]
She, S., "Feature Model Mining", School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.
L
C
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]
B
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]
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]
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]
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]
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]
A
Andersen, N., K. Czarnecki, S. She, and A. Wąsowski, "Efficient Synthesis of Feature Models", Software Product Line Conference (SPLC), Salvador, Brasil, 2012. [pdf]