Yannis Smaragdakis
University/Research Lab: University of Massachusetts, Amherst
Location: (Amherst, MA)
Personal Research Web Page: http://www.cs.umass.edu/~yannis/
Keywords: program analysis, program generation, programming models for concurrency
Location: (Amherst, MA)
Personal Research Web Page: http://www.cs.umass.edu/~yannis/
Keywords: program analysis, program generation, programming models for concurrency
Posted on: Tuesday, May 26th, 2009
Broad Research Area: Programming Languages / Compilers, Software Engineering
Research Interests:
Interests from web site:
* Language mechanisms for abstraction (program generators, DSLs, modules and components, extensible languages, meta-programming, multi-paradigm programming)
* Languages and tools for systems (programming models for concurrency, language support for distributed computing, memory management and program locality)
* Program analysis and testing (automatic test generation, invariant inference, symbolic execution, pointer analysis).
See URL for more.
