[TYPES/announce] PLDI: Call for papers - one month to go

Matt Might might at cs.utah.edu
Fri Oct 7 12:23:44 EDT 2011

** Important Dates **

 Paper submission:   6 November 2011 (One month away)
 Author response:    21-23 December 2011
 Notification:       2 February 2012
 Conference:         11-16 June 2012

In 2012, the SIGPLAN conference on Programming Language Design and
Implementation will be hosted in Beijing, China, and it will be
co-located with ECOOP, LCTES, ISMM, TRANSACT, STOP, ASAIC and more!

The organizers strongly encourage paper submissions related to:

 - Language designs and extensions
 - Static and dynamic analysis of programs
 - Domain-specific languages and tools
 - Performance analysis, evaluation, and tools
 - Program transformation and optimization
 - Interaction of compilers/runtimes with underlying systems
 - Checking or improving the security or correctness of programs
 - Program synthesis
 - Memory management
 - Program understanding
 - Novel programming models
 - Debugging techniques and tools
 - Type systems and program logics
 - Parallelism, both implicit and explicit

(Submissions are by no means restricted to these topics.)

For more information on PLDI, please see the PLDI 2012 web site:



Matt Might (on behalf of the PLDI 2012 organizers)

More information about the Types-announce mailing list