.(JavaScript must be enabled to view this email address)
Language design for sequential and parallel programming, Programming language implementation; Programming language semantics; Compilers and interpreters; Runtime systems for program execution; Storage allocation and garbage collection; Languages and methods for writing program specifications; Languages and methods for secure and reliable programs; Testing and verification of programs
.(JavaScript must be enabled to view this email address)
Information and Systems Security, including: security technologies, secure systems, security applications, and security policies. Security technologies include access control, assurance, authentication, cryptography, intrusion detection, penetration techniques, risk analysis, and secure protocols. Security systems include security in operating systems, database systems, networks and distributed systems, and middleware. Representative security applications areas are information systems, workflow systems, electronic commerce, electronic cash, copyright and intellectual property protection, telecommunications systems, and healthcare. Security policies encompass confidentiality, integrity, availability, privacy, and survivability policies, including tradeoff and conflicts amongst these.
.(JavaScript must be enabled to view this email address)
Document Representation and Content Analysis, Queries and Query Analysis, Retrieval Models and Ranking, Search Engine Architectures and Scalability, Users and Interactive IR, Filtering and Recommending, Evaluation, Web IR and Social Media Search, IR and Structured Data, Multimedia IR, Digital Libraries, and their applications.
.(JavaScript must be enabled to view this email address)
Language design for sequential and parallel programming, Programming language implementation; Programming language semantics; Compilers and interpreters; Runtime systems for program execution; Storage allocation and garbage collection; Languages and methods for writing program specifications; Languages and methods for secure and reliable programs; Testing and verification of programs
.(JavaScript must be enabled to view this email address)
Massively parallel machines; Embedded parallel and distributed systems; Multi- and many-core systems; GPU and FPGA based parallel systems; Parallel I/O; memory organisation; Distributed and network-based computing; Models and tools; Systems and architectures; Algorithms and applications.
.(JavaScript must be enabled to view this email address)
Bioinformatics, Computational Biology, and Biomedical Informatics, including Genomics and Evolution; Protein and RNA Structure, Protein Function, and Proteomics; Computational Systems Biology; Next Generation Sequencing Data; Medical Informatics and Translational Bioinformatics; Cross-Cutting Computational Methods; Bioinformatics Infrastructure; Immunoinformatics and Computational Immunology; Computational Epidemiology; Image Analysis; Knowledge Representation and Inference; Integration of Biomedical Data; Databases, Ontologies; and Text Mining and Natural Language Processing
.(JavaScript must be enabled to view this email address)
Spatial and spatio-temporal databases, GIS, location-based services, computational geometry, spatial analysis and integration, spatial modeling and reasoning, transportation, and spatial data structures and algorithms.
.(JavaScript must be enabled to view this email address)
History of Computing, and Ethical and Social Impact of Computing.
.(JavaScript must be enabled to view this email address)
Design, Engineering, User Experience, Usability, Digital Arts, Games and Entertainment, Health, Sustainability, CSCW, Social Computing, HCI & Socioeconomic Development (HCI4D).
.(JavaScript must be enabled to view this email address)
Agile software development, Architecture and design, Aspect-orientation, Autonomic computing, Cloud computing, Component-based software engineering, Configuration management and deployment, Crowdsourcing, Debugging, Dependability, safety, and reliability, Development tools and environments, Embedded software, Empirical software engineering, End-user software engineering, Feature/goal modeling and analysis, Formal methods, Generative programming, Green technologies, Human-computer interaction/human factors, Mobile applications, Model-driven engineering, Parallel/distributed systems, Patterns and frameworks; Performance, Program comprehension, Programming languages, Refactoring, Requirements engineering, Reverse engineering, Search-based software engineering, Security, (Self-)adaptive systems, Software economics and metrics, Software evolution and maintenance, Software processes and workflows, Software reuse, Software services, Software testing and analysis, Software visualization, Traceability, Ubiquitous/pervasive software systems, Validation and verification, Web-based software