Michael Eichberg
YOU?
Author Swipe
View article: Computing $1/m_Q$ and $1/m_Q^2$ corrections to the static potential with lattice gauge theory using gradient flow
Computing $1/m_Q$ and $1/m_Q^2$ corrections to the static potential with lattice gauge theory using gradient flow Open
We present selected preliminary lattice gauge theory results for $O(1/m_Q)$ and $O(1/m_Q^2)$ corrections to the static potential. These results are based on Wilson loops with two field strength insertions, which we renormalize using gradie…
View article: Relativistic corrections to the static potential from generalized Wilson loops at finite flow time
Relativistic corrections to the static potential from generalized Wilson loops at finite flow time Open
We present results from an ongoing project concerned with the computation of $\\mathcal{O}(1/m_Q)$ and $\\mathcal{O}(1/m_Q^2)$ relativistic corrections to the static potential. These corrections are extracted from Wilson loops with two chr…
View article: Relativistic corrections to the static potential from generalized Wilson loops at finite flow time
Relativistic corrections to the static potential from generalized Wilson loops at finite flow time Open
We present results from an ongoing project concerned with the computation of $\mathcal{O}(1/m_Q)$ and $\mathcal{O}(1/m_Q^2)$ relativistic corrections to the static potential. These corrections are extracted from Wilson loops with two chrom…
View article: Computation of masses of quarkonium bound states using heavy quark potentials from lattice QCD
Computation of masses of quarkonium bound states using heavy quark potentials from lattice QCD Open
We compute masses of bottomonium and charmonium bound states using a Schrödinger equation with a heavy quark-antiquark potential including $1/𝑚$ and $1/𝑚^2$ corrections previously derived in potential Non-Relativistic QCD and computed with…
View article: Computation of masses of quarkonium bound states using heavy quark potentials from lattice QCD
Computation of masses of quarkonium bound states using heavy quark potentials from lattice QCD Open
We compute masses of bottomonium and charmonium bound states using a Schrödinger equation with a heavy quark-antiquark potential including $1/m$ and $1/m^2$ corrections previously derived in potential Non-Relativistic QCD and computed with…
View article: Modular collaborative program analysis in OPAL
Modular collaborative program analysis in OPAL Open
Current approaches combining multiple static analyses deriving different, independent properties focus either on modularity or performance. Whereas declarative approaches facilitate modularity and automated, analysis-independent optimizati…
View article: Evaluation Results for Modular Collaborative Program Analysis in OPAL
Evaluation Results for Modular Collaborative Program Analysis in OPAL Open
This are the full evaluation results for "Modular Collaborative Program Analysis in OPAL", published at ESEC/FSE 2020. The zip file contains csv files with the data of individual analysis executions (raw-results.csv) and the respective med…
View article: Evaluation Results for Modular Collaborative Program Analysis in OPAL
Evaluation Results for Modular Collaborative Program Analysis in OPAL Open
This are the full evaluation results for "Modular Collaborative Program Analysis in OPAL", published at ESEC/FSE 2020. The zip file contains csv files with the data of individual analysis executions (raw-results.csv) and the respective med…
View article: A programming model for semi-implicit parallelization of static analyses
A programming model for semi-implicit parallelization of static analyses Open
Parallelization of static analyses is necessary to scale to real-world programs, but it is a complex and difficult task and, therefore, often only done manually for selected high-profile analyses. In this paper, we propose a programming mo…
View article: A Unified Lattice Model and Framework for Purity Analyses
A Unified Lattice Model and Framework for Purity Analyses Open
This paper was presented in 2018 at the 33rd ACM/IEEE International Conference on Automated Software Engineering and proposes a framework for purity analyses. Analyzing methods in object-oriented programs whether they are side-effect free …
View article: Reactive Async: expressive deterministic concurrency
Reactive Async: expressive deterministic concurrency Open
Concurrent programming is infamous for its difficulty. An important source of difficulty is non-determinism, stemming from unpredictable interleavings of concurrent activities. Futures and promises are widely-used abstractions that help de…