Jens Knoop
Institut für Computersprachen
Programmiersprachen und Übersetzer

Professional Activities

Conference Organization

• General Co-Chair. 30th International Conference on Architecture of Computing Systems (ARCS 2017) (Vienna, Austria, April 3-6, 20174)

• General Chair. 12th Conference Software Engineering (SE 2016) (Vienna, Austria, February 23-26, 2016)

• Organizer. 18th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung (KPS 2015) (Pörtschach am Wörthersee, Austria, October 5-7, 2015).

• General Co-Chair. The 9th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2014) (Vienna, Austria, January 20-22, 2014)

• Local Advisory Team Member. ICNPAA 2012 World Congress: 9th International Conference on Mathematical Problems in Engineering, Aerospace and Sciences (ICNPAA 2012) (Vienna, Austria, July 11-14, 2012).

• Local Co-Organizer. 1st International ISoLA Workshop on Software Aspects of Robotic Systems (SARS 2011) (Vienna, Austria, October 17-19, 2011).

• Local Co-Organizer. 1st International ISoLA Workshop on Machine Learning for Software Construction (MLSC 2011) (Vienna, Austria, October 17-18, 2011).

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

• Co-Organizer. 5th Austrian RoboCup Workshop (RoboCup 2010) (Vienna, Austria, June 1-2, 2010).

• Organizer. 15th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (Maria Taferl, Austria, October 12-14, 2009).

• Co-Organizer. Joint Complang/TRACES Workshop on Trends in Timing Analysis (TiTAn 2009) (Vienna, Austria, April 21, 2009).

• Organizer. Joint Complang/RISC Workshop on Timing Analysis and Symbolic Computation (TASCo 2009) (Vienna, Austria, February 4-5, 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.

Program Committees

Chair

• Programme Committee Co-Chair. 2nd International TACLe Workshop on Code-Level Timing and Energy Analysis (TACLe 2016) (Prague, Czech Republic, January 20, 2016); co-located with The 11th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2016) (Prague, Czech Republic, January 18-20, 2016).

• Programme Committee Chair. 18th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung (KPS 2015) (Pörtschach am Wörthersee, Austria, October 5-7, 2015).

• Programme Committee Chair. 11th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2015) (Auckland, New Zealand, April 13, 2015).

• Topic Co-Chair. 21st European Conference on Parallel Processing (Euro-Par 2015) (Vienna, Austria, August 24-28, 2015): Local Chair of Topic 04 Architectures and Compilers.

• Track Co-Chair. Track on "Model-based Code-Generators and Compilers" held as part of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2014) (Corfu, Greece, October 8 - 11, 2014).

• Programme Committee Co-Chair. 6. Arbeitstagung Programmiersprachen (ATPS 2013) (in German) (Aachen, Germany, February 26, 2013). In conjunction with Software Engineering (SE 2013), (Aachen, Germany, February 26 - March 1, 2013).

• Track II Co-Chair. Track on "Software Aspects of Robotic Systems" held as part of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012) (Heraklion, Crete, Greece, October 15 - 18, 2012).

• Program Co-Chair. 1st International ISoLA Workshop on Software Aspects of Robotic Systems (SARS 2011) (Vienna, Austria, October 17-19, 2011).

• Track Co-Chair. 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2011) (Timisoara, Romania, September 26 - 29, 2011).

• Programme Committee Chair. 20th International Conference on Compiler Construction (CC 2011) (Saarbrücken, Germany, March 28 - 29, 2011 (tentatively)). Member conference of the 14th European Joint Conferences on Theory and Practice of Software (ETAPS 2011) (Saarbrücken, Germany, March 26 - April 4, 2011).

• Programme Committee Co-Chair. 10th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2011) (Saarbrücken, Germany, March 27, 2011). In conjunction with the 14th European Joint Conferences on Theory and Practice of Software (ETAPS 2011) (Saarbrücken, Germany, March 26 - April 3, 2011).

• Track II Co-Chair. Track on "Software Aspects of Robotic Systems" held as part of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010) (Heraklion, Crete, Greece, October 18 - 20, 2010).

• Track I Co-Chair. Track on "Resource and Timing Analysis" held as part of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010) (Heraklion, Crete, Greece, October 18 - 20, 2010).

• Track Co-Chair. 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) (Timisoara, Romania, September 23 - 26, 2010).

