Manuel Fähndrich
发表
Alexander Aiken,
Zhendong Su,
Jeffrey S. Foster,
1998,
Types in Compilation.
Manuel Fähndrich,
Mehdi Bouaziz,
Francesco Logozzo,
2012,
APLAS.
James R. Larus,
Galen C. Hunt,
Chris Hawblitzel,
2006,
EuroSys.
K. Rustan M. Leino,
Manuel Fähndrich,
2003,
OOPSLA.
Alexander Aiken,
Manuel Fähndrich,
1995,
FPCA '95.
Robert DeLine,
Manuel Fähndrich,
R. DeLine,
2001,
PLDI '01.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2012,
ITiCSE '12.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2012,
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.
Jakob Rehof,
Manuvir Das,
Manuel Fähndrich,
2000
.
Jakob Rehof,
Manuel Fähndrich,
J. Rehof,
2008,
Mathematical Structures in Computer Science.
Manuel Fähndrich,
Gregory Morrisett,
2005
.
James R. Larus,
Manuel Fähndrich,
Michael Carbin,
2006,
GPCE '06.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2013,
PLDI.
Manuel Fähndrich,
2009,
PLPV '09.
Manuel Fähndrich,
Francesco Logozzo,
Manuel Fähndrich,
2008,
SAC '08.
Nikolai Tillmann,
Jonathan de Halleux,
Michal Moskal,
2011,
Onward! 2011.
Nikolai Tillmann,
Michal Moskal,
Manuel Fähndrich,
2011
.
K. Rustan M. Leino,
Peter Müller,
Wolfram Schulte,
2011,
Commun. ACM.
Manuel Fähndrich,
Francesco Logozzo,
Manuel Fähndrich,
2013
.
Manuel Fähndrich,
Jeannette M. Wing,
Scott Nettles,
1993
.
Robert DeLine,
Manuel Fähndrich,
R. DeLine,
2004,
ECOOP.
Patrick Cousot,
Radhia Cousot,
Manuel Fähndrich,
2012,
SPLASH '12.
César Sánchez,
Zhendong Su,
Manuel Fähndrich,
2013,
IEEE Transactions on Software Engineering.
Manuel Fähndrich,
Francesco Logozzo,
Manuel Fähndrich,
2010,
FoVeOOS.
Mike Barnett,
Diego Garbervetsky,
Manuel Fähndrich,
2007
.
Manuel Fähndrich,
Francesco Logozzo,
2012,
Electron. Notes Theor. Comput. Sci..
James R. Larus,
Galen C. Hunt,
Chris Hawblitzel,
2007,
EuroSys '07.
K. Rustan M. Leino,
Robert DeLine,
Wolfram Schulte,
2003,
J. Object Technol..
Alexander Aiken,
Zhendong Su,
Manuel Fähndrich,
2000,
POPL '00.
Sebastian Burckhardt,
Daan Leijen,
Jonathan Protzenko,
2015,
ECOOP.
Alexander Aiken,
Jeffrey S. Foster,
Manuel Fähndrich,
1999,
PLDI '99.
K. Rustan M. Leino,
Robert DeLine,
Wolfram Schulte,
2005,
VSTTE.
Robert DeLine,
Manuel Fähndrich,
R. DeLine,
2002,
PLDI '02.
Manuel Fähndrich,
M. Fähndrich,
2010,
SAS.
Sebastian Burckhardt,
Daan Leijen,
Manuel Fähndrich,
2011
.
Manuel Fähndrich,
2005
.
Alexander Aiken,
Zhendong Su,
Manuel Fähndrich,
1998,
TACAS.
Nikolai Tillmann,
Wolfram Schulte,
Manuel Fähndrich,
2010,
OOPSLA.
Nikolai Tillmann,
Wolfram Schulte,
Michal Moskal,
2010
.
Manuel Fähndrich,
Alex Aiken,
1997
.
James R. Larus,
Robert DeLine,
Sriram K. Rajamani,
2004,
IEEE Software.
Manuel Fähndrich,
Francesco Logozzo,
2008,
SAC '08.
Jeffrey S. Foster,
Manuel Fähndrich,
Alex Aiken,
1998
.
Nikolai Tillmann,
Jonathan de Halleux,
Michal Moskal,
2012,
ASE.
Manuel Fähndrich,
2014,
PEPM '14.
Daan Leijen,
Manuel Fähndrich,
Francesco Logozzo,
2012,
2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI).
Pietro Ferrara,
Manuel Fähndrich,
Francesco Logozzo,
2008,
OOPSLA '08.
Sam Blackshear,
Shuvendu K. Lahiri,
Manuel Fähndrich,
2014,
PLDI.
Manuel Fähndrich,
Francesco Logozzo,
Manuel Fähndrich,
2008
.
Nikolai Tillmann,
Jonathan de Halleux,
Manuel Fähndrich,
2009,
2009 31st International Conference on Software Engineering - Companion Volume.
Manuel Fähndrich,
Alex Aiken,
Alex Aiken,
1996
.
K. Rustan M. Leino,
Manuel Fähndrich,
K. Leino,
2003
.
Peter W. O'Hearn,
Manuel Fähndrich,
Francesco Logozzo,
2019,
Commun. ACM.
Manuel Fähndrich,
Alex Aiken,
1996
.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2012,
2012 IEEE 25th Conference on Software Engineering Education and Training.
Alexander Aiken,
Manuel Fähndrich,
A. Aiken,
1997,
SAS.
Wolfram Schulte,
Diego Garbervetsky,
Manuel Fähndrich,
2008,
J. Object Technol..
Alexander Aiken,
Manuel Fähndrich,
Raph Levien,
1995,
PLDI '95.
K. Rustan M. Leino,
Manuel Fähndrich,
2003,
OOPSLA 2003.
James R. Larus,
Galen C. Hunt,
Chris Hawblitzel,
2006,
MSPC '06.
Sebastian Burckhardt,
Daan Leijen,
Manuel Fähndrich,
2012
.
Sebastian Burckhardt,
Benjamin P. Wood,
Daan Leijen,
2012,
ECOOP.
Jakob Rehof,
Manuel Fähndrich,
J. Rehof,
2001,
POPL '01.
Manuel Fähndrich,
Francesco Logozzo,
2008,
CC.
Jakob Rehof,
Manuvir Das,
Manuel Fähndrich,
2000,
PLDI '00.
Jakob Rehof,
Manuvir Das,
Manuel Fähndrich,
2001,
SAS.
Martín Abadi,
James R. Larus,
Galen C. Hunt,
2005
.
Alexander Aiken,
Zhendong Su,
Jeffrey S. Foster,
1998,
PLDI.
Sebastian Burckhardt,
Daan Leijen,
Manuel Fähndrich,
2011,
Haskell.
Wolfram Schulte,
Diego Garbervetsky,
Manuel Fähndrich,
2007
.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2012,
SIGSOFT FSE.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2012,
SIGCSE '12.
Alexander Aiken,
Jeffrey S. Foster,
Manuel Fähndrich,
2000,
SAS.
Manuel Fähndrich,
Francesco Logozzo,
Michael Barnett,
2010,
SAC '10.
Alexander Aiken,
Zhendong Su,
Manuel Fähndrich,
1998,
International Journal on Software Tools for Technology Transfer.
Sebastian Burckhardt,
Daan Leijen,
Shmuel Sagiv,
2012,
ESOP.
Patrick Cousot,
Radhia Cousot,
Manuel Fähndrich,
2013,
VMCAI.
John Tang Boyland,
Manuel Fähndrich,
Manuel Fähndrich,
1997,
ICFP '97.
Manuel Fähndrich,
Jeannette M. Wing,
Scott Nettles,
1992
.
Manuel Fähndrich,
Francesco Logozzo,
2010
.
Songtao Xia,
Manuel Fähndrich,
Francesco Logozzo,
2009,
SAS.
Jakob Rehof,
Sriram K. Rajamani,
Manuel Fähndrich,
2008
.
K. Rustan M. Leino,
Robert DeLine,
Wolfram Schulte,
2017
.
Songtao Xia,
Manuel Fähndrich,
2007,
OOPSLA.
Nikolai Tillmann,
Michal Moskal,
Manuel Fähndrich,
2011
.
Manuel Fähndrich,
Alex Aiken,
A. Aiken,
1999
.
Brian Zill,
Chris Hawblitzel,
Ted Wobber,
2006
.
Sebastian Burckhardt,
Daan Leijen,
Mooly Sagiv,
2011
.