Institute for Information Systems Engineering

Compilers and Languages

About Us:

We are concerned with the design, implementation, and application of programming languages. Complang belongs to the Institute for Information Systems Engineering of the Faculty of Informatics at the Vienna University of Technology.

faculty and staff
who is responsible for what
how to reach us
more about us ...

NEWS

SPIRAL’s Operator Language: From Textbook Math to High Performance – With Correctness Guarantees

Prof. Dr. Franz Franchetti ECE Department, Carnegie Mellon University, Pittsburgh, PA, USA

Datum:: Tuesday, 18.06.2019
Zeit:: 14:00 Uhr c.t.
Ort:: TU Wien, Bibliothek E194-05, Argentinierstr. 8, 4. Stock (Mitte).

The Swift Intermediate Language

Datum:: Thursday, 21.06.2018
Zeit:: 11:00 c.t.
Ort:: TU Wien, Hörsaal EI X, Gußhausstraße 27-29.

Formal foundations of configuration management for program analysis

Datum:: Friday, 18.05.2018
Zeit:: 14:00 c.t.
Ort:: TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).

Hello Ballerina! A programming language for the networked world

Datum:: Tuesday, the 31th October 2017
Zeit:: 14:00 s.t.
Ort:: TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).

Real-world Challenges in JavaScript Analysis

Datum:: Wednesday, the 12th July 2017
Zeit:: 11:00 c.t
Ort:: TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).

Green Software Laboratory: Towards an Engineering Discipline for Green Software

Datum:: Wednesday, the 26th April 2017
Zeit:: 14:00 Uhr c.t.
Ort:: TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).

It's Time for Secure Languages

Datum:: Thursday, den 23. February 2017
Zeit:: 10:30 s.t.
Ort:: TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).

Preserving Privacy with Monads

Datum:: Thursday, the 27th October 2016
Zeit:: 15:00 s.t.
Ort:: TU Wien, Hörsaal HS4, Freihaus, Wiedner Hauptstr. 8, Turm B (gelber Bereich), 2. Stock.

Offene Diskussionsrunde mit Prof. Dr. Michael Franz

Datum:: Wednesday, the 31th August 2016
Zeit:: 14:00 s.t. - 15:30
Ort:: TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).

AnyScale Apps for Scalable Computation - A novel paradigm for adaptive scalable computation

Datum:: Wednesday, the 20th Juli 2016
Zeit:: 14:00 Uhr c.t.
Ort:: TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).

High-Performance Computing Libraries as Domain Specific Language

Datum:: Monday, the 4th July 2016
Zeit:: 16:00 c.t.
Ort:: TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).

Predicting Worst-Case Behaviour of Programs by Means of Attribute Functions

%%date Thursday, the 07th July 2016

Compiler Related Research Projects at Eötvös Loránd University

Datum:: Wednesday, the 20th April 2016
Zeit:: 14:00 c.t.
Ort:: TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).

Functional Reactive Programming for Real-Time and Cyber-Physical Systems: Response Time Analysis, Scheduling, and Verification

Datum:: Friday, the 15. April 2016
Zeit:: 14:00 c.t.
Ort:: TU Wien, Hörsaal EI5 Hochenegg, Elektrotechnik, Gußhausstraße 25-29 (Old Building), 2. Stock.

Hybrid Information Flow Analysis for Programs with Arrays

Datum:: Tuesday, the 1. März 2016
Zeit:: 14:00 c.t.
Ort:: TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Floor (Middle Entry).

The Tensor Contraction Engine: A Domain-Specific Approach to Synthesizing High-Performance Codes for Quantum Chemistry

Datum:: Thursday, the 17. Dezember 2015
Zeit:: 10:30 s.t.
Ort:: TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Middle Entry)

A New Foundation for Computing Science

Datum:: Thursday, the 29. October 2015
Zeit:: 14:00 s.t.
Ort:: TU Wien, Hörsaal 1, Theresianumgasse 27, 1040 Wien.

Formal Software Synthesis of Computational Kernels

Datum:: Monday, the 18. May 2015
Zeit:: 14:30 (tea: 14:00 in the library E185.1, Argentinierstr. 8, 4. floor (middle entry)).
Ort:: TU Wien, EI 9 Hlawka HS, Elektrot.Institutsg., Gußhausstr. 25-29, Stiege 1, ground floor

Verification and Performance Evaluation of Specialized Polyhedral Parallel Code

