Popl.mpi-sws.org

I don’t have the hard data at hand, but my impression of the field of computer science that I did my graduate work in and continue to apply in my career — programming languages — is that it’s unusually homogeneous, even for computer...

19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) http://bit.ly/PADL-2017 Paris, France 16th and 17th January 2017 Co-located with ACM POPL 2017 (http://conf.researchr.org/home/POPL-2017) The two best papers...

The Publication Process in Programming Languages There was an interesting discussion at the ACM SIGPLAN Meeting at POPL 2014 regarding the problems and potential solutions with the publication process within programming languages. The discussion centered...

Here is my latest work on bringing Data Types a la Carte to Coq. Get the full paper here. Delaware, Ben and Oliveira, Bruno C.d.S. and Schrijvers, Tom. Meta-Theory à la Carte. Accepted at POPL 2013. Formalizing meta-theory, or proofs about programming...

It is our great pleasure to welcome Professor Roberto Giacobazzi of the University of Verona, Italy as an IMDEA Software Institute visiting faculty member. Roberto is best known for his extensive and foundational work on abstract interpretation: both...