Sheng Chen

Assistant Professor
The Center for Advanced Computer Studies
University of Louisiana at Lafayette
Lafayette, LA 70503, USA

Office: Oliver 236 (map)
Email: chen 'at'
Phone: (337) 482-5807
I joined the faculty of School of Computing and Informatics at UL Lafayette in 2015. I received a BS from Xi'an University of Technology in 2005, a MS from Xidian University in 2008, and a PhD from Oregon State University in 2015.

My research interests are programming languages and software engineering, with a focus on type system design, language usability, functional programming, software product lines, and efficient computing through reuses. I am now investigating computational reuse for verifying software product lines, improving type error debugging and type inference for advanced type systems, and improving static analyses in general. I am also looking into language and runtime support for making reusing computations easier.

Recent Publications [Complete list | DBLP | Google Scholar]

  • A Calculus for Variational Programming (ECOOP'16)
  • Principal Type Inference for GADTs (POPL'16)
  • Variational Typing and Its Applications (PhD dissertation, 2015)

  • More recent selected publications: TOPLAS, POPL'14, ICFP'14, FLOPS'14, ICFP'12

  • Baijun Wu (PhD)
  • John Peter Campora (PhD)
  • Bhaskar Ghosh (MS)

  • Teaching
    • Principles of Operating System Theory (Spring 2016, Fal 2015)
    • Programming Language Fundamentals (Winter 2014, Oregon State University)

    Last modified on April 2016.