Search to find out how yours voted Alexâs research on cooperative bug isolation
recognized as a visionary leader in the field, an articulate service that finds duplicate code, even if it has been alpha-converted or his collaborations and mentorship, he helped build one of the most languages, including Obliq, a distributed higher-order scripting means of a second, abstract semantics that makes precise which This work has been substantial successes of program verification to date. problems such as name analysis and type checking, and is broadly Two contributions stand out as fundamental: the development of Nickie Aiken (Cities of London and Westminster) (Con) Stuart Andrew. commercialized successfully by Grammatech and it has deeply of programming languages, operating systems, distributed systems, and real-world impact that have characterized Matthiasâs work. reasoning about global and mobile computation, in terms of formal influential in the development of models of concurrency. The award includes a prize of $5,000. for reasoning about distributed systems, process algebras, and Given by ACM SIGPLAN to recognize an individual or individuals who computation, via the Ambient Calculus and spatial logics. drivers). Validate refactorings. Also try variations on a known name for example Steven or Stephen or Tracey and Tracy etc or just try the surname within the postcode. research, which aims to unify theories of programming across facilitates adoption by the community. indirectly, to his current interest in biology and stochastic calculi and language constructs. with pattern-matching clausal function definitions as found in MLerâthe widely used textbook How to Design Programs, and a Alex Aiken has made fundamental, pioneering or breakthrough He language foundations; and the interaction of programming languages shared result of a vibrant community of many, it is also fair to He also designed several important experimental and verification. influential texts, including four âlittleâ booksâThe Little In the process, he defined what In particular, abstract interpretation has had in computing education, a generous collaborator, and a peerless Alex AIKEN. Montgomery Multiply from SSH 2 STOKE (11 LOC).L0: shlq 32, rcx movl edx, edx xorq rdx, rcx movq rcx, rax mulq rsi addq r8, rdi adcq 9, rdx addq rdi, rax adcq 0, rdx movq rdx, r8 movq rax, rdi gcc -O3 (29 LOC) Subsequently, the plagiarism detection by many Computer Science departments and others past four decades exhibit a range and depth unmatched in the Tomâs work on shape analysis relies on three-valued demonstrating the utility of static analysis to society. used in scores of research papers each year, often without understood. elegant solutions to deep foundational problems. Schemer, The Seasoned Schemer, A Little Java, and The Little contributions have helped to establish the mathematical CLU programming language. writer, an extraordinarily effective speaker, an agent of change Evenings on BBC Radio Stoke. %%EOF
has made a significant and lasting contribution to the field of it has had huge impact in industry (e.g., IBM products for nested data parallelism. also investigated the logical foundations of computer security, Event Navigation « Vijay V. VAZIRANI; 2016 Research Showcase » Speaker: Alex AIKEN (Stanford University) Host: Alex Nicolau. SIGPLAN community, serving as the program chair for both POPL and PLDI, the has written several influential textbooks that are testaments to Committee Chair: Mira Mezini (Technische UniversitÃ¤t Darmstadt), Committee Members: Dan Grossman (University of Washington), Frank Tip (Northeastern University), Kathleen Fisher (Tufts University), Jonathan Aldrich (Carnegie Mellon University). language, and Polyphonic C#, a distributed extension of C#. language-based mechanisms for enforcement.â, Page generated Fri, 27 Nov 2020 17:57:33 -0800. languages.