Some pl research goals Design and Implementation Easy to use design), efficient executable code(impl) Multicore/Parallel/Distributed programming Flaw detection static, dynamic, etc Related fields: OS, architecture domain specific fields Principles and Theories Semantics and Properties(e. g expressiveness)of Programming Languages Principles and theories for safety/security/correctness Program analysis and verification Related fields logic and algebra, computation theorySome PL Research Goals • Design and Implementation – Easy to use (design), efficient executable code (impl) – Multicore/Parallel/Distributed programming – Flaw detection: static, dynamic, etc. – Related fields: OS, architecture, domain specific fields • Principles and Theories – Semantics and Properties (e.g. expressiveness) of Programming Languages – Principles and theories for safety/security/correctness – Program analysis and verification – Related fields: logic and algebra, computation theory