The SCEAS System
Navigation Menu

Conferences in DBLP

SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (pldi)
2009 (conf/pldi/2009plas)


  1. Language-based security on Android. [Citation Graph (, )][DBLP]


  2. ActionScript bytecode verification with co-logic programming. [Citation Graph (, )][DBLP]


  3. Encoding information flow in Aura. [Citation Graph (, )][DBLP]


  4. On PDG-based noninterference and its modular proof. [Citation Graph (, )][DBLP]


  5. Catch me if you can: permissive yet secure error handling. [Citation Graph (, )][DBLP]


  6. A weakest precondition approach to active attacks analysis. [Citation Graph (, )][DBLP]


  7. Measuring channel capacity to distinguish undue influence. [Citation Graph (, )][DBLP]


  8. An implementation and semantics for transactional memory introspection in Haskell. [Citation Graph (, )][DBLP]


  9. Flow-sensitive semantics for dynamic information flow policies. [Citation Graph (, )][DBLP]


  10. Efficient purely-dynamic information flow analysis. [Citation Graph (, )][DBLP]


  11. A language for information flow: dynamic tracking in multiple interdependent dimensions. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002