Quicklinks

Portrait of Person: Derek Dreyer

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

Publications:

Title Date Date
 2011
POPL
2011
 Chung-Kil Hur, Derek Dreyer
 
 Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011
 2017
POPL
2017
 Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer
 NRA2
 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17)
 2010
POPL
2010
 Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
 
 Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010
 2014
POPL
2014
 Scott Kilpatrick, Derek Dreyer, Simon L. Peyton Jones, Simon Marlow
 
 The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014
 2015
2015
 Lars Birkedal, Derek Dreyer, Philippa Gardner, Zhong Shao
 NRA2
 Dagstuhl Reports
 2015
2015
 Lars Birkedal, Derek Dreyer, Philippa Gardner, Zhong Shao
 
 Dagstuhl Reports
 2014
2014
 Andreas Rossberg, Claudio V Russo, Derek Dreyer
 NRA2
 J. Funct. Program.
 2014
OOPSLA
2014
 Aaron Turon, Viktor Vafeiadis, Derek Dreyer
 NRA2
 Proc. of the 2014 ACM SIGPLAN International Conference on Object Oriented Programming Systems, Languages, and Applications (OOPSLA 2014)
 2016
ICFP
2016
 Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer
 
 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016
 2013
2013
 Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer
 NRA2
 J. Funct. Program.
 2013
2013
 Neelakantan R. Krishnaswami, Derek Dreyer
 
 Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy
 2015
POPL
2015
 Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer
 NRA2
 Proceedings of the 43nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'15)
 2016
POPL
2016
 Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis
 NRA2
 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'16)
 2013
POPL
2013
 Aaron Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer
 
 The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013
 2013
2013
 Andreas Rossberg, Derek Dreyer
 
 ACM Trans. Program. Lang. Syst.
 2013
2013
 Andreas Rossberg, Derek Dreyer
 
 ACM Trans. Program. Lang. Syst.
 2015
2015
 Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis
 NRA2
 J. Funct. Program.
 2013
ICFP
2013
 Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis
 NRA2
 Proc of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP '13)
 2011
2011
 Georg Neis, Derek Dreyer, Andreas Rossberg
 
 J. Funct. Program.
 2015
ICFP
2015
 Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis
 NRA2
 Proceedings of the 20st ACM SIGPLAN International Conference on Functional Programming (ICFP '15)
 2017
PLDI
2017
 Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer
 
 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017
 2017
PLDI
2017
 Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer
 
 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017
 2017
2017
 David Swasey, Deepak Garg, Derek Dreyer
 NRA2
 OOPSLA
 2018
2018
 Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer
 
 PACMPL
 2011
LICS
2011
 Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis
 
 Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada
 2016
2016
 Derek Dreyer, Mary Sheeran
 
 J. Funct. Program.
 2017
ECOOP
2017
 Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis
 
 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain
 2012
ICFP
2012
 Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg
 NRA2
 ACM SIGPLAN International Conference on Functional Programming (ICFP 2012)
 2017
2017
 Robbert Krebbers, Ralf Jung, Ales Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal
 
 Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
 2012
2012
 Derek Dreyer, Georg Neis, Lars Birkedal
 
 J. Funct. Program.
 2012
POPL
2012
 Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis
 
 Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012
 2013
POPL
2013
 Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis
 
 The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013
 2013
ICFP
2013
 Aaron Turon, Derek Dreyer, Lars Birkedal
 
 ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013
 2015
PLDI
2015
 Joseph Tassarotti, Derek Dreyer, Viktor Vafeiadis
 NRA2
 Proc. of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015)