software software-engineering programming-languages software-engineering software-design-tools software-verification debugging operating-systems process-management memory-management file-systems process-management concurrency deadlock threads memory-management distributed-memory garbage-collection virtual-memory information-systems database-administration data-mining information-retrieval database-administration transaction-logging database-security information-retrieval clustering relevance-feedback information-filtering