direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Dr.-Ing. Lars Alvincz (formerly Gesellensetter)



Alvincz, L. and Glesner, S. (2009). Breaking the Curse of Static Analyses: Making Compilers Intelligent via Machine Learning. 3rd Workshop on Statistical and Machine learning approaches to ARchitectures and compilaTion (SMART'09)


Gesellensetter, L. and Glesner, S. (2008). Interprocedural Speculative Optimization of Memory Accesses to Global Variables. European Conference on Parallel and Distributed Computing (Euro-Par 2008). LNCS.

Link to original publication

Gesellensetter, L. (2008). Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely. Dagstuhl Seminar Proceedings 08161. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.


Gesellensetter, L., Glesner, S. and Salecker, E. (2007). Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007)

Link to original publication


Gesellensetter, L. and Glesner, S. (2006). Only the best can make it: optimal component selection. Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA). Electronic Notes in Theoretical Computer Science (ENTCS).


Kopp, S., Gesellensetter, L., Krämer, N. and Wachsmuth, I. (2005). A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application. The 5th International Working Conference on Intelligent Virtual Agents (IVA. Springer.

Blech, J. O., Gesellensetter, L. and Glesner, S. (2005). Formal Verification of Dead Code Elimination in Isabelle/HOL. Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods. IEEE Computer Society Press, 200-209.

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe