Reinhard Wilhelm | |
|---|---|
 Reinhard Wilhelm, 2014 | |
| Born | 5 June 1946 |
| Alma mater | University of Münster, Stanford University, Technical University Munich |
| Known for | compiler technology |
| Awards | Konrad Zuse Medal (2009) Merit Cross on Ribbon (2010) ACM Distinguished Service Award (2011) |
| Scientific career | |
| Fields | Computer Scientist |
| Institutions | Saarland University |
Reinhard Wilhelm (born June 5, 1946) is a German computer scientist.
Wilhelm was born in Deutmecke , today part of the municipality of Finnentrop, Westphalia. He studied math, physics and mathematical logic at University of Münster and computer science at Technical University Munich and Stanford University. He finished his PhD at TU Munich in 1977. In 1978, he obtained a professorship at Saarland University, where he led the chair for programming languages and compiler construction until his retirement in 2014. In addition, Wilhelm has held the post of scientific director of the Leibniz Center for Informatics at Schloss Dagstuhl from its inception in 1990 until 2014. Today he is a professor emeritus at Saarland University.
Wilhelm is one of the co-founders of the European Symposium on Programming (ESOP) and the European Joint Conferences on Theory and Practice of Software (ETAPS). The European Association for Programming Languages (EAPLS) goes back to his idea to found an organization for advancing research on programming languages and programming systems. [1] In 1998, he founded AbsInt, a research spin-off that offers software-quality assurance tools based on abstract interpretation, among them tools for the verification of real-time requirements, used for example for certification of the time-critical embedded systems inside the Airbus A380. [2]
Wilhelm's research focuses on programming languages, compiler construction, static program analysis and embedded real time systems, but also includes animation and visualization of algorithms and data structures. Wilhelm discovered connections between code selection and the theory of regular tree automata, which is relevant for code generation using tree automata. He is one of the co-developers of the MUG1, MUG2 and OPTRAN compiler generators, which are based on attribute grammars. Together with Ulrich Möncke, he proposed grammar flow analysis as a generalization of interprocedural data flow analysis. He invented a popular shape analysis based on three-valued logic together with Mooly Sagiv and Tom Reps.
Wilhelm is co-author of the book Compiler Construction, which teaches compilers not only for imperative languages, but for object-oriented, functional and logical ones as well and stresses theoretical foundation. It is available in German and French, too.
Wilhelm became a fellow of the ACM in 2000 for his research on compiler construction and program analysis and his work as a scientific director of the LZI. [3] The TU Darmstadt and the Fraunhofer-Institut für Graphische Datenverarbeitung awarded him with the Alwin-Walther medal in 2006. In 2007 the French Ministry of Education and Research awarded him with the Gay-Lussac-Humboldt prize for his contributions to science and his achievements in German–French cooperation in research and education. [4] He became a member of the European academy of sciences (Academia Europaea) in 2008. [5] October of the same year he was awarded an honorary doctorate of the RWTH Aachen. [6] In December, he obtained an honorary degree of Tartu University. [7] In September 2009, he was awarded the Konrad Zuse Medal for his achievements in research and education with respect to compiler construction, real time analysis of programs and his service as scientific director of the LZI/Schloss Dagstuhl. [8] In 2010 he was awarded the Cross of the Order of Merit of the Federal Republic of Germany and the ACM Distinguished Service Award . [9] In 2013 he was accepted into the German National Academy Leopoldina. He received the Test-of-Time award at the international conference ESWEEK 2019 for the long term impact of his research on execution time bounds. [10] In 2020, the IEEE Technical Committee on Real Time Systems awarded him their Outstanding Technical Achievement and Leadership Award. [11] In 2021, he received the Test-of-Time Award of the IEEE Technical Committee on Real-Time Systems (TCRTS) for the article "The influence of processor architecture on the design and the results of WCET tools". [12]
In computing, a compiler is a computer program that translates computer code written in one programming language into another language. The name "compiler" is primarily used for programs that translate source code from a high-level programming language to a low-level programming language to create an executable program.
The Z3 was a German electromechanical computer designed by Konrad Zuse in 1938, and completed in 1941. It was the world's first working programmable, fully automatic digital computer. The Z3 was built with 2,600 relays, implementing a 22-bit word length that operated at a clock frequency of about 5–10 Hz. Program code was stored on punched film. Initial values were entered manually.
Semantic analysis or context sensitive analysis is a process in compiler construction, usually after parsing, to gather necessary semantic information from the source code. It usually includes type checking, or makes sure a variable is declared before use which is impossible to describe in the extended Backus–Naur form and thus not easily detected during parsing.
DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since November 2018, DBLP is a branch of Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI). DBLP listed more than 5.4 million journal articles, conference papers, and other publications on computer science in December 2020, up from about 14,000 in 1995 and 3.66 million in July 2016. All important journals on computer science are tracked. Proceedings papers of many conferences are also tracked. It is mirrored at three sites across the Internet.
The Max Planck Institute for Informatics is a research institute in computer science with a focus on algorithms and their applications in a broad sense. It hosts fundamental research as well a research for various application domains.
Dagstuhl is a computer science research center in Germany, located in and named after a district of the town of Wadern, Merzig-Wadern, Saarland.
Friedrich Ludwig "Fritz" Bauer was a German pioneer of computer science and professor at the Technical University of Munich.
Wadern is a municipality in the federal state Saarland, which is situated in the southwest of Germany. It is part of the district Merzig-Wadern. Wadern consists of 13 urban districts with approximately 16.000 inhabitants. With 143 inhabitants per km2 it is sparsely populated, but, with an area of 111 km2, Wadern is the third largest municipality in Saarland after Saarbrücken and St. Wendel. The town is divided into 14 urban districts and altogether 24 villages belong to the commune. The town is part of the Moselle Franconian language area.
In program analysis, shape analysis is a static code analysis technique that discovers and verifies properties of linked, dynamically allocated data structures in computer programs. It is typically used at compile time to find software bugs or to verify high-level correctness properties of programs. In Java programs, it can be used to ensure that a sort method correctly sorts a list. For C programs, it might look for places where a block of memory is not properly freed.
Kurt Mehlhorn is a German theoretical computer scientist. He has been a vice president of the Max Planck Society and is director of the Max Planck Institute for Computer Science.
GrammaTech is a cybersecurity research services company based in Ithaca, New York. The company was founded in 1988 as a technology spin-off of Cornell University. GrammaTech software research services include the following; software analysis, vulnerability detection and mitigation, binary transformation and hardening, and autonomous computing. In September 2023, Battery Ventures acquired GrammaTech's software products division, including the CodeSonar and CodeSentry product lines. Thus establishing a new, independent entity that will operate under the CodeSecure, Inc. name and be headquartered in Bethesda, Maryland.
Raimund G. Seidel is a German and Austrian theoretical computer scientist and an expert in computational geometry.
The German Informatics Society (GI) is a German professional society for computer science, with around 20,000 personal and 250 corporate members. It is the biggest organized representation of its kind in the German-speaking world.
AbsInt is a software-development tools vendor based in Saarbrücken, Germany. The company was founded in 1998 as a technology spin-off from the Department of Programming Languages and Compiler Construction of Prof. Reinhard Wilhelm at Saarland University. AbsInt specializes in software-verification tools based on abstract interpretation. Its tools are used worldwide by Fortune 500 companies, educational institutions, government agencies and startups.
Thomas W. Reps is an American computer scientist known for his contributions to automatic program analysis. Dr. Reps is Professor of Computer Science in the Computer Sciences Department of the University of Wisconsin–Madison, which he joined in 1985. Reps is the author or co-author of four books and more than one hundred seventy-five papers describing his research. His work has covered a wide variety of topics, including program slicing, data-flow analysis, pointer analysis, model checking, computer security, instrumentation, language-based program-development environments, the use of program profiling in software testing, software renovation, incremental algorithms, and attribute grammars.
Susan Beth Horwitz was an American computer scientist noted for her research on programming languages and software engineering, and in particular on program slicing and dataflow-analysis. She had several best paper and an impact paper award mentioned below under awards.
The International Summer School Marktoberdorf is an annual two-week summer school for international computer science and mathematics postgraduate students and other young researchers, held annually since 1970 in Marktoberdorf, near Munich in southern Germany. Students are accommodated in the boarding house of a local high school, Gymnasium Marktoberdorf. Proceedings are published when appropriate.
Thomas Lengauer is a German computer scientist and computational biologist.
Mooly (Shmuel) Sagiv is an Israeli computer scientist known for his work on static program analysis. He is currently Chair of Software Systems in the School of Computer Science at Tel Aviv University, and CEO of Certora, a startup company providing formal verification of smart contracts.
In computer science, choreographic programming is a programming paradigm where programs are compositions of interactions among multiple concurrent participants.
| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
