Pith. sign in

Researcher Evidence Record

Martin Berger

This bounded record lists 24 Pith paper rows and 0 imported work rows attributed to this corpus identity. The enumerated, non-disputed paper rows include cs.PL, cs.LO, physics.ins-det work dated 2008 to 2026. The record describes sources and coverage; it makes no judgment about the person.

Compiled coverage vector

Measured lane counts only. Not a trust score or person verdict.

Identity 2 canonical identity row plus typed public identifiers Pith papers 24 attributed paper rows in the Pith corpus, itemized below Imported works 0 imported works beyond the paper ledger Current reviews 2 of 24 papers carrying a current Pith review; presence, not outcome Sourced citations 0 of 24 works with a source-named citation count Coauthors 50 distinct coauthors across shared paper rows
Enumerated paper scope: 9 fields (cs.PL, cs.LO, physics.ins-det, +6 more) · 2008-2026 sources: authors, author_identifiers · paper_authors · author_works · current_verdicts · cited_works

A sourced case file for attributed work. It is neither a profile score nor a verdict about this researcher.

Attributed works

A bounded ledger from the Pith paper and imported-work queries. Counts and source confidence stay with each work.

  1. 2026 Pith paper

    Mechanised operational semantics of Rowhammer

    cs.PL provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  2. 2026 Pith paper

    PG-MDP: Profile-Guided Memory Dependence Prediction for Area-Constrained Cores

    cs.PL provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    backfill
    Printed name
    Martin Berger
    Author position
    7
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  3. 2025 Pith paper

    GPU accelerated program synthesis: Enumerate semantics, not syntax!

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  4. 2025 Pith paper

    Pydrofoil: accelerating Sail-based instruction set simulators

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  5. 2024 Pith paper

    Improving Memory Dependence Prediction with Static Analysis

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  6. 2024 Pith paper

    LTL learning on GPUs

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  7. 2023 Pith paper

    Correct and Optimal: the Regular Expression Inference Challenge

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  8. 2023 Pith paper

    Search-Based Regular Expression Inference on a GPU

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  9. 2023 Pith paper

    A modest proposal: explicit support for foundational pluralism

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  10. 2023 Pith paper

    Classifying Linear Matrix Inequalities via Abstract Operator Systems

    math.FA provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  11. 2022 Pith paper

    ALARM: Active LeArning of Rowhammer Mitigations

    cs.CR provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  12. 2022 Pith paper

    Cluster-Based Autoencoders for Volumetric Point Clouds

    cs.CV provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  13. 2021 Pith paper

    Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks

    cs.CR provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    7
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  14. 2021 Pith paper

    Abstract Operator Systems over the Cone of Positive Semidefinite Matrices

    math.OA provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  15. 2021 Pith paper

    A program logic for fresh name generation

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  16. 2018 Pith paper

    Deep Neural Networks for ECG-free Cardiac Phase and End-Diastolic Frame Detection on Coronary Angiographies

    cs.CV provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    9
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  17. 2018 Pith paper

    Viewpoint Planning for Quantitative Coronary Angiography

    physics.med-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  18. 2018 Pith paper

    Phase-Sensitive Region-of-Interest Computed Tomography

    physics.med-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  19. 2016 Pith paper

    Modelling homogeneous generative meta-programming

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  20. 2014 Pith paper

    Cathoristic logic: A modal logic of incompatible propositions

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  21. 2013 Pith paper

    Si$\Lambda$ViO: A Trigger for $\Lambda$-Hyperons

    physics.ins-det provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  22. 2009 Pith paper

    Si$\Lambda$ViO: A Trigger for $\Lambda$-Particles

    physics.ins-det provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  23. 2009 Pith paper

    Development of a GEM-TPC prototype

    physics.ins-det provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  24. 2008 Pith paper

    Logical Reasoning for Higher-Order Functions with Local State

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Martin Berger
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.

Evidence apparatus

The machinery behind this record. Every lane states whether Pith measured it, did not query it, could not reach it, or withheld it.

LaneStateObservedBoundary and source
identity Measured 2 Canonical identity row plus public typed identifiers.
source=authors, author_identifiers
papers Measured 24 of 24 bounded rows Rows attributed to this author UUID in the Pith corpus.
source=paper_authors
works Measured zero 0 of 0 bounded rows Imported works not duplicated by the paper ledger.
source=author_works
reviews Measured 2 of 24 bounded rows Coverage count only. No review outcome is projected onto the person.
source=current_verdicts
citations Measured zero 0 of 24 bounded rows Counts remain itemized by work and source.
source=cited_works
coauthors Measured 50 of 24 bounded rows Shared-work edges from admitted paper rows.
source=paper_authors
account Unavailable No public count of 1 bounded rows Account metadata is separate from corpus evidence.
source=users.author_id
Public identity sources
  • name variant
    Martin Berger     backfill
    confidence 0.6

identity history

Enumerated research scope

Fields and dates come only from enumerated, non-disputed Pith paper rows. They do not claim career completeness.

  • cs.PL8 rows
  • cs.LO4 rows
  • physics.ins-det3 rows
  • cs.CR2 rows
  • cs.CV2 rows
  • physics.med-ph2 rows
  • cs.LG1 rows
  • math.FA1 rows
  • math.OA1 rows
  • 20081 rows
  • 20092 rows
  • 20131 rows
  • 20141 rows
  • 20161 rows
  • 20183 rows
  • 20213 rows
  • 20222 rows
  • 20234 rows
  • 20242 rows
  • 20252 rows
  • 20262 rows
Shared-work index
Record scope

The work queries are bounded. Missing rows may mean measured zero, an unavailable source, a query that did not run, or private data that Pith withheld. The lane table keeps those cases separate.

Paper findings remain attached to papers. They do not become findings about this researcher.