CODE Colloquium


Wir freuen uns, Sie zum CODE Colloquium begrüßen zu dürfen.  In regelmäßigen Abständen laden wir in Kooperation mit ITIS e.V. einen hochkarätigen Redner für einen Vortrag von 45 Min. zu einem ausgewählten IT-Thema sowie Q+A im Anschluss abgerundet durch ein Get-Together an das Forschungsinstitut CODE ein. 

Nächste Veranstaltung

29.01.2020, 18:00 Uhr

Redner des Abends: Prof. Dr. Laurence Tratt vom Kings College London

Titel: "Between the Lines: VM Assumptions"​

Abstract:

Programming language Virtual Machines (VMs) must make many assumptions
about how programs typically operate in order to effectively optimise
them. We less commonly consider the many assumptions that VM developers
and researchers hold about how VMs operate and the context within which
they operate. In this talk, I will present a number of partly, or wholly,
unstated assumptions that we have about VMs and their development, ranging
from benchmarking to security. Together they may help partly, although
probably not wholly, how VMs got to where they are today -- and also offer
suggestions for how we can do things differently in the future.

Bio: Laurence Tratt is a Reader in Software Development at King's College
London, where he leads the Software Development Team. His work is strongly
motivated by real-world issues concerning programming languages: how to
make them faster, more expressive, and applicable to novel situations.
His past work includes language design (e.g. the "Converge" language),
virtual machine optimisation techniques (e.g. "storage strategies"), and
language composition (e.g. "PyHyp", the first composition of two
real-world languages).

Wann: 29.01.2020, 18:00 Uhr
Wo: Auditorium Forschungsinstitut CODE, R. 0812 (EG, rechts neben dem Eingang), Carl-Wery-Straße 18., 81739 München

Der Einlass erfolgt ab 17:30 Uhr über den Haupteingang des FI CODE
Carl-Wery-Straße 18., 81739 München

Im Anschluss an die Veranstaltung laden wir zu einem kleinen Get-Together.

Weitere Termine

Termine 2020:
12.02.20
25.03.20
29.04.20
27.05.20
17.06.20 (mit Vorbehalt, eventuell Deutschlandspiel /Fußball Europameisterschaft 2020)

Vergangene Termine

23.01.2019 Thomas Dullien, (aka halvarflake) von Google Project Zero, Computer Security "Exploits" and the weird machine

12.02.2019 Michael Franz, UC Irvine, Cyber Attacks and Defenses: Trends, Challenges, and Outlook

20.2 2019 Mathias Payer, EPF Lausanne, Memory Corruption: Exploit-guided Software Testing

13.3.2019 Lucas Davi, Uni Duisburg-Essen, Sereum - protecting existing Smart Contracts against Re-Entrancy Attacks

20.03.2019 Shriram Krishnamurthi, Brown University, Logic in the Service of System Configurations

03.04.2019 Thorsten Holz, Ruhr-Universität Bochum, Scalable and Efficient Fuzzing for Complex Programs

15.05.2019 Dr. Phillip J. Windley, Brigham Young University, An Identity Metasystem - Sovrin Foundation

12.06.2019 Prof. Stefan Katzenbeisser, Universität Passau, Covert channels on mobile devices - gyroscopes and more

19.06.2019 Ben Titzer, Google Munich, What Spectre means for language implementors

30.10.2019 Herbert Bos, Freie Universität Amsterdam, Software and Harmware: when chip vendors pull the rug from under our feet

04.12.2019 Stijn Volckaert, Katholische Universität Leuven, Making Multi-Variant Execution Practical in the Real World

18.12.2019 Victor van der Veen, Qualcomm, System Security Research at Qualcomm Product Security