Datum:: Friday, the 22. May, 2015
Zeit:: 15:00 s.t. (Tea: 14:30 Uhr in library E185.1, Argentinierstr. 8, 4. floor (middle entry))
Ort:: TU Wien, in Seminarraum Argentinierstr., Argentinierstr.8, ground-floor (entry Paniglgasse)

Software Defenses Inspired by Biodiversity

Datum:: Friday, 20th February 2015
Zeit:: 11:00 s.t. (Tea 10:30)
Ort:: TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Door in the middle)

Talk announcement: Combination of Static Analysis and Model Checking Techniques for Scalable Verification

Datum:: Friday, 3. October 2014
Zeit:: 14:00 c.t. (Tea 13:30 in library E185.1, Argentinierstr. 8, 4th floor)
Ort:: TU Wien, Seminarraum Argentinierstr. 8 (Erdgeschoss)

Talk announcement: Was haben Compiler mit Pumpen zu tun?

Entwurf und Implementierung Domänen-spezifischer Sprachen zur Pumpenentwicklung

Datum:: Donnerstag, 5. Juni 2014
Zeit:: 15:00 Uhr s.t. (Tee: 14:30 Uhr)
Ort:: TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte)

21-01-14 - Lecture announcement: The Insieme Compiler and Runtime Infrastructure

Date: Thursday, January 29, 2014
Time: 17:00 s.t.
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

14-01-14 - Lecture announcement: The Multicompiler: Software Defenses Using Compiler Techniques

Date: Friday, January 24, 2014
Time: 14:00 c.t.
Location: TU Wien, Freihaus Hörsaal 7, Wiedner Hauptstr. 8, 2. Stock (gelber Bereich)

14-01-14 - Lecture announcement: Open Power and Power8

Date: Thursday, January 23, 2014
Time: 14:00 c.t.
Location: TU Wien, Hörsaal EI5 Hochenegg, Elektrotechnik, Gußhausstraße 25-29 (Altbau), 2. Stock

08-11-13 - Lecture announcement: More Type Inference in Java 8

Date: Tuesday, November 12, 2013
Time: 10:30 s.t.
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

09.03.13 - New Lectures at the Institute of Computer Languages

185.A67 Computational Semantics (W)
185.A64 Übersetzer für Parallele Systeme (W)

09-10-13 - Lecture announcement: Finding Security Bugs in Java Programs using Datalog

Date: Monday, October 14, 2013
Time: 14:00 c.t.
Location: TU Wien, Seminarraum Argentinierstraße 8, Erdgeschoss (Eingang Paniglgasse)

18-09-13 - Lecture announcement: WCET Analysis of Parallel Real-Time Programs

Date: Friday, October 4, 2013
Time: 10:00 s.t.
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

06-08-13 - Lecture announcement: Blue Gene/Q: Design for Sustained Multi-Petaflop Computing

Date: Thursday, August 8, 2013
Time: 11:00 s.t.
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

12-06-13 - Lecture announcement: Streamix - Streaming Networks with Mixed Time Criticality

Date: Thursday, June 20, 2013
Time: 14:00 c.t.
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

12-06-13 - Lecture announcement: AstraKahn: A Self-tuning Coordination Language for Stream-processing

Date: Thursday, June 20, 2013
Time: 13:00 s.t.
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

27-03-13 - The Complang Group congratulates Laura Kovacs

Priv.Doz. Dr. Laura Kovacs will start her professorship for Formal Methods at the Chalmers University of Technology on 01-04-2013. The institute Computer Languages and the workgroup Compilers and Languages compliments sincerely and wishes best luck for her future tasks.

26-03-13 - Announcment: 9th HiPEAC 2014 in Vienna

Preceeding Paris 2012 and Berlin 2013, in 2014 the "9th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2014)" will take place in Vienna at the TU. Local guidance will be in the hands of the workgroup Compilers and Languages and the instutute Computer Languages.

Date: January 20 - January 22, 2014

06-03-13 - Preliminary lecture announcment for institute lectures

Preliminary lecture announcment for most of the lectures of the Complang-Group in 10 minute talks.

When: Wednesday, March 6, 2013, 13:00 s.t. till 14:00
Where: EI 4 Reithoffer Hörsaal

22-01-2013 - Award for Complang contribution at HiPEAC conference

The poster Using the CASM language for simulator synthesis and model verification done by our project assistant Roland Lezuo got honored at the HiPEAC conference in Berlin this year. The article got published at the ACM Digital Library (link), the poster can be found here. Congratulations on this success!

27-11-12 - Lecture announcment: Safety Analysis and Boilerplates

Date: Tuesday, November 27, 2012
Time: 17:00 c.t
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

News archive