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.