Yannis Smaragdakis - researchr profile

researchr

You are not signed in
Sign in
Sign up

2010	-		:	University of Athens
	-		:	University of Massachusetts, Amherst

Statically Safe Program Generation with SafeGenShan Shan Huang, David Zook, Yannis Smaragdakis. SCP, 76(5):376-391, May 2011. [doi]

Adaptive locks: Combining transactions and locks for efficient concurrencyTakayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis. jpdc, 70(10):1009-1023, 2010. [doi]

Resolving and exploiting the ::::k::::-CFA paradox: illuminating functional vs. object-oriented program analysisMatthew Might, Yannis Smaragdakis, David Van Horn. PLDI 2010: 305-315 [doi]

What can the GC compute efficiently?: a language for heap assertions at GC timeChristoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer. OOPSLA 2010: 256-269 [doi]

Strictly declarative specification of sophisticated points-to analysesMartin Bravenboer, Yannis Smaragdakis. OOPSLA 2009: 243-262 [doi]

J-Orchestra: Enhancing Java programs with distribution capabilitiesEli Tilevich, Yannis Smaragdakis. TOSEM, 19(1), 2009. [doi]

Meta-Environment

Variability-Aware Analysis

aspect oriented programming

code generation

domain-specific language

feature-oriented programming

functional programming

generative programming

generic programming

information models

language engineering

little language

logic programming

meta programming

model-driven engineering

object-oriented programming

object-role modeling

pattern language

pattern matching

points-to analysis

program analysis

program optimization

programming languages

software engineering

software evolution

software language engineering

source-to-source

static analysis

subject-oriented programming

systematic-approach

runs on WebDSL