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