[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
** 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:
http://pldi12.cs.purdue.edu/
Sincerely,
Matt Might (on behalf of the PLDI 2012 organizers)
