Edit Profile Smaragdakis, Yannis Compute Distance To: Compute Author ID: smaragdakis.yannis Published as: Smaragdakis, Yannis Documents Indexed: 14 Publications since 2001, including 1 Book all top 5 Co-Authors 2 single-authored 2 Davis, Kei 2 McNamara, Brian 2 Striegnitz, Jörg 1 Batory, Don S. 1 Behrends, Reimer 1 Biboudis, Aggelos 1 Bravenboer, Martin 1 Evans, Jacob 1 Huang, Shanshan 1 Kaplan, Scott F. 1 Kiselyov, Oleg 1 Lhoták, Ondřej 1 Palladinos, Nick 1 Pfenning, Frank 1 Tilevich, Eli 1 Usui, Takayuki 1 Wilson, Paul R. 1 Zook, David all top 5 Serials 1 Software. Practice & Experience 1 Science of Computer Programming 1 Journal of Parallel and Distributed Computing 1 Journal of Functional Programming 1 ACM Transactions on Modeling and Computer Simulation 1 Lecture Notes in Computer Science Fields 14 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications 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.68204Smaragdakis, Yannis; Bravenboer, Martin; Lhoták, Ondrej 3 2011 Statically safe program generation with SafeGen. Zbl 1215.68054Huang, Shan Shan; Zook, David; Smaragdakis, Yannis 2 2011 Flexible reference trace reduction for VM simulations. Zbl 1390.68259Kaplan, Scott F.; Smaragdakis, Yannis; Wilson, Paul R. 2 2003 Mixin-based programming in C++. Zbl 1023.68842Smaragdakis, Yannis; Batory, Don 2 2001 Adaptive locks: combining transactions and locks for efficient concurrency. Zbl 1233.68172Usui, Takayuki; Behrends, Reimer; Evans, Jacob; Smaragdakis, Yannis 1 2010 Functional programming with the FC++ library. Zbl 1104.68396McNamara, Brian; Smaragdakis, Yannis 1 2004 J-orchestra: Automatic Java application partitioning. Zbl 1049.68847Tilevich, Eli; Smaragdakis, Yannis 1 2002 Pick your contexts well, understanding object-sensitivity. Zbl 1284.68204Smaragdakis, Yannis; Bravenboer, Martin; Lhoták, Ondrej 3 2011 Statically safe program generation with SafeGen. Zbl 1215.68054Huang, Shan Shan; Zook, David; Smaragdakis, Yannis 2 2011 Adaptive locks: combining transactions and locks for efficient concurrency. Zbl 1233.68172Usui, Takayuki; Behrends, Reimer; Evans, Jacob; Smaragdakis, Yannis 1 2010 Functional programming with the FC++ library. Zbl 1104.68396McNamara, Brian; Smaragdakis, Yannis 1 2004 Flexible reference trace reduction for VM simulations. Zbl 1390.68259Kaplan, Scott F.; Smaragdakis, Yannis; Wilson, Paul R. 2 2003 J-orchestra: Automatic Java application partitioning. Zbl 1049.68847Tilevich, Eli; Smaragdakis, Yannis 1 2002 Mixin-based programming in C++. Zbl 1023.68842Smaragdakis, Yannis; Batory, Don 2 2001 all cited Publications top 5 cited Publications all top 5 Cited by 32 Authors 2 Moruz, Gabriel 2 Negoescu, Andrei 1 Adams, Michael D. 1 Ahern, Alexander 1 Albert, Elvira 1 Correas, Jesús 1 Draheim, Dirk 1 Factor, Michael 1 Freeman, John M. 1 Gilray, Thomas 1 Hand, Steven 1 Harris, Tim 1 Järvi, Jaakko 1 Kovács, Annamária 1 Lutteroth, Christof 1 Marcus, Mat 1 Meyer, Ulrich 1 Might, Matthew 1 Parent, Sean 1 Pirkelbauer, Peter 1 Priesnitz, Andreas P. 1 Puebla, Germán 1 Román-Díez, Guillermo 1 Roy, Amitabha 1 Schupp, Sibylle 1 Schuster, Assaf 1 Shagin, Konstantin 1 Stroustrup, Bjarne 1 Weber, Gerald 1 Yoshida, Nobuko 1 Zhang, Chenyi 1 Zhuo, Xilong all top 5 Cited in 7 Serials 3 Science of Computer Programming 2 Formal Aspects of Computing 1 Information Processing Letters 1 Theoretical Computer Science 1 International Journal of Parallel Programming 1 Journal of Parallel and Distributed Computing 1 Journal of Functional Programming Cited in 1 Field 12 Computer science (68-XX) Citations by Year