ull articles not 12 page abstracts, and are the normal form of refereed publication. The top conferences in each subeld (like POPL below) typically have the highest impact f...
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...