GrammaTech Co-Founder and President recognized for contributions in incremental computation, program slicing and dataflow analysis, shape analysis, and analysis of binary code.
JANUARY 2018
ITHACA, NY.
GrammaTech, a leading developer of software-assurance tools and advanced cyber-security solutions, today announced that Thomas W. Reps, GrammaTech Co-Founder and President, and Professor of Computer Science at the University of Wisconsin-Madison, has been awarded the prestigious Programming Languages Achievement Award at the Association for Computing Machinery’s (ACM) annual symposium on Principles of Programming Languages.
The Programming Languages Achievement Award recognizes an individual or individuals who has made a significant and lasting contribution to the field of programming languages. Reps is recognized for his influence on a diverse range of topics that include incremental computation, program slicing and dataflow analysis, shape analysis, and analysis of binary code. Reps’ research has become widely adopted and has resulted highly practical and industrial applications, including many of the underpinnings of GrammaTech’s static analysis solutions for source and binary.
“I am greatly honored to receive this award, particularly because it comes from my main research community,” says Reps. “When I looked at the list of past recipients, after getting over my initial awe, what came to mind was the pleasure of remembering the deep intellectual conversations – the exchange of ideas in their papers and mine – that I’ve been able to have with almost half of them.”
The Programming Languages Achievement Award committee is comprised of Emery Berger (University of Massachusetts Amherst), Dan Grossman (University of Washington), Frank Tip (Northeastern University), Kathleen Fisher(Tufts University), and Jonathan Aldrich (Carnegie Mellon University).
In addition to the Programming Languages Achievement Award, Reps’ other major honors in computer science include the NSF Presidential Young Investigator Award (1986), Packard Fellowship (1988), Humboldt Research Award (2000) and Guggenheim Fellowship (2000). He is an ACM Fellow (2005), a foreign member of the Academia Europaea (2013), the Batra Chair in Computer Sciences (2015), and his citation impact is among the highest in the entire field of programming languages.
About GrammaTech
GrammaTech’s advanced static analysis tools are used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount. Originally developed within Cornell University, GrammaTech is now a leading research center for software security and a commercial vendor of software-assurance tools and advanced cyber-security solutions. With both static and dynamic analysis tools that analyze source code as well as binary executables, GrammaTech continues to advance the science of superior software analysis, providing technology for developers to produce safer software. For more information, visit www.grammatech.com or follow us on LinkedIn.
About ACM
ACM, the Association for Computing Machinery, is the world’s largest educational and scientific computing society, uniting educators, researchers and professionals to inspire dialogue, share resources and address the field’s challenges. ACM strengthens the computing profession’s collective voice through strong leadership, promotion of the highest standards, and recognition of technical excellence. ACM supports the professional growth of its members by providing opportunities for life-long learning, career development, and professional networking.