Jens Knoop
Institut für Computersprachen
Programmiersprachen und Übersetzer

Professional Activities

Conference Organization

• Co-Organizer. 19th IEEE CS TCPP/TCAA / ACM SIGARCH / IFIP WG 10.3 International Conference on Parallel Architectures and Compilation Techniques (PACT 2010) (Vienna, Austria, September 11 - 15, 2010).

• Organizer. 15th Biennial Workshop on "Programmiersprachen und Grundlagen der Programmierung" (Vienna, Austria, October 2009).

• Publicity Chair. 5th Annual IEEE CS TC-uARCH/ACM SIGMICRO/SIGPLAN International Symposium on Code Generation and Optimization (CGO 2007) (San Jose, CA, March 11 - 14, 2007).

• Publicity Chair Europe. 15th IEEE CS TCPP/TCAA / ACM SIGARCH / IFIP WG 10.3 International Conference on Parallel Architectures and Compilation Techniques (PACT 2006) (Seattle, USA, September 16 - 20, 2006).

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

• Co-Organizer. Dagstuhl Seminar 05311 on "Verifying Optimizing Compilers", Schloß Dagstuhl, Germany, July 31 - August 5, 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.

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

• 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).

• General Chair. ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI) (Berlin, Germany, June 17 - 19, 2002).

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

• 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."

Program Committees

Chair

• Programme Committee Co-Chair. 19th IEEE CS TCPP/TCAA / ACM SIGARCH / IFIP WG 10.3 International Conference on Parallel Architectures and Compilation Techniques (PACT 2010) (Vienna, Austria, September 11 - 15, 2010).

• Programme Committee Co-Chair. 8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009) (York, UK, March 22, 2009). In conjunction with the 12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009) (York, UK, March 22 - 29, 2009).

• Track Co-Chair. 3rd International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2008) (Porto Sani, Kassandra, Greece, October 13 - 15, 2008).

• Programme Committee Co-Chair. 7th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2008) (Budapest, Hungary, April 5, 2008. In conjunction with the 11th European Joint Conferences on Theory and Practice of Software (ETAPS 2008) (Budapest, Hungary, March 29 - April 6, 2008).

• Programme Committee Co-Chair. 5th International Conference in Central Europe on Object-Oriented Technologies (OOT 2007) (Plzen, Czech Republic, May 28 - 31, 2007).

• Programme Committee Co-Chair. 6th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2007) (Braga, Portugal, March 25, 2007). In conjunction with the 10th European Joint Conferences on Theory and Practice of Software (ETAPS 2007) (Braga, Portugal, March 24 - April 1, 2007).

• Track Chair. 2nd International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) (Paphos, Cyprus, November 15 - 19, 2006).

• Programme Committee Co-Chair. 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006) (Plzen, Czech Republic, May 29 - June 1, 2006).

• Programme Committee Co-Chair. 5th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2006) (Vienna, Austria, April 2, 2006). In conjunction with the 9th European Joint Conferences on Theory and Practice of Software (ETAPS 2006) (Vienna, Austria, March 25 - April 2, 2006).

• 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).

• Thematic Session Chair. 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004) (Paphos, Cyprus, October 30 - November 2, 2004).

• 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 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).

• 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).

• 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."

Member

• Programme Committee Member. 16th International Symposium on Formal Methods (FM 2009) (Eindhoven, The Netherlands, October 30 - November 7, 2009).

• Programme Committee Member. ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI 2009) (Dublin, Ireland, June 15 - 20, 2009).

• Programme Committee Member. 23rd ACM SIGARCH International Conference on Supercomputing (ICS 2009) (IBM T.J. Watson Research Center Metro New York City Area, USA, June 9 - 11, 2009, 2009).

• Programme Committee Member. 2nd International Workshop on INvariant Generation (WING 2009) (York, UK, March 22 - 23, 2009). In conjunction with the 12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009) (York, UK, March 22 - 29, 2009).

• Programme Committee Member. 8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009) (York, UK, March 22, 2009). In conjunction with the 12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009) (York, UK, March 22 - 29, 2009).

• Programme Committee Member. 1st Workshop on Coordination in Complex Software Intensive Systems (COCOSS 2009) (Fukuoka, Japan, March 2009). In conjunction with the 3rd International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2009) (Fukuoka, Japan, March 16 - 19, 2009).

• Programme Committee Member. 3rd International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2008) (Porto Sani, Kassandra, Greece, October 13 - 15, 2008).

• Programme Committee Member. 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008) (Timisoara, Romania, September 26 - 29, 2008).

• Programme Committee Member. 6th IEEE International Conference on Software Engineering Research, Management and Applications (SERA 2008) (Prague, Czech Republic, August 20 - 22, 2008).

• Programme Committee Member. 7th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2008) (Budapest, Hungary, April 5, 2008. In conjunction with the 11th European Joint Conferences on Theory and Practice of Software (ETAPS 2008) (Budapest, Hungary, March 29 - April 6, 2008).

• Programme Committee Member. 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008) (Budapest, Hungary, March 31 - April 4, 2008). Member conference of the 11th European Joint Conferences on Theory and Practice of Software (ETAPS 2008) (Budapest, Hungary, March 29 - April 6, 2008).

• Programme Committee Member. 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) (Timisoara, Romania, September 26 - 29, 2007).

• Programme Committee Member. 16th IEEE CS TCPP/TCAA / ACM SIGARCH / IFIP WG 10.3 International Conference on Parallel Architectures and Compilation Techniques (PACT 2007) (Brasov, Romania, September 15 - 19, 2007).

• Programme Committee Member. 14th Static Analysis Symposium (SAS 2007) (Kongens Lyngby, Denmark, August 22 - 24, 2007).

• Programme Committee Member. International Workshop on INvariant Generation (WING 2007) (Hagenberg, Austria, June 25 - 26, 2007). In conjunction with the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoningwith (Calculemus 2007) (Hagenberg, Austria, June 27 - 30, 2007).

• Programme Committee Member. 5th International Conference in Central Europe on Object-Oriented Technologies (OOT 2007) (Plzen, Czech Republic, May 28 - 31, 2007).

• Programme Committee Member. 5th Annual IEEE CS TC-uARCH/ACM SIGMICRO/SIGPLAN International Symposium on Code Generation and Optimization (CGO 2007) (San Jose, CA, March 11 - 14, 2007).

• Programme Committee Member. 6th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2007) (Braga, Portugal, March 25, 2007). In conjunction with the 10th European Joint Conferences on Theory and Practice of Software (ETAPS 2007) (Braga, Portugal, March 24 - April 1, 2007).

• Programme Committee Member. 2nd International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) (Paphos, Cyprus, November 15 - 19, 2006).

• Programme Committee Member. 4. Arbeitstagung Programmiersprachen (ATPS 2006) (in German) (Dresden, Germany, October 5-6, 2006). In conjunction with INFORMATIK 2006, 36. GI-Jahrestagung. (Dresden, Germany, October, 2006).

• Programme Committee Member. 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006) (Timisoara, Romania, September 26 - 29, 2006).

• Programme Committee Member. 7th International Joint Modular Languages Conference (JMLC 2006) (Oxford, UK, September 12 - 15, 2006).

• Programme Committee Member. 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006) (Plzen, Czech Republic, May 29 - June 1, 2006).

• Programme Committee Member. 15th International Conference on Compiler Construction (CC 2006) (Vienna, Austria, March 30 - 31, 2006). Member conference of the 9th European Joint Conferences on Theory and Practice of Software (ETAPS 2006) (Vienna, Austria, March 25 - April 2, 2006).

• Programme Committee Member. 1st International EASST-EU Workshop on Future Research Challenges for Software and Services (FRCSS 2006) (Vienna, Austria, April 1, 2006). In conjunction with the 9th European Joint Conferences on Theory and Practice of Software (ETAPS 2006) (Vienna, Austria, March 25 - April 2, 2006).

• Programme Committee Member. 5th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2006) (Vienna, Austria, April 2, 2006). In conjunction with the 9th European Joint Conferences on Theory and Practice of Software (ETAPS 2006) (Vienna, Austria, March 25 - April 2, 2006).

• Programme Committee Member. 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005) (Timisoara, Romania, September 25 - 29, 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).

• Programme Committee Member. 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).

• Programme Committee Member. 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004) (Paphos, Cyprus, October 30 - November 2, 2004).

• Programme Committee Member. 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).

• 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).

• Programme Committee Member. 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).

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

• Programme Committee Member. 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).

• Programme Committee Member. ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI) (Berlin, Germany, June 17 - 19, 2002).

• Programme Committee Member. 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).

• Programme Committee Member. 7th European Conference on Parallel Processing (Euro-Par 2001) (Manchester, UK, August 28 - 31, 2001): Global chair of topic 04 " Compilers for High Performance."

• Programme Committee Member. 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."

• Programme Committee Member. ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation (PLDI) (Vancouver B.C., Canada, June 18 - 21, 2000).

• 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

Editorships

• Editorial Board Member. Electronic Communications of the EASST, ISSN 1863-2122, since 2006.

• Editor and Topic Representative for EASST, EASST Newsletter, The Software Analysis and Verification Column, ISSN 1861-0668, since 2004.

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

Steering Committees

• Steering Committee Member. ACM SIGPLAN Conference Series on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2005.

• Steering Committee Member. European Joint Conferences on Theory and Practice of Software (ETAPS), since 2004.

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

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

Scientific Boards

• OCG Board Member. Elected member, since 03/2007.

• EAPLS Board Member. Elected member, since 05/2006.

• Executive Committee Member, Elected Secretary/Treasurer. ACM SIGPLAN Executive Committee, 07/2003 - 06/2005.

• EASST Extended Boards Member, EASST Topic Representative for Software Analysis and Verification, since 2004.

Invited Speaker/Panelist

• Invited Speaker. 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006) (Plzen, Czech Republic, May 29 - June 1, 2006).

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

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

• Panelist. 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).

Other Services

• Coordinator ERASMUS/SOCRATES Programme:
  • The University of Copenhagen, Denmark, SOCRATES Programme: Higher Education (ERASMUS) 2008 - 2012.
  • Universität Paderborn, Germany, SOCRATES Programme: Higher Education (ERASMUS) 2008 - 2010.
  • Universidade do Minho, Braga, Portugal, SOCRATES Programme: Higher Education (ERASMUS) 2008 - 2009.
  • Universität Halle-Wittenberg, Germany, SOCRATES Programme: Higher Education (ERASMUS) 2007 - 2009.

• Co-Founder of the Annual Workshop-Series Compiler Optimization Meets Compiler Verification (COCV), annually since 2002.

• Member. IFIP Working Group 2.4 "Software Implementation Technology", since 2002.

• Member. European Network of Excellence on High Performance and Embedded Architecture and Compilation (HiPEAC), since 2008.