Y. Smaragdakis

Check 'n' crash: combining static checking and testing

C. Csallner, Y. Smaragdakis, Y. Smaragdakis, 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

NRMI: natural and efficient middleware

Y. Smaragdakis, E. Tilevich, 2003, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings..

Binary refactoring: improving code behind the scenes

Y. Smaragdakis, E. Tilevich, Y. Smaragdakis, 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..