Demo Data from EDBT 2026 / reviewers in the wild / expert
Gérard Basler
dblp:95/3093
· DBLP profile ↗
6ranked-venue papers
4as first author
0since 2021 · last 2012
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 4 · 3 first-authorTheory of computation · 2 · 2 first-authorSecurity and privacy · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
2 papers |
Concurrent programming · 48% Program verification · 41% Debugging and program repair · 11% | |
| Network and information security
1 paper |
Cryptographic primitives and cryptanalysis · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Hardware accelerators and domain-specific architectures · 100% |
Topics — the 8 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program verification
model checking |
0.1 | 1 | 2009 | Symbolic Counter Abstraction for Concurrent Software · CAV 2009 |
Concurrent programming
concurrency bugs |
0.1 | 1 | 2008 | Finding and Reproducing Heisenbugs in Concurrent Programs · OSDI 2008 |
Cryptographic primitives and cryptanalysis › cryptographic implementation
block cipher implementation |
0.0 | 1 | 2002 | 2Gbit/s Hardware Realizations of RIJNDAEL and SERPENT: A Comparative Analysis · CHES 2002 |
Cryptographic primitives and cryptanalysis › cryptographic implementation
hardware implementation |
0.0 | 1 | 2002 | 2Gbit/s Hardware Realizations of RIJNDAEL and SERPENT: A Comparative Analysis · CHES 2002 |
Cryptographic primitives and cryptanalysis
symmetric cryptography |
0.0 | 1 | 2002 | 2Gbit/s Hardware Realizations of RIJNDAEL and SERPENT: A Comparative Analysis · CHES 2002 |
Hardware accelerators and domain-specific architectures
cryptographic accelerator |
0.0 | 1 | 2002 | 2Gbit/s Hardware Realizations of RIJNDAEL and SERPENT: A Comparative Analysis · CHES 2002 |
Concurrent programming
concurrency verification |
0.0 | 1 | 2009 | Symbolic Counter Abstraction for Concurrent Software · CAV 2009 |
Debugging and program repair
bug reproduction |
0.0 | 1 | 2008 | Finding and Reproducing Heisenbugs in Concurrent Programs · OSDI 2008 |
Methods — techniques the papers use, named apart from their topics
symbolic abstraction · 0.1serpent · 0.1rijndael · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2012 | satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution)
Gérard Basler, Alastair F. Donaldson, Alexander Kaiser 0001, Daniel Kroening, Michael Tautschnig, Thomas Wahl |
TACAS | 1 |
| 2010 | Boom: Taking Boolean Program Model Checking One Step Further
Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao |
TACAS | 1 |
| 2010 | Context-aware counter abstraction
Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening |
Formal Methods Syst. Des. | 1 |
| 2009 | Symbolic Counter Abstraction for Concurrent Software
Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening |
CAV | 1 |
| 2008 | Finding and Reproducing Heisenbugs in Concurrent Programs
Madan Musuvathi, Shaz Qadeer, Thomas Ball 0001, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu |
OSDI | 4 |
| 2002 | 2Gbit/s Hardware Realizations of RIJNDAEL and SERPENT: A Comparative Analysis
Adrian K. Lutz, Jürg Treichler, Frank K. Gürkaynak, Hubert Kaeslin, Gérard Basler, Antonia Albani, Stephan Reichmuth, Pieter Rommens, Stephan Oetiker, Wolfgang Fichtner |
CHES | 5 |