HSR Concurrency Lab

Prof. Dr. Luc Bläser

Publications

  • P. Kramer, D. Egloff, and L. Bläser. The Alea Reactive Dataflow System for GPU Parallelization. HLGPU 2016 Workshop, Hipeac 2016, Prague, Czech Republic, 2016. download paperDocument.
  • L. Bläser, D. Egloff, P. Kramer et al. Alea Reactive Dataflow: GPU Parallelization Made Simple. Republication: Kolloquium für Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee, Austria, Oct. 2015. download paperDocument.
  • L. Bläser. Task Parallelization as a Service: A Runtime System for Automatic Shared Task Distribution. Eight Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-2015) at HiPEAC 2015, Amsterdam, The Netherlands, Jan. 2015. download paperDocument.
  • L. Bläser, D. Egloff, P. Kramer et al. Alea Reactive Dataflow: GPU Parallelization Made Simple. Workshop on Reactive and Event-based Languages & Systems (REBLS'14) at SPLASH 2014, Portland, OR, USA, Oct. 2014. download paperDocument.
  • L. Bläser. Composita: Bringing Order to Agent Communications. Intl. Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE14) at SPLASH 2014, Portland, OR, USA, Oct. 2014. download paperDocument.
  • L. Bläser. .NET Task Parallelization in the Cloud: Runtime Support for Seamless Distribution of Shared Memory Parallel Tasks. 4th Workshop on Systems for Future Multicore Architectures (SMFA'14) at Eurosys 2014, Amsterdam, The Netherlands, Apr. 2014. download paperDocument.
  • L. Bläser and J. Gutknecht. COMPOSITA: A Study in Runtime Architecture for Massively Parallel Systems. Kolloquium für Programmiersprachen und Grundlagen der Programmierung (KPS), Wittenberg, Germany, Oct. 2013. download paperDocument.
  • L. Bläser. A Component Language for Pointer-Free Concurrent Programming and its Application to Simulation. ETH Diss. 17480, ETH Zürich, Nov. 2007. download paperDocument.
  • L. Bläser. Persistent Oberon: A Programming Language with Integrated Persistence. Asian Symposium on Programming Languages and Systems (APLAS) 2007, Singapore, In Lecture Notes in Computer Science, Springer, Oct. 2007. download paperDocument.
  • L. Bläser. How Can We Liberate Ourselves From Pointers? Intl. Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA) 2007, Montreal, CA, In OOPSLA 2007 Companion, Oct. 2007. download paperDocument.
  • L. Bläser. A High-Performance Operating System for Structured Concurrent Programs. Workshop on Programming Languages and Operating Systems (PLOS) 2007, Stevenson WA, USA, In ACM Digital Library, Oct. 2007. download paperDocument.
  • L. Bläser. A Component-Oriented Language for Pointer-Free Parallel Programming. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2007, Timmendorfer Strand, Germany, Technical Report, University of Lübeck, Oct. 2007. download paperDocument.
  • L. Bläser. A Programming Language with Natural Persistence. Intl. Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA) 2006, Portland OR, USA, In OOPSLA 2006 Companion, Oct. 2006. download paperDocument.
  • L. Bläser. A Component Language for Structured Parallel Programming. Joint Modular Languages Conference (JMLC) 2006, Oxford, UK, In Lecture Notes in Computer Science 4228, Springer, Sept. 2006. download paperDocument.

