default search action

combined dblp search
author search
venue search
publication search

ask others

Lars Alvincz

Lars Gesellensetter

> Home > Persons

Person information

affiliation: Technical University of Berlin, Department of Mathematics, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/de/Alvincz2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Alvincz2009
Lars Alvincz:
A framework for intelligent speculative compiler optimizations and its application to memory accesses. Berlin Institute of Technology, 2009
2008
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/GesellensetterG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/GesellensetterG08
Lars Gesellensetter, Sabine Glesner:
Interprocedural Speculative Optimization of Memory Accesses to Global Variables. Euro-Par 2008: 350-359
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/Gesellensetter08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Gesellensetter08
Lars Gesellensetter:
Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely. Scalable Program Analysis 2008
2007
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GesellensetterGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GesellensetterGS07
Lars Gesellensetter, Sabine Glesner, Elke Salecker:
Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. FMICS 2007: 85-100
2006
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GesellensetterG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GesellensetterG07
Lars Gesellensetter, Sabine Glesner:
Only the Best Can Make It: Optimal Component Selection. FESCA@ETAPS 2006: 105-124
2005
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iva/KoppGKW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iva/KoppGKW05
Stefan Kopp, Lars Gesellensetter, Nicole C. Krämer, Ipke Wachsmuth:
A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application. IVA 2005: 329-343
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BlechGG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BlechGG05
Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner:
Formal Verification of Dead Code Elimination in Isabelle/HOL. SEFM 2005: 200-209

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.