Yannis Smaragdakis
发表
Shan Shan Huang,
David Zook,
Yannis Smaragdakis,
2008,
TSEM.
Yannis Smaragdakis,
Brian McNamara,
2004,
J. Funct. Program..
Ondrej Lhoták,
Manu Sridharan,
Yannis Smaragdakis,
2013,
Dagstuhl Reports.
Yannis Smaragdakis,
Kei Davis,
Jörg Striegnitz,
2002
.
Yannis Smaragdakis,
George Kastrinis,
George Balatsouras,
2014,
PLDI.
Yannis Smaragdakis,
Y. Smaragdakis,
2004,
PEPM '04.
Yannis Smaragdakis,
Don S. Batory,
Y. Smaragdakis,
1999,
ECOOP Workshops.
Marcus Handte,
Yannis Smaragdakis,
Eli Tilevich,
2005,
21st IEEE International Conference on Software Maintenance (ICSM'05).
Yannis Smaragdakis,
Matthew Might,
David Van Horn,
2013
.
Shan Shan Huang,
Yannis Smaragdakis,
2011,
TOPL.
Yannis Smaragdakis,
Don S. Batory,
Y. Smaragdakis,
1997,
DSL.
Yannis Smaragdakis,
Prodromos Gerakios,
Aggelos Biboudis,
2013,
GPCE '13.
Yannis Smaragdakis,
Martin Bravenboer,
Y. Smaragdakis,
2009,
OOPSLA '09.
Yannis Smaragdakis,
Y. Smaragdakis,
2014
.
Yannis Smaragdakis,
Aggelos Biboudis,
George Fourtounis,
2015,
ArXiv.
Shan Shan Huang,
David Zook,
Yannis Smaragdakis,
2007,
ECOOP.
Yannis Smaragdakis,
2019,
Onward!.
Yannis Smaragdakis,
Brian McNamara,
Y. Smaragdakis,
2000,
ICFP '00.
Yannis Smaragdakis,
Reimer Behrends,
Takayuki Usui,
2010,
J. Parallel Distributed Comput..
Yannis Smaragdakis,
Yue Li,
Tian Tan,
2020,
ACM Trans. Program. Lang. Syst..
Yannis Smaragdakis,
Frank Pfenning,
Acm Sigplan,
2003
.
Yannis Smaragdakis,
2007
.
Yannis Smaragdakis,
Paul R. Wilson,
Scott F. Kaplan,
2003,
TOMC.
Yuriy Brun,
Sarfraz Khurshid,
Sven Apel,
2017,
Commun. ACM.
Yannis Smaragdakis,
Martin Bravenboer,
Y. Smaragdakis,
2010,
Datalog.
Yannis Smaragdakis,
George Kastrinis,
George Balatsouras,
2017,
SOAP@PLDI.
Yannis Smaragdakis,
Y. Smaragdakis,
2014
.
Yannis Smaragdakis,
Brian McNamara,
2000
.
Yannis Smaragdakis,
Paddy Krishnan,
Raghavendra Ramesh,
2020
.
Yannis Smaragdakis,
George Kastrinis,
2013,
CC.
Neil Immerman,
Yannis Smaragdakis,
Samuel Z. Guyer,
2010,
SPLASH 2010.
Isil Dillig,
Yannis Smaragdakis,
Kostas Ferles,
2020,
ACM SIGOPS Oper. Syst. Rev..
Yannis Smaragdakis,
Frank Pfenning,
2003,
Lecture Notes in Computer Science.
Yannis Smaragdakis,
Brian McNamara,
2001,
SIGP.
Yannis Smaragdakis,
Adrian Francalanza,
Neville Grech,
2017,
Proc. ACM Program. Lang..
Yannis Smaragdakis,
Martin Bravenboer,
Y. Smaragdakis,
2009,
OOPSLA.
Neil Immerman,
Yannis Smaragdakis,
Samuel Z. Guyer,
2010
.
Yannis Smaragdakis,
Kei Davis,
Jörg Striegnitz,
2001,
ECOOP Workshops.
Isil Dillig,
Yannis Smaragdakis,
Kostas Ferles,
2018,
PLDI.
Yannis Smaragdakis,
Paul R. Wilson,
Scott F. Kaplan,
1999,
SIGMETRICS '99.
Yannis Smaragdakis,
Tony Antoniadis,
Konstantinos Triantafyllou,
2017,
SOAP@PLDI.
Yannis Smaragdakis,
Eli Tilevich,
Y. Smaragdakis,
2002,
ECOOP.
Yannis Smaragdakis,
Don S. Batory,
Lou Coglianese,
1999,
WICSA.
Shan Shan Huang,
David Zook,
Yannis Smaragdakis,
2011,
Sci. Comput. Program..
Tao Xie,
Yannis Smaragdakis,
Christoph Csallner,
2008
.
Yannis Smaragdakis,
Paul R. Wilson,
Scott F. Kaplan,
1999,
USENIX Annual Technical Conference, General Track.
Shan Shan Huang,
Yannis Smaragdakis,
John Altidor,
2011,
PLDI '11.
Yannis Smaragdakis,
Eli Tilevich,
Y. Smaragdakis,
2005,
ICSE.
Yannis Smaragdakis,
Y. Smaragdakis,
2014
.
Yannis Smaragdakis,
George Fourtounis,
Leonidas Triantafyllou,
2020
.
Yannis Smaragdakis,
Anders Møller,
Tian Tan,
2018,
Proc. ACM Program. Lang..
Neil Immerman,
Yannis Smaragdakis,
Christoph Reichenbach,
2012,
ECOOP.
Bertram Ludäscher,
Yannis Smaragdakis,
Sven Köhler,
2012,
Datalog.
Yannis Smaragdakis,
Christoph Reichenbach,
Kaituo Li,
2014,
ACM Trans. Softw. Eng. Methodol..
Yannis Smaragdakis,
Aggelos Biboudis,
George Fourtounis,
2015,
Dagstuhl Artifacts Ser..
Yannis Smaragdakis,
1998,
ECOOP Workshops.
Yannis Smaragdakis,
Aggelos Biboudis,
Nick Palladinos,
2014,
ArXiv.
Yannis Smaragdakis,
Lexi Brent,
Anton Jurisevic,
2018,
Proc. ACM Program. Lang..
Yannis Smaragdakis,
George Kastrinis,
Y. Smaragdakis,
2013,
PLDI.
Yannis Smaragdakis,
Nefeli Prokopaki-Kostopoulou,
George Kastrinis,
2018,
CC.
Yannis Smaragdakis,
Don S. Batory,
Y. Smaragdakis,
1998,
Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).
Yannis Smaragdakis,
Kei Davis,
Jörg Striegnitz,
2001
.
Yannis Smaragdakis,
George Balatsouras,
Y. Smaragdakis,
2016,
SAS.
Martin Odersky,
Philip Wadler,
Yannis Smaragdakis,
1998
.
Martin Odersky,
Yannis Smaragdakis,
Aggelos Biboudis,
2015,
OOPSLA.
Yannis Smaragdakis,
George Fourtounis,
2019,
Dagstuhl Artifacts Ser..
Yannis Smaragdakis,
Christoph Csallner,
Y. Smaragdakis,
2004,
Softw. Pract. Exp..
Yannis Smaragdakis,
Aggelos Biboudis,
George Fourtounis,
2015,
GTTSE.
Yannis Smaragdakis,
Prodromos Gerakios,
George Fourtounis,
2015,
FTfJP@ECOOP.
Yannis Smaragdakis,
Don Batory,
Y. Smaragdakis,
1998
.
Ondrej Lhoták,
José Nelson Amaral,
Bor-Yuh Evan Chang,
2015,
Commun. ACM.
Yannis Smaragdakis,
Lexi Brent,
Neville Grech,
2020,
PLDI.
Shan Shan Huang,
Yannis Smaragdakis,
Y. Smaragdakis,
2007,
RAM-SE.
Yannis Smaragdakis,
Don S. Batory,
2000,
GCSE.
Isil Dillig,
Yannis Smaragdakis,
Kostas Ferles,
2018,
PLDI.
Yannis Smaragdakis,
Eli Tilevich,
Y. Smaragdakis,
2006,
GPCE '06.
Yannis Smaragdakis,
Eli Tilevich,
2008,
IEEE Trans. Parallel Distributed Syst..
Elizabeth D. Mynatt,
Yannis Smaragdakis,
Blair MacIntyre,
2004
.
Yannis Smaragdakis,
Christoph Csallner,
Y. Smaragdakis,
2005,
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Shan Shan Huang,
David Zook,
Yannis Smaragdakis,
2005,
GPCE'05.
Yannis Smaragdakis,
George Kastrinis,
George Balatsouras,
2013,
OOPSLA.
Yannis Smaragdakis,
Neville Grech,
Anastasios Antoniadis,
2020,
Dagstuhl Artifacts Ser..
Yannis Smaragdakis,
George Balatsouras,
Y. Smaragdakis,
2013,
OOPSLA.
Yannis Smaragdakis,
Julian Dolby,
Neville Grech,
2020,
ECOOP.
Yannis Smaragdakis,
Y. Smaragdakis,
2013,
PLDI 2013.
Yannis Smaragdakis,
Cormac Flanagan,
Caitlin Sadowski,
2012,
POPL '12.
Yannis Smaragdakis,
Anders Møller,
Tian Tan,
2018,
ESEC/SIGSOFT FSE.
Krzysztof Czarnecki,
Yannis Smaragdakis,
Frank Pfenning,
2003
.
Yannis Smaragdakis,
Michal Young,
Reimer Behrends,
2007,
OOPSLA.
Yannis Smaragdakis,
Brian McNamara,
Y. Smaragdakis,
2000
.
Yannis Smaragdakis,
George Fourtounis,
Leonidas Triantafyllou,
2020,
ISSTA.
Yannis Smaragdakis,
Don S. Batory,
Y. Smaragdakis,
1998,
ECOOP.
Yannis Smaragdakis,
Eli Tilevich,
Y. Smaragdakis,
2004,
Middleware.
Yannis Smaragdakis,
Michal Young,
Christoph Reichenbach,
2013,
ESEC/FSE 2013.
Alex Delis,
Yannis Smaragdakis,
Kostas Saidis,
2011,
Softw. Pract. Exp..
Yannis Smaragdakis,
Paul R. Wilson,
Scott F. Kaplan,
1999,
SIGMETRICS '99.
Shan Shan Huang,
David Zook,
Yannis Smaragdakis,
2007,
AOSD.
Yannis Smaragdakis,
George Kastrinis,
George Fourtounis,
2018,
ISSTA.
Shan Shan Huang,
Yannis Smaragdakis,
Y. Smaragdakis,
2006,
ICSE.
Yannis Smaragdakis,
Christoph Csallner,
Y. Smaragdakis,
2006,
TSEM.
Yannis Smaragdakis,
Gabriel H. Loh,
Ranjith Subramanian,
2006,
2006 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'06).
Yannis Smaragdakis,
Christoph Csallner,
Y. Smaragdakis,
2007,
TAP.
Shan Shan Huang,
David Zook,
Yannis Smaragdakis,
2004,
PEPM.
Yannis Smaragdakis,
Christoph Reichenbach,
John Altidor,
2012,
ECOOP.
Yannis Smaragdakis,
Neville Grech,
Y. Smaragdakis,
2017,
Proc. ACM Program. Lang..
Yannis Smaragdakis,
George Fourtounis,
Y. Smaragdakis,
2020,
ECOOP.
Yannis Smaragdakis,
George Kastrinis,
Neville Grech,
2018,
ECOOP.
Yannis Smaragdakis,
2004,
ISMM '04.
Yannis Smaragdakis,
Christoph Csallner,
Ranjith Subramanian,
2009,
Automated Software Engineering.
Yannis Smaragdakis,
Kei Davis,
Jörg Striegnitz,
2002,
ECOOP Workshops.
Yannis Smaragdakis,
George Kastrinis,
George Balatsouras,
2015,
APLAS.
Ondrej Lhoták,
Yannis Smaragdakis,
Martin Bravenboer,
2011,
POPL '11.
Yannis Smaragdakis,
Michal Young,
Reimer Behrends,
2008,
MSPC '08.
Yannis Smaragdakis,
Don Batory,
1996
.
Yannis Smaragdakis,
2012,
CACM.
Yannis Smaragdakis,
Jeremy G. Siek,
2008,
GPCE.
Yannis Smaragdakis,
2004,
SAS.
Yannis Smaragdakis,
Neville Grech,
Sifis Lagouvardos,
2020,
Proc. ACM Program. Lang..
Yannis Smaragdakis,
Christoph Reichenbach,
Kaituo Li,
2012,
ISSTA 2012.
Yannis Smaragdakis,
2002,
ICSR.
Yannis Smaragdakis,
Xi Wu,
Neville Grech,
2020,
SOAP@PLDI.
Eelco Visser,
Yannis Smaragdakis,
Y. Smaragdakis,
2016,
SPLASH 2016.
Yannis Smaragdakis,
Christoph Csallner,
2006,
ICSE '06.
Yannis Smaragdakis,
Oleg Kiselyov,
Aggelos Biboudis,
2017,
POPL.
Yannis Smaragdakis,
Don S. Batory,
Richard Cardone,
2000,
SPLC.
Blair MacIntyre,
Elizabeth D. Mynatt,
Yannis Smaragdakis,
2004,
IEEE Pervasive Computing.
Yannis Smaragdakis,
George Balatsouras,
Y. Smaragdakis,
2015,
Found. Trends Program. Lang..
Yannis Smaragdakis,
Lexi Brent,
Bernhard Scholz,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).
Yannis Smaragdakis,
Eli Tilevich,
Y. Smaragdakis,
2009,
TSEM.
Yannis Smaragdakis,
John Altidor,
2014,
OOPSLA.
Yannis Smaragdakis,
2013
.
Yannis Smaragdakis,
2008,
SPIN.
Yannis Smaragdakis,
Lexi Brent,
Neville Grech,
2020,
PLDI.
Yannis Smaragdakis,
Brian McNamara,
2002,
Softw. Pract. Exp..
Yannis Smaragdakis,
Lexi Brent,
Anton Jurisevic,
2020,
Commun. ACM.
Yannis Smaragdakis,
Aggelos Biboudis,
Nick Palladinos,
2014
.
Yannis Smaragdakis,
Martin Bravenboer,
Y. Smaragdakis,
2009,
ISSTA.
Yannis Smaragdakis,
Adrian Francalanza,
Neville Grech,
2018,
ISSTA.
Yannis Smaragdakis,
George Kastrinis,
Y. Smaragdakis,
2013,
PLDI.
Shan Shan Huang,
Yannis Smaragdakis,
2007,
29th International Conference on Software Engineering (ICSE'07 Companion).
Yannis Smaragdakis,
Scott F. Kaplan,
2010
.
Nikolai Tillmann,
Yannis Smaragdakis,
Christoph Csallner,
2008,
ICSE.
Yannis Smaragdakis,
Anders Møller,
Yue Li,
2018,
Artifact Digital Object Group.
Yannis Smaragdakis,
Aggelos Biboudis,
George Fourtounis,
2015,
ECOOP.
Yannis Smaragdakis,
Paul R. Wilson,
Scott F. Kaplan,
2003,
Perform. Evaluation.
Yannis Smaragdakis,
Don S. Batory,
Y. Smaragdakis,
2002,
TSEM.
Christian Müller,
Yannis Smaragdakis,
Christoph Reichenbach,
2015,
CC.
Dan Grossman,
David Walker,
Yannis Smaragdakis,
2010,
SIGP.
Yannis Smaragdakis,
Eli Tilevich,
Marc Fleury,
2003,
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Shan Shan Huang,
David Zook,
Yannis Smaragdakis,
2004,
GPCE.
Yannis Smaragdakis,
Eli Tilevich,
Y. Smaragdakis,
2003,
IEEE Transactions on Parallel and Distributed Systems.
Shan Shan Huang,
Yannis Smaragdakis,
Y. Smaragdakis,
2008,
PLDI '08.
Yannis Smaragdakis,
Don S. Batory,
Bernie J. Lofaso,
1998,
Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).
Yannis Smaragdakis,
Christoph Csallner,
Ranjith Subramanian,
2007,
ASE.
Yannis Smaragdakis,
Yanlei Diao,
Christoph Reichenbach,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Yannis Smaragdakis,
Prodromos Gerakios,
Aggelos Biboudis,
2013,
OOPSLA.
Yannis Smaragdakis,
Matthew Might,
David Van Horn,
2010,
PLDI '10.
Yannis Smaragdakis,
Don S. Batory,
1999,
GCSE.
Yannis Smaragdakis,
George Kastrinis,
2018,
ECOOP.
Yannis Smaragdakis,
Paddy Krishnan,
Raghavendra Ramesh,
2020,
PLDI.
Yannis Smaragdakis,
Paul R. Wilson,
2000,
USENIX Annual Technical Conference, General Track.
Yannis Smaragdakis,
Reimer Behrends,
Takayuki Usui,
2009,
2009 18th International Conference on Parallel Architectures and Compilation Techniques.
Yannis Smaragdakis,
Prodromos Gerakios,
Aggelos Biboudis,
2014
.
Yannis Smaragdakis,
Xiaoxing Ma,
Tian Tan,
2021,
Proc. ACM Program. Lang..
Yannis Smaragdakis,
Neville Grech,
Sifis Lagouvardos,
2021,
Proc. ACM Program. Lang..
Yannis Smaragdakis,
Don Batory,
1995
.