• 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. 9th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2010) (Paphos, Cyprus, March 27, 2010). In conjunction with the 13th European Joint Conferences on Theory and Practice of Software (ETAPS 2010) (Paphos, Cyprus, March 20 - 28, 2010).

• Track Co-Chair. 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009) (Timisoara, Romania, September 26 - 29, 2009).

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

• Topic Co-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.

• Topic Co-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.

Member

• Programme Committee Member, Logic and Programming Track. 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017) (Timisoara, Romania, September 21-24, 2017).

• Programme Committee Member. 15th International Conference on Formal Methods and Software Engineering (SEFM 2017) (Trento, Italy, September 4-8, 2017).

• Programme Committee Member. 4th International Workshop on Model-Driven Robot Software Engineering (MORSE 2017) (Marburg, Germany, July 21, 2017).

• Programme Committee Member. 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation ( ISoLA 2016) (Corfu, Greece, October 5 - 14, 2016).

• Programme Committee Member, Logic and Programming Track. 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016) (Timisoara, Romania, September 24-27, 2016).

• Programme Committee Member. 9th International Conference on Model Transformation (ICMT 2016) (Vienna, Austria, July 4-5, 2016).

• Programme Committee Member. 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) (Toulouse, France, July 5, 2016).

• Programme Committee Member. 3rd International Workshop on Model-Driven Robot Software Engineering (MORSE 2016) (Vienna, Austria, July 1, 2016). (tentatively)

• Programme Committee Member. 14th International Conference on Formal Methods and Software Engineering (SEFM 2016) (Vienna, Austria, July 4-8, 2016).

• Programme Committee Member. 12th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2016) (York, UK, May 17, 2016).

• Programme Committee Member. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016) (Vienna, Austria, April 10-14, 2016).

• Programme Committee Member. 4th International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2015) (Beijing, China, October 21-23, 2015).

• Programme Committee Member, Logic and Programming Track. 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2015) (Timisoara, Romania, September 21 - 24, 2015).

• Programme Committee Member. 8th International Conference on Model Transformation (ICMT 2015) (L'Aquila, Italy, July 20-21, 2015).

• Programme Committee Member. 8. Arbeitstagung Programmiersprachen ( ATPS 2015) (in German) (Dresden, Germany, March 18, 2015). In conjunction with Software Engineering (SE 2015), (Dresden, Germany, March 17 - 20, 2015).

• Programme Committee Member. 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2014) (Corfu, Greece, October 8 - 11, 2014).

• Programme Committee Member, Logic and Programming Track. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014) (Timisoara, Romania, September 22 - 25, 2014).

• Programme Committee Member. 11th International IFIP Conference on Network and Parallel Computing (NPC 2014) (Ilan, Taiwan, September 15-17, 2014).

• Programme Committee Member. International Workshop on Model-Driven Robot Software Engineering (MORSE 2014) (York, UK, July 2014).

• Programme Committee Member. 14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014) (Madrid, Spain, July 8, 2014).

• Programme Committee Member. 23rd International Conference on Compiler Construction (CC 2014) (Grenoble, France, April 7 - 14, 2014). Member conference of the 17th European Joint Conferences on Theory and Practice of Software (ETAPS 2014) (Grenoble, France, April 7 - 14, 2014).

• Programme Committee Member. 7. Arbeitstagung Programmiersprachen ( ATPS 2014) (in German) (Kiel, Germany, February 26, 2014). In conjunction with Software Engineering (SE 2014), (Kiel, Germany, February 25 - 28, 2014).

• Programme Committee Member. 4th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2014) (Lisbon, Portugal, January 7 - 9, 2014).

• Programme Committee Member, Logic and Programming Track. 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013) (Timisoara, Romania, September 23 - 26, 2013).

• Programme Committee Member. 11th IEEE International Conference on Software Engineering Research, Management and Applications (SERA 2013) (Prague, Czech Republic, August 7 - 9, 2013).

• Programme Committee Member. Austrian Robotics Workshop (ARW 2013) (Vienna, Austria, May 2013).

• Programme Committee Member. Software Engineering (SE 2013) (Aachen, Germany, February 25 - March 1, 2013).

• Programme Committee Member. 3rd International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2013) (Barcelona, Spain, February 19 - 21, 2013).

• Programme Committee Member. The Third Analytical Virtual Integration of Cyber-Physical Systems Workshop (AVICPS 2012) (San Juan, Puerto Rico, December 4, 2012).

• Programme Committee Member. 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012) (Heraklion, Crete, Greece, October 15 - 18, 2012).

• Programme Committee Member, Logic and Programming Track. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012) (Timisoara, Romania, September 26 - 29, 2012).

• Programme Committee Member. Austrian Robotics Workshop (ARW 2012) (Graz, Austria, May 3 - 4, 2012).

• Programme Committee Member, Industry Track. 5th International Conference on Software Testing, Verification and Validation (ICST 2012), (Montreal, Canada, April 17 - 21, 2012).

• Programme Committee Member. 5th International Conference on Software Testing, Verification and Validation (ICST 2012), (Montreal, Canada, April 17 - 21, 2012).

• Programme Committee Member. Doktorandensymposium der Software Engineering (DS-SE 2012), (Berlin, Germany, February 29, 2012).

• Programme Committee Member. 5. Arbeitstagung Programmiersprachen (ATPS 2012) (in German) (Berlin, Germany, February 27, 2012). In conjunction with Software Engineering (SE 2012), (Berlin, Germany, February 27 - March 2, 2012).

• Programme Committee Member. Software Engineering (SE 2012), (Berlin, Germany, February 27 - March 2, 2012).

• Programme Committee Member. 20th ACM/IEEE International Conference on Parallel Architectures and Compilation Techniques (PACT 2011) (Galveston, TX, USA, October 8-12, 2011).

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

• Programme Committee Member. 11th International Workshop on Worst-Case Execution Time Analysis (WCET 2011). (Porto, Portugal, July 5, 2011).

• Programme Committee Member. 1st Workshop on Integration of Information Systems Engineering Tools (INISET 2011) (London, UK, June 21, 2011), in conjunction with the 23rd International Conference on Advanced Information System Engineering (CAISE 2011) (London, UK, June 20-24, 2011).

• Programme Committee Member. 20th International Conference on Compiler Construction (CC 2011) (Saarbrücken, Germany, March 28 - 29, 2011). Member conference of the 14th European Joint Conferences on Theory and Practice of Software (ETAPS 2011) (Saarbrücken, Germany, March 26 - April 4, 2011).

• Programme Committee Member. 10th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2011) (Saarbrücken, Germany, March 27, 2011). In conjunction with the 14th European Joint Conferences on Theory and Practice of Software (ETAPS 2011) (Saarbrücken, Germany, March 26 - April 3, 2011).

• Programme Committee Member, Industry Track. 4th International Conference on Software Testing, Verification and Validation (ICST 2011), (Berlin, Germany, March 21 - 25, 2011).

• Programme Committee Member. 4th International Conference on Software Testing, Verification and Validation (ICST 2011), (Berlin, Germany, March 21 - 25, 2011).

• Programme Committee Member. Software Engineering (SE 2011), (Karlsruhe, Germany, February 21 - 25, 2011).

• Programme Committee Member. 4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010) (Heraklion, Crete, Greece, October 18 - 20, 2010).

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

• Programme Committee Member. 6th International Workshop on Automated Specification and Verification of Web Systems (WWV 2010), (Vienna, Austria, July 30 - 31, 2010)

• Programme Committee Member. 3rd International Workshop on INvariant Generation (WING 2010) (Edinburgh, UK, July 21, 2010). In conjunction with the 5th Federated Logic Conference (FLoC 2010) (Edinburgh, UK, July 9 - 21, 2010).

• Programme Committee Member. 3rd International Conference on Software Testing, Verification and Validation (ICST 2010), (Paris, France, April 6 - 9, 2010).

• Programme Committee Member. 9th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2010) (Paphos, Cyprus, March 27, 2010). In conjunction with the 13th European Joint Conferences on Theory and Practice of Software (ETAPS 2010) (Paphos, Cyprus, March 20 - 28, 2010).

• Programme Committee Member. Workshop on Coordination in Complex Software Intensive Systems (COCOSS 2010) (Krakow, Poland, February 2010). In conjunction with the 4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2010) (Krakow, Poland, February 15 - 18, 2010).

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

• Programme Committee Member. 4. Arbeitstagung Programmiersprachen (ATPS 2009) (in German) (Lübeck, Germany, October 1, 2009). In conjunction with INFORMATIK 2009, 39. GI-Jahrestagung. (Lübeck, Germany, September 28 - October 2, 2009).

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

ERC Member

• External Review Committee Member. ACM SIGARCH Conference on Supercomputing (ICS 2014), (Munich, Germany, June 10 - 13, 2014)

• External Review Committee Member. ACM SIGPLAN 2014 Symposium on Principles and Practice of Parallel Programming (PPoPP 2014), (Orlando, FL, USA, February 15-19, 2014).

• External Review Committee Member. ACM SIGPLAN 2013 Symposium on Principles and Practice of Parallel Programming (PPoPP 2013), (Shenzen, China, February 23-27, 2013).

• External Review Committee Member. ACM SIGPLAN 2012 Conference on Programming Language Design and Implementation (PLDI 2012), (Beijing, China, June 11 - 16, 2012).

• External Review Committee Member. ACM SIGPLAN 2012 Symposium on Principles and Practice of Parallel Programming (PPoPP 2012), (New Orleans, LA, USA, February 25 - 29, 2012).

• External Review Committee Member. ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI 2010), June 5 - 10, 2010.

Others

• Mentoring Committee Member. 6th International Conference on Software Testing, Verification and Validation (ICST 2013), (Luxembourg, March 18-22, 2013).

• External Reviewer. Grand Finals of the ACM Student Research Competition Program (SRCP 2012).

Further Activities and Services

Editorships

• Editorial Board Member. Central European Journal of Computer Science, ISSN 1896-1533 (print version), ISSN 2081-9935 (electronic version), since 2010.

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

• Editor in Chief. Formal Methods Letter, a special section of the International Journal on Software Tools for Technology Transfer (STTT), Springer, since 2009.

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

Steering Committees

• Steering Committee Member. Program Verification, Automated Debugging and Symbolic Computation (PAS), since 2013.

• Steering Committee Member. Parallel Architectures and Compilation Techniques (PACT), 2010 - 2012.

• Steering Committee Member. International Conference on Compiler Construction (CC), 2009 - 2012.

• Steering Committee Member, Observer. 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), 2004 - 2007; 2009 - 2012.

• 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

• Board Member. Elected Secretary of IFIP Working Group 2.4 "Software Implementation Technology", since 2011.

• Executive Committee Member. Elected Chair (Fachgruppensprecher) of GI SIG "Programmiersprachen und Rechenkonzepte", since 05/2013.

• Executive Committee Member. Elected Vice Chair (Stv. Fachgruppensprecher) of GI SIG "Programmiersprachen und Rechenkonzepte", 05/2010-05/2013.

• OCG Executive Committee Member. Elected Treasurer, since 05/2013.

• OCG Executive Committee Member. Elected Deputy Treasurer, 04/2011-04/2013.

• 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

• Panelist. Panel Discussion on "Dissertationen in der Software-Technik" as part of the Doktorandensymposium der Software Engineering 2012 (DS-SE 2012) (Berlin, Germany, February 29, 2012), February 29, 2012.

• Panelist. Panel Discussion on "Future Trends of Software Science and Technology - Service Engineering is Software Engineering - or maybe not?" on the occasion of "Celebration of 10 Years of EASST" at ETAPS 2010, (Paphos, Cyprus, March 20 - 28, 2010), March 24, 2010.

• 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 of Bilateral ERASMUS/SOCRATES and LLP/ERASMUS Programme Agreements:
  • University of Hertfordshire, Hatfield, UK
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2013 - 2014.
  • Universiteit van Amsterdam, The Netherlands
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2011 - 2013.
  • Aalto University Helsinki School of Science, Helsinki, Finland
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2011 - 2014.
  • University of Cyprus, Nicosia, Cyprus
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2012 - 2014.
  • Universidade Técnica de Lisboa, Lisbon, Portugal
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2009 - 2013.
  • Universidad del Pais Vasco/Euskal Herriko Unibertsitatea, Bilbao, Spain
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2012 - 2016.
  • Universidad Politécnica de Valéncia, Spain
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2009 - 2013.
  • Universität Paderborn, Germany
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2010 - 2013.
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2008 - 2010.
  • Linköpings Universitet, Sweden
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2009 - 2012.
  • Københavns Universitet, Copenhagen, Denmark
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2012 - 2016.
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2008 - 2012.
  • Universidade do Minho, Braga, Portugal
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2009 - 2013.
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2008 - 2009.
  • Universität Halle-Wittenberg, Germany
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2013 - 2014.
    • Life Long Learning - ERASMUS Programme: Higher Education, Academic years 2009 - 2013.
    • SOCRATES Programme: Higher Education (ERASMUS), Academic years 2007 - 2009.

• Expert Committee Member. EAPLS PhD Award, since 2010.

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