params.json

{"name":"Programming Languages and Advanced Software Technologies","tagline":"","body":"# Programming Languages and Advanced Software Techonologies research group\r\n\r\nSupervised by Prof. Yannis Smaragdakis\r\n\r\n* Applied programming languages and software engineering:\r\n  * Language mechanisms for abstraction (declarative languages, program generation, DSLs, modules and components, generics, extensible languages, multi-paradigm programming)\r\n  * Program analysis and testing (pointer analysis, automatic test generation, invariant inference, symbolic execution)\r\n  * Languages and tools for systems (programming models for concurrency, language support for distributed computing, memory management and program locality)\r\n\r\n## Publications\r\n\r\n* \"More Sound Static Handling of Java Reflection\" (APLAS'15)\r\n* \"Automating Ad hoc Data Representation Transformations\" (OOPSLA'15)\r\n* \"Pointer Analysis\" (Foundations and Trends in PL)\r\n* \"Foo: A Minimal Modern OO Calculus\" (FTfJP'15)\r\n* \"jUCM: Universal Class Morphing\" (MASPEGHI'15)\r\n* \"Streams a la carte: Extensible Pipelines with Object Algebras\" (ECOOP'15)\r\n* \"In Defense of Soundiness: A Manifesto\" (CACM, Feb'15)\r\n* \"Clash of the Lambdas\" (ICOOOLPS'14)\r\n* \"Introspective Analysis: Context-Sensitivity, Across the Board\" (PLDI'14)\r\n* \"Class Hierarchy Complementation: Soundly Completing a Partial Type Graph\" (OOPSLA'13)\r\n* \"Forsaking Inheritance: Supercharged Delegation in DelphJ\" (OOPSLA'13)\r\n* \"Set-Based Pre-Processing for Points-To Analysis\" (OOPSLA'13)\r\n* \"Reified Type Parameters Using Java Annotations\" (GPCE'13)\r\n* \"Hybrid Context Sensitivity for Points-To Analysis\" (PLDI'13)\r\n* \"Efficient and Effective Handling of Exceptions in Java Points-To Analysis\" (CC'13)\r\n\r\n## Team Members\r\n\r\nProfessor [Yannis Smaragdakis](https://yanniss.github.io/)\r\n\r\n* Post Doctoral: [Kostas Saidis](http://cgi.di.uoa.gr/~saiko/), [George Fourtounis](http://www.softlab.ntua.gr/~gfour/)\r\n* Ph.D. students: [George Balatsouras](http://gbalats.github.io/), [Aggelos Biboudis](http://biboudis.github.io/), [George Kastrinis](http://gkastrinis.info/), George Kollias\r\n* M.Sc. students: Anastasis Antoniadis, Efthymios Hadjimichael\r\n","google":"","note":"Don't delete this file! It's used internally to help with page regeneration."}