Quicklinks
Decorative photo of one of the top-corners of the CISPA building
Portrait of Person: Derek Dreyer

Derek Dreyer (Other)
 
 Campus E1 5 | 66123 Saarbrücken | 405

Publications:

Title Date Date
 2017
POPL
2017
 Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer
 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17)
 2017
2017
 David Swasey, Deepak Garg, Derek Dreyer
 OOPSLA
 2016
POPL
2016
 Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis
 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'16)
 2015
2015
 Lars Birkedal, Derek Dreyer, Philippa Gardner, Zhong Shao
 Dagstuhl Reports
 2015
POPL
2015
 Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer
 Proceedings of the 43nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'15)
 2015
ICFP
2015
 Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis
 Proceedings of the 20st ACM SIGPLAN International Conference on Functional Programming (ICFP '15)
 2015
PLDI
2015
 Joseph Tassarotti, Derek Dreyer, Viktor Vafeiadis
 Proc. of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015)
 2015
2015
 Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis
 J. Funct. Program.
 2014
2014
 Andreas Rossberg, Claudio V Russo, Derek Dreyer
 J. Funct. Program.
 2014
OOPSLA
2014
 Aaron Turon, Viktor Vafeiadis, Derek Dreyer
 Proc. of the 2014 ACM SIGPLAN International Conference on Object Oriented Programming Systems, Languages, and Applications (OOPSLA 2014)
 2013
2013
 Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer
 J. Funct. Program.
 2013
ICFP
2013
 Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis
 Proc of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP '13)
 2012
ICFP
2012
 Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg
 ACM SIGPLAN International Conference on Functional Programming (ICFP 2012)