[TYPES/announce] PLDI 2014: Call for papers

[Manu Sridharan]

*** IMPORTANT DATES ***
Abstracts:        8 November 2013
Paper submission: 15 November 2013
Rebuttal period:  22-24 January 2014
Notification:     5 February 2014
URL:              http://conferences.inf.ed.ac.uk/pldi2014/


*** INFORMATION ***
PLDI is a forum for the exchange of information on programming
languages, their design, implementation, development, and use. PLDI
emphasizes innovative and creative approaches to compile-time and
runtime technology, novel language designs and features, and results
from implementations. Papers are solicited on, but not limited to, the
following topics:

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

Submissions must be in ACM SIGPLAN proceedings format, 9-point type,
and may not exceed 10 pages (all inclusive).  Submissions should be
written to allow for double-blind reviewing.

For full submission guidelines, please refer to the web page:

  http://conferences.inf.ed.ac.uk/pldi2014/



On behalf of the PLDI 2014 organizers,

Michael O'Boyle (General Chair)
Keshav Pingali (Program Chair)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130917/0b407b8f/attachment.html>