Lars Alvincz

Affiliations:

Technical University of Berlin, Department of Mathematics, Germany

According to our database¹, Lars Alvincz authored at least 7 papers between 2005 and 2009.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2009

A framework for intelligent speculative compiler optimizations and its application to memory accesses.

[BibT_eX]

[DOI]

Lars Alvincz

PhD thesis, 2009

2008

Interprocedural Speculative Optimization of Memory Accesses to Global Variables.

[BibT_eX]

[DOI]

Lars Gesellensetter

Sabine Glesner

Proceedings of the Euro-Par 2008, 2008

Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely.

[BibT_eX]

[DOI]

Lars Gesellensetter

Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008

2007

Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler.

[BibT_eX]

[DOI]

Lars Gesellensetter

Sabine Glesner

Elke Salecker

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006

Only the Best Can Make It: Optimal Component Selection.

[BibT_eX]

[DOI]

Lars Gesellensetter

Sabine Glesner

Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006

2005

Formal Verification of Dead Code Elimination in Isabelle/HOL.

[BibT_eX]

[DOI]

Jan Olaf Blech

Lars Gesellensetter

Sabine Glesner

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Virtual Agents, 5th International Working Conference, 2005

Lars Alvincz

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...