Talks

  • Mar. 2017 Parallel 2017 Conference, Heidelberg, Germany. Fighting Concurrency Errors in C#. (Talk by L. Bläser.)
  • Feb. 2017 Multicore@Siemens Conference, Nuremberg, Germany. Parallel Code Smells: A Top 10 List. download presentationPresentation. (Talk by L. Bläser.)
  • Jan. 2017 OOP 2017 Conference, Munich, Germany. Parallel Code Smells: A Top 10 List. download presentationPresentation. (Talk by L. Bläser.)
  • Apr. 2016 Parallel 2016 Conference, Heidelberg, Germany. download presentationPresentation. (Talk by L. Bläser.)
  • Jan. 2016 HLGPU Workshop, Hipeac 2016 Conference, Prague, Czech Republic. download presentationPresentation. (Talk by P. Kramer.)
  • Oct. 2015 Kolloquium für Programmiersprachen und Grundlagen der Programmierung (KPS), Pörtschach am Wörthersee, Austria. download presentationPresentation. (Talk by P. Kramer.)
  • Apr. 2015 Parallel 2015 Conference, Karlsruhe, Germany. download presentationPresentation. (Talk by L. Bläser.)
  • Mar. 2015 GTC 2015, GPU Technology Conference, San Jose, CA, USA. download presentationPresentation. (Talk by L. Bläser and P. Kramer.)
  • Feb. 2015 Multicore@Siemens Conference, Nuremberg, Germany. download presentationPresentation. (Talk by L. Bläser.)
  • Jan. 2015 Eight Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-2015) at HiPEAC 2015, Amsterdam, The Netherlands. download presentationPresentation. (Talk by L. Bläser.)
  • Oct. 2014 Workshop on Reactive and Event-based Languages & Systems (REBLS'14) at SPLASH 2014, Portland, OR, USA. download presentationPresentation. (Talk by L. Bläser.)
  • Oct. 2014 Intl. Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE14) at SPLASH 2014, Portland, OR, USA. download presentationPresentation. (Talk by L. Bläser.)
  • Sep. 2014 F# Users Meetup, Zurich. download presentationPresentation. (Talk by L. Bläser.)
  • May 2014 Parallel 2014 Conference, Karlsruhe, Germany (2 talks and 1 tutorial). download presentationPresentation (Talk 1). download presentationPresentation (Talk 2). (Talks by L. Bläser.)
  • Apr. 2014 Workshop on Systems for Future Multicore Architectures (SMFA'14) at Eurosys 2014, Amsterdam, Netherlands. download presentationPresentation. (Talk by L. Bläser.)
  • Oct. 2013 Colloquium, Varian Medical Systems, Baden, Switzerland. download presentationPresentation. (Talk by L. Bläser.)
  • Oct. 2013 Kolloquium für Programmiersprachen und Grundlagen der Programmierung (KPS), Wittenberg, Germany. download presentationPresentation. (Talk by L. Bläser.)
  • May 2013 Parallel 2013 Conference, Karlsruhe, Germany (2 talks). download presentationPresentation (Talk 1). download presentationPresentation (Talk 2). (Talks by L. Bläser.)
  • Apr. 2013 ETH Zurich, Seminar of Sociology, in particular of Modeling and Simulation, Zurich. download presentationPresentation. (Talk by L. Bläser.)
  • Jan. 2009 TU Darmstadt, Department of Computer Science, Darmstadt, Germany. download presentationPresentation. (Talk by L. Bläser.)
  • Sep. 2008 Microsoft Research and Microsoft Development CSA, Redmond WA, USA (2 talks). download presentationPresentation. (Talk by L. Bläser.)
  • Jun. 2008 TU Berlin, Seminar for Traffic Simulation, Berlin, Germany. download presentationPresentation. (Talk by L. Bläser.)
  • Nov. 2007 Asian Symposium on Programming Languages and Systems (APLAS), Singapore. download presentationPresentation. (Talk by L. Bläser.)
  • Oct. 2007 Workshop on Programming Languages and Operating Systems (PLOS), Stevenson, WA, USA. download presentationPresentation. (Talk by L. Bläser.)
  • Oct. 2007 Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS), Timmendorfer Strand, Germany. download presentationPresentation. (Talk by L. Bläser.)
  • May 2007 TU Berlin, Seminar for Traffic Simulation, Berlin, Germany. download presentationPresentation. (Talk by L. Bläser.)
  • Sep. 2006 Joint Modular Languages Conference (JMLC), Oxford, England, UK. download presentationPresentation. (Talk by L. Bläser.)
  • Sep. 2005 Lightning Talk, International Conference on Object-Oriented Systems Languages and Applications (OOPSLA), San Diego, CA, USA. download presentationPresentation. (Talk by L. Bläser.)
  • Jun. 2004 International Oberon Day, Basel, Switzerland. download presentationPresentation. (Talk by L. Bläser.)

Program Committee Activities

  • Parallel 2018 Conference, Heidelberg, Germany.
  • Parallel 2017 Conference, Heidelberg, Germany.
  • 16th IEEE International Conference on Scalable Computing and Communications, Toulouse, France.
  • Parallel 2016 Conference, Heidelberg, Germany.
  • Parallel 2015 Conference, Karlsruhe, Germany.
  • Parallel 2014 Conference, Karlsruhe, Germany.

Patents

  • Patent CH711035 (A2) 2016-11-15: Effiziente statische Erkennung von Data Races und Deadlocks unter Berücksichtigung von Thread-Starts und Joins. (Efficient Static Thread-Start-Join-Sensitive Detection of Data Races and Deadlocks.)
  • Patent (submitted, ongoing process): Fast and Highly Precise Static Detection of Concurrency Errors in Computer Programs.