Markus Schordan, TU Wien

Professional Activities

Organizing Committees

Chair

• ISoLA'08 Track: Formal Methods for Analysing and Verifying Very Large Systems, October 2008, Co-chaired with Jens Knoop (TU Vienna, Austria), Tom Ball (Microsoft Research, USA).
• Dagstuhl Seminar No. 08161 Scalable Program Analysis, April 13-18, 2008. Co-chaired with Hanne Riis Nielson (Techn. Univ. Denmark), Florian Martin (AbsInt), Claudio Riva (Nokia).
• EuroPar'03: International Conference on Parallel and Distributed Computing, Topic 04: Compilers for High-Performance, August 26-29, 2003. Co-chaired with Michael Gerndt (TU Munich), Chau-Wen Tseng (Univ. of Maryland), Michael O'Boyle (Univ. of Edinburgh).

Member

• European Joint Conferences on Theory and Practice of Software (ETAPS'06), Vienna, Austria, 2006.
  • Local organizer
  • Author of the Daily ETAPS newsletters

Conference Program Committees

1. 9th International Conference on Parallel Architectures and Compilation Techniques (PACT'09), Raleigh, North Carolina, U.S.A., 2009.
2. 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'08), Porto Sani (Kassandra, Chalkidiki), Greece, October 13-15, 2008.
3. 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'08), Timisoara, Romania, September 26-29, 2008.
4. 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'07), Timisoara, Romania, September 26-29, 2007.
5. 7th Joint Modular Languages Conference (JMLC'06), Oxford, UK, September 12-15, 2006.
6. 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06), Timisoara, Romania, September 26-29, 2006.
7. 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), Timisoara, Romania, September 25-29, 2005.
8. International Conference on Parallel and Distributed Computing (EuroPar'03), Klagenfurt, Austria, August 26-29, 2003, local chair for topic 04: Compilers for High-Performance.
9. 6th Joint Modular Languages Conference (JMLC'03), Klagenfurt, Austria, August 24-27, 2003.

Service to Professional Societies

• Collector for Dagstuhl Seminar 05101: Scheduling for Parallel Architectures: Theory, Applications, Challenges, 2005.
• Member of the Euro-Par Advisory Board, since 2003.

Reviewer

1. Software: Practice and Experience (SPE), Wiley, 2009.
2. 9th International Conference on Parallel Architectures and Compilation Techniques (PACT'09), Raleigh, North Carolina, U.S.A., 2009.
3. ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI'08), Dublin, Ireland, June 15 - 20, 2009.
4. SERA 2008 Software Engineering Research, Management and Applications (SERA'08), August 20-22, 2008, Prague, Czech Republic.
5. ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI'08), Tucson, Arizona, June 7 - 13, 2008.
6. 17th International Conference on Compiler Construction, (CC'08), March 29 - April 6, 2008, Budapest, Hungary.
7. 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), 29 March - 6 April, 2008, Budapest, Hungary.
8. Transactions on Programming Languages and Systems (TOPLAS), ISSN 0164-0925, 2007.
9. 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'07), Timisoara, Romania, September 26-29,2007.
10. Parallel Architectures and Compilation Techniques (PACT'07), Brasov, Romania, September 15-19, 2007.
11. 14th Static Analysis Symposium (SAS'07), Kongens Lyngby, Denmark, August 22-24, 2007.
12. International Symposium on Code Generation and Optimization (CGO'07), San Jose, California, USA, March 11-14, 2007.
13. 16th International Conference on Compiler Construction, (CC'07), Braga, Portugal, March 26-27, 2007.
14. 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06), Timisoara, Romania, September 26-29,2006.
15. 7th Joint Modular Languages Conference (JMLC'06), Oxford, UK, September 12-15, 2006.
16. 2nd International Workshop on OpenMP (IWOMP'06), Reims, France, June 12-15, 2006.
17. 4th International Conference in Central Europe on .NET Technologies (.NET Technologies'06), Plzen, Czech Republic, May 29 - June 1, 2006.
18. 1st International EASST-EU Workshop on Future Research Challenges for Software and Services (FRCSS'06), associated with ETAPS'06, 2006.
19. 15th International Conference on Compiler Construction (CC'06), a member conference of ETAPS'06,2006.
20. 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), 2005.
21. 1st International Symposium on Leveraging Applications of Formal Methods(ISoLA'04), Post-Conference Proceedings, 2005.
22. 5th Workshop on Language Descriptions, Tools and Applications (LDTA'05), associated with ETAPS 2005, in Cooperation with ACM SIGPLAN, 2005.
23. 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), a member conference of ETAPS'05, 2005.
24. 11th Static Analysis Symposium (SAS'04), 2004.
25. International Conference on Parallel and Distributed Computing (EuroPar'04), 2004.
26. International Conference on Parallel and Distributed Computing (EuroPar'03), 2003.
27. Joint Modular Languages Conference (JMLC'03), 2003.
28. The School of Niklaus Wirth: The Art of Simplicity, Morgan Kaufmann Publishers, 2000.
29. Parallel Processing Letters 10(2-3), special issue on Compilers for Parallel Computers (CPC 2000), 2000.
30. 3rd Austrian-Hungarian Workshop on Distributed and Parallel Systems: From Instruction Parallelism to Cluster Computing, 2000.
31. 2nd Austrian-Hungarian Workshop on Distributed and Parallel Systems, 1999.

Conference Tutorials

• 14th International Conference on Parallel Architectures and Compilation Techniques, (PACT'05), 2005, Saint Louis, MI, USA.
  Tutorial on the ROSE C/C++ source-to-source translator (ROSE)
  Organization: together with Daniel J. Quinlan, Bronis R. de Supinski, Qing Yi, Richard Vuduc (Lawrence Livermore National Laboratory)