×

zbMATH — the first resource for mathematics

Smaragdakis, Yannis

Compute Distance To:
Author ID: smaragdakis.yannis Recent zbMATH articles by "Smaragdakis, Yannis"
Published as: Smaragdakis, Yannis
Documents Indexed: 14 Publications since 2001, including 1 Book

Publications by Year

Citations contained in zbMATH

7 Publications have been cited 12 times in 12 Documents Cited by Year
Pick your contexts well, understanding object-sensitivity. Zbl 1284.68204
Smaragdakis, Yannis; Bravenboer, Martin; Lhoták, Ondrej
3
2011
Statically safe program generation with SafeGen. Zbl 1215.68054
Huang, Shan Shan; Zook, David; Smaragdakis, Yannis
2
2011
Flexible reference trace reduction for VM simulations. Zbl 1390.68259
Kaplan, Scott F.; Smaragdakis, Yannis; Wilson, Paul R.
2
2003
Mixin-based programming in C++. Zbl 1023.68842
Smaragdakis, Yannis; Batory, Don
2
2001
Adaptive locks: combining transactions and locks for efficient concurrency. Zbl 1233.68172
Usui, Takayuki; Behrends, Reimer; Evans, Jacob; Smaragdakis, Yannis
1
2010
Functional programming with the FC++ library. Zbl 1104.68396
McNamara, Brian; Smaragdakis, Yannis
1
2004
J-orchestra: Automatic Java application partitioning. Zbl 1049.68847
Tilevich, Eli; Smaragdakis, Yannis
1
2002
Pick your contexts well, understanding object-sensitivity. Zbl 1284.68204
Smaragdakis, Yannis; Bravenboer, Martin; Lhoták, Ondrej
3
2011
Statically safe program generation with SafeGen. Zbl 1215.68054
Huang, Shan Shan; Zook, David; Smaragdakis, Yannis
2
2011
Adaptive locks: combining transactions and locks for efficient concurrency. Zbl 1233.68172
Usui, Takayuki; Behrends, Reimer; Evans, Jacob; Smaragdakis, Yannis
1
2010
Functional programming with the FC++ library. Zbl 1104.68396
McNamara, Brian; Smaragdakis, Yannis
1
2004
Flexible reference trace reduction for VM simulations. Zbl 1390.68259
Kaplan, Scott F.; Smaragdakis, Yannis; Wilson, Paul R.
2
2003
J-orchestra: Automatic Java application partitioning. Zbl 1049.68847
Tilevich, Eli; Smaragdakis, Yannis
1
2002
Mixin-based programming in C++. Zbl 1023.68842
Smaragdakis, Yannis; Batory, Don
2
2001

Citations by Year