image

Dr. Philippe MEUNIER
Assistant Professor of Computer Science and Technology
Division of Science and Technology
office: T3-602-R14
Education

Ph.D. in Computer Science, Northeastern University, United States
M.Sc. in Computer Science, Rice University, United States
Engineering Degree in Computer Science, Télécom ParisTech, France

Research Interests

Programming languages: semantics, type systems, flow analyses, abstract interpretation, and other formal methods, for functional and object-oriented languages.

Current Teaching

Compiler Construction
Data Structures and Algorithms
IT for Success in Everyday Life and Work

Selected Publications
  • Philippe Meunier, Robert Bruce Findler, Matthias Felleisen, "Modular Set-Based Analysis from Contracts", in Proceedings of the 33rd Symposium on Principles of Programming Languages (POPL), Charleston, USA, January 2006.
  • Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand, "Selectors Make Set-Based Analysis Too Hard", in Journal of Higher-Order and Symbolic Computation (HOSC), volume 18(3-4), page 245-269, December 2005.
  • David Herman, Philippe Meunier, "Improving the Static Analysis of Embedded Languages via Partial Evaluation", in Proceedings of the 9th International Conference on Functional Programming (ICFP), Snowbird, USA, September 2004.