Ben L. Titzer
发表
Alon Zakai,
Andreas Haas,
Derek L. Schuff,
2018,
Commun. ACM.
Hannes Payer,
Ben L. Titzer,
Daniel Clifford,
2015,
ISMM.
Jens Palsberg,
Ben L. Titzer,
2009,
Semantics and Algebraic Specification.
Ben L. Titzer,
2011
.
Jens Palsberg,
Joshua S. Auerbach,
David F. Bacon,
2007,
PLDI '07.
Christoph M. Kirsch,
Ben L. Titzer,
2019,
ISMM.
Jens Palsberg,
Ben L. Titzer,
2007,
CASES '07.
Jens Palsberg,
Ben L. Titzer,
J. Palsberg,
2005,
LCTES '05.
Jens Palsberg,
Ben L. Titzer,
2004
.
Hannes Payer,
Ben L. Titzer,
Daniel Clifford,
2014,
ISMM '14.
Klaus Wehrle,
Jens Palsberg,
Olaf Landsiedel,
2005,
PIK Prax. Informationsverarbeitung Kommun..
Ben L. Titzer,
2013,
PLDI.
Jan Vitek,
Filip Pizlo,
Tomas Kalibera,
2011,
Concurr. Comput. Pract. Exp..
Jens Palsberg,
Ben L. Titzer,
Keith Mayoral,
2005
.
Laurent Daynès,
Grzegorz Czajkowski,
Ben L. Titzer,
2003,
USENIX Annual Technical Conference, General Track.
Jens Palsberg,
Ben L. Titzer,
2005,
LCTES '05.
Ben L. Titzer,
2006,
OOPSLA '06.
Ben L. Titzer,
2013,
PLDI.
Jens Palsberg,
Ben L. Titzer,
Daniel K. Lee,
2005,
IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..
Thomas Würthinger,
Doug Simon,
Marcelo Cintra,
2010,
VEE '10.
Jan Vitek,
Filip Pizlo,
Ales Plsek,
2009,
JTRES '09.
Alon Zakai,
Andreas Haas,
Derek L. Schuff,
2017,
PLDI.
Toon Verwaest,
Ross McIlroy,
Ben L. Titzer,
2019,
ArXiv.
Ben L. Titzer,
2022,
ArXiv.
Ben L. Titzer,
2023,
ArXiv.
Ben L. Titzer,
J. Vitek,
F. Pizlo,
2009,
JTRES '09.
Ben L. Titzer,
Arjun Ramesh,
Tianshu Huang,
2023,
ArXiv.
Derek L. Schuff,
Ben L. Titzer,
Luke Wagner,
2017,
PLDI.