Colin Gordon, PhD, an associate professor of computer science at Drexel University's College of Computing & Informatics (CCI) was recently named associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS), the premier journal for reporting recent research advances in the areas of programming languages, and systems to assist the task of programming.
Gordon's research interests include finding new ways to improve software reliability, especially providing strong static guarantees about program behavior, for concurrent and systems-level code. His previous work has focused on the formal verification of concurrent programs; he is also interested in other levels of formal assurance, programming models, distributed computing and testing. Gordon, whose industry experience includes working in an operating system incubation group at Microsoft and in Network Appliance Inc.'s filesystem group, previously served as senior research engineer at Samsung Research America. He holds both a PhD and MS in computer science from the University of Washington, and an ScB in computer science from Brown University.
TOPLAS features papers aimed at advancing the state of the art of programming languages and systems. The scope of TOPLAS includes, but is not limited to, subjects such as 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; and testing & verification of programs.
The Journal is overseen by the Association for Computing Machinery (ACM), the world’s largest computing society. As a leading global source for scientific information, ACM promotes computer research and innovation through its journals, magazines, and the proceedings of more than 170 annual conferences and symposia. ACM authors are among the world's leading thinkers in computing and information technologies, providing original research and firsthand perspectives.