Contact
etienne.kneuss@epfl.ch
colder@php.net
ekneuss@gmail.com
IRC
ekneuss
(Freenode, QuakeNet, EFnet)
Biography
I received my Master in Computer Science with a specialization in Foundations of Software from EPFL in september 2011. I am now enrolled in the Doctoral Program at EPFL. I am the CTO of IMMOMIG, for which I manage the IT infrastructure and surpervize the developement of various products. I also regularly contribute to the PHP Programming Language and maintain PHP extensions such as SPL or Weakref.
Publications
In proceedings
- Etienne Kneuss, Philippe Suter, and Viktor Kuncak. Phantm: PHP Analyzer for Type Mismatch (Research Demonstration). FSE 2010, pp. 373-374.
- Etienne Kneuss, Philippe Suter, and Viktor Kuncak. Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. RV 2010, pp. 300-314.