Jens Knoop
Institut für Computersprachen
Programmiersprachen und Übersetzer

Professional Activities

Conference and Programme Chair, Programme Committee Member

Current

• General Chair. 9th European Joint Conferences on Theory and Practice of Software ETAPS 2006 (Vienna, Austria, March/April 2006).

• Co-Organizer. Dagstuhl Seminar 05311 on "Verifying Optimizing Compilers", Schloß Dagstuhl, Germany, July 31 - August 5, 2005.

• Programme Committee Member. 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2005 (Edinburgh, UK, April 2005). Member conference of the 8th European Joint Conferences on Theory and Practice of Software ETAPS 2005 (Edinburgh, UK, April 2 - 10, 2005).

• Programme Committee Member. 5th International Workshop on Language Descriptions, Tools and Applications LDTA 2005 (Edinburgh, UK, April 3, 2005). In conjunction with the 8th European Joint Conferences on Theory and Practice of Software ETAPS 2005 (Edinburgh, UK, April 2 - 10, 2005).

• General Co-Chair and Programme Committee Co-Chair. 4th International Workshop on Compiler Optimization Meets Compiler Verification COCV 2005 (Edinburgh, UK, April 3, 2005). In conjunction with the 8th European Joint Conferences on Theory and Practice of Software ETAPS 2005 (Edinburgh, UK, April 2 - 10, 2005).

• Co-Organizer. Dagstuhl Seminar 05101 on "Scheduling for Parallel Architectures: Theory, Applications, Challenges," Schloß Dagstuhl, Germany, March 6 - 11, 2005.

• Organizer. 43rd Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Baden near Vienna, Austria, January 3 - 7, 2005.

• Programme Committee Member and Thematic Session Chair. First International Symposium on Leveraging Applications of Formal Methods ISoLA 2004 (Cyprus, October 30 - November 2, 2004).

Past

• Programme Committee Member and Invited Speaker. 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing SYNASC 2004 (Timisoara, Romania, September 26 - 30, 2004).

• Programme Committee Member. 3. Arbeitstagung Programmiersprachen ATPS 2004 (in German) (Ulm, Germany, September 24, 2004). In conjunction with INFORMATIK 2004 - Informatik verbindet, 34. GI-Jahrestagung. (Ulm, Germany, September 20 - 24, 2004).

• Programme Committee Member. 11th Static Analysis Symposium SAS 2004 (Verona, Italy, August 26 - 28, 2004).

• Invited Speaker. 11th International Workshop on Abstract State Machines ASM 2004 (Lutherstadt Wittenberg, Germany, May 24 - 28, 2004).

• Programme Committee Member. 4th International Workshop on Language Descriptions, Tools and Applications LDTA 2004 (Barcelona, Spain, April 3, 2004). In co-operation with ACM SIGPLAN. In conjunction with the 7th European Joint Conferences on Theory and Practice of Software ETAPS 2004 (Barcelona, Spain, March 27 - April 4, 2004).

• General Co-Chair and Programme Committee Co-Chair. 3rd International Workshop on Compiler Optimization Meets Compiler Verification COCV 2004 (Barcelona, Spain, April 3, 2004). In conjunction with the 7th European Joint Conferences on Theory and Practice of Software ETAPS 2004 (Barcelona, Spain, March 27 - April 4, 2004).

• Programme Committee Member. Educators' Symposium as part of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 2003 (Anaheim, California, USA, October 26 - 30, 2003).

• Co-Organizer. Dagstuhl Seminar 03431 on "Hardware and Software Consistency Models: Programmability and Performance," Schloß Dagstuhl, Germany, October 19 - 24, 2003.

• Programme Committee Member. 6th International Joint Modular Languages Conference JMLC 2003 (Klagenfurt, Austria, August 25 - 27, 2003).

• General Co-Chair and Programme Committee Co-Chair. 2nd International Workshop on Compiler Optimization Meets Compiler Verification COCV 2003 (Warsaw, Poland, April 12, 2003). In conjunction with the 6th European Joint Conferences on Theory and Practice of Software ETAPS 2003 (Warsaw, Poland, April 5 - 13, 2003).
  • COCV 2003 Web Site
  • ETAPS 2003 Web Site

• Finance Chair. ACM SIGPLAN 2002 Joint Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2002) and Software and Compilers for Embedded Systems (SCOPES 2002) (Berlin, Germany, June 19 - 21, 2002).
  • LCTES/SCOPES 2002 Web Site
  • Proceedings
  • LCTES Conference Series
  • SCOPES Conference Series

• General Chair, Finance Chair, and Programme Committee Member. ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation PLDI (Berlin, Germany, June 17 - 19, 2002).
  • PLDI 2002 Web Site
  • Proceedings
  • PLDI Conference Series

• General Co-Chair and Programme Committee Co-Chair. International Workshop on Compiler Optimization Meets Compiler Verification COCV 2002 (Grenoble, France, April 13, 2002). In conjunction with the 5th European Joint Conferences on Theory and Practice of Software ETAPS 2002 (Grenoble, France, April 6 - 14, 2002).
  • COCV 2002 Web Site
  • Proceedings
  • J.UCS Special Issue
  • ETAPS 2002 Web Site

• Global Topic Chair. 7th European Conference on Parallel Processing Euro-Par 2001 (Manchester, UK, August 28 - 31, 2001).
  Global chair of topic 04 " Compilers for High Performance."
  • Euro-Par 2001 Web Site
  • Proceedings
  • Preface of Topic 04
  • Euro-Par Conference Series

• Co-Organizer. Dagstuhl Seminar 00381 on "Code Optimisation: Trends, Challenges, and Perspectives," Schloß Dagstuhl, Germany, September 17 - 22, 2000.
  • Seminar's External Home Page
  • Participants

• Local Topic Chair. 6th European Conference on Parallel Processing Euro-Par 2000 (Munich, Germany, August 29 - September 1, 2000).
  Local chair of topic 04 " Compilers for High Performance."
  • Euro-Par 2000 Web Site
  • Proceedings
  • Preface of Topic 04
  • Euro-Par Conference Series

• Programme Committee Member. ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation PLDI (Vancouver B.C., Canada, June 18 - 21, 2000).
  • Advance program
  • PLDI 2000 Web Site
  • Call for papers
  • Proceedings
  • PLDI Conference series

• Programme Committee Member. 2. Arbeitstagung Programmiersprachen ATPS'99 (in German) (Paderborn, Germany, October 6, 1999). In conjunction with INFORMATIK'99, 29. GI-Jahrestagung. (Paderborn, Germany, October 1999).

• Programme Committee Member. Arbeitstagung Programmiersprachen ATPS'97 (in German) (Aachen, Germany, September 22 - 23, 1997). In conjunction with INFORMATIK'97, 27. GI-Jahrestagung. (Aachen, Germany, September 1997).

Further Activities and Services

• Member of the IFIP Working Group 2.4 "Software Implementation Technology".

• Editor and Topic Representative for EASST, EASST Newsletter, The Software Analysis and Optimisation Column, since 2004.

• Member of the editorial board of the Formal Methods Letter, a special section of the International Journal on Software Tools for Technology Transfer (STTT, Springer), since 2003.

• Secretary/Treasurer. Member of the ACM SIGPLAN Executive Committee, since 2003.

• Steering Committee Member. ACM SIGPLAN Conference Series on Programming Language Design and Implementation (PLDI), since 2002.

• Advisory Committee Member. European Conference Series on Parallel Processing (Euro-Par), since 2000.