EDBT 2026 Demo / reviewers in the wild / expert
Dennis Walter
dblp:27/3968
· DBLP profile ↗
10ranked-venue papers
2as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 6 · 1 since 2021Software engineering, systems software and programming languages · 3Theory of computation · 3 · 1 first-authorSecurity and privacy · 1 · 1 first-author
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.
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Hardware accelerators and domain-specific architectures · 77% Interconnection networks and networks-on-chip · 16% Memory systems · 7% | |
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% | |
| Computer networks
1 paper |
Physical-layer communications · 100% |
Topics — the 6 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Hardware accelerators and domain-specific architectures
database accelerator |
0.2 | 1 | 2016 | An MPSoC for energy-efficient database query processing · DAC 2016 |
Hardware accelerators and domain-specific architectures › query processing
energy-efficient query processing |
0.2 | 1 | 2016 | An MPSoC for energy-efficient database query processing · DAC 2016 |
Program verification › mechanized verification
certified verification |
0.1 | 1 | 2009 | Certifiable Specification and Verification of C Programs · FM 2009 |
Program verification › code-level verification
c program verification |
0.1 | 1 | 2009 | Certifiable Specification and Verification of C Programs · FM 2009 |
Physical-layer communications
MIMO |
0.1 | 1 | 2017 | A Heterogeneous SDR MPSoC in 28 nm CMOS for Low-Latency Wireless Applications · DAC 2017 |
Memory systems
processing-in-memory |
0.1 | 1 | 2016 | An MPSoC for energy-efficient database query processing · DAC 2016 |
Methods — techniques the papers use, named apart from their topics
heterogeneous MPSoC design · 0.6dynamic data flow mapping · 0.6runtime task scheduling · 0.2instruction set extension · 0.2dynamic voltage and frequency scaling · 0.2proof assistant · 0.1certification · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Hardware Implementation of an OPC UA Server for Industrial Field DevicesabstractIndustrial plants suffer from a high degree of complexity and incompatibility in their communication infrastructure, caused by a wild mix of proprietary technologies. This prevents transformation toward Industry 4.0 and the Industrial Internet of Things. Open platform communications unified architecture (OPC UA) is a standardized protocol that addresses these problems with uniform and semantic communication across all levels of the hierarchy. However, its adoption in embedded field devices, such as sensors and actuators, is still lacking due to prohibitive memory and power requirements of software implementations. We have developed a dedicated hardware engine that offloads processing of the OPC UA protocol and enables the realization of compact and low-power field devices with OPC UA support. As part of a proof-of-concept embedded system, we have implemented this engine in a 22-nm FDSOI technology, representing the first ASIC implementation of an OPC UA server. We measured performance, power consumption, and memory footprint of our test chip and compared it with a software implementation based on open62541 and a Raspberry Pi 2B. Our OPC UA hardware engine is 50 times more energy efficient and only requires 36 KiB of memory. The complete system consumes only 24 mW under full load, making it suitable for low-power embedded applications. Heiner Bauer, Sebastian Höppner, Chris Paul Iatrou, Zohra Charania, Stephan Hartmann 0002, Saif-Ur Rehman, Andreas Dixius, Georg Ellguth, Dennis Walter, Johannes Uhlig, Felix Neumärker, Marc Berthel, Marco Stolba, Florian Kelber, Leon Urbas, Christian Mayr 0001 |
IEEE Trans. Very Large Scale Integr. Syst. | 9 |
| 2018 | A physical synthesis flow for early technology evaluation of silicon nanowire based reconfigurable FETsabstractSilicon Nanowire (SiNW) based reconfigurable field-effect transistors (RFETs) provide an additional gate terminal called the program gate which gives the freedom of programming p-type or n-type functionality for the same device at runtime. This enables the circuit designers to pack more functionality per computational unit. This saves processing costs as only one device type is required, and no doping and associated lithography steps are needed for this technology. In this paper, we present a complete design flow including both logic and physical synthesis for circuits based on SiNW RFETs. We propose layouts of logic gates, Liberty and LEF (Library Exchange Format) files to enable further research in the domain of these novel, functionally enhanced transistors. We show that in the first of its kind comparison, for these fully symmetrical reconfigurable transistors, the area after placement and routing for SiNW based circuits is 17% more than that of CMOS for MCNC benchmarks. Further, we discuss areas of improvement for obtaining better area results from the SiNW based RFETs from a fabrication and technology point of view. The future use of self-aligned techniques to structure two independent gates within a smaller pitch holds the promise of substantial area reduction. Shubham Rai, Ansh Rupani, Dennis Walter, Michael Raitza, Andre Heinzig, Tim Baldauf, Jens Trommer, Christian Mayr 0001, Walter M. Weber, Akash Kumar 0001 |
DATE | 3 |
| 2017 | A Heterogeneous SDR MPSoC in 28 nm CMOS for Low-Latency Wireless ApplicationsabstractCurrent and future applications impose high demands on software-defined radio (SDR) platforms in terms of latency, reliability, and flexibility. This paper presents a heterogeneous SDR MPSoC with a hexagonal network-on-chip to address these issues. It features four data processing modules and a baseband processing engine for iterative multiple-input multiple-output (MIMO) receiving. Integrated memory controllers enable dynamic data flow mapping and application isolation. In a 4 x 4 MIMO application scenario, the MPSoC achieves a throughput of 232 Mbit/s with a latency of 20 μs while consuming 414 mW. It outperforms state-of-the-art platforms in terms of throughput by a factor of 4. Sebastian Haas, Tobias Seifert, Benedikt Noethen, Stefan Scholze, Sebastian Höppner, Andreas Dixius, Esther P. Adeva, Thomas R. Augustin, Friedrich Pauls, Sadia Moriam, Mattis Hasler, Erik Fischer, Yong Chen 0014, Emil Matús, Georg Ellguth, Stephan Hartmann 0002, Stefan Schiefer, Love Cederstroem, Dennis Walter, Stephan Henker, Stefan Hänzsche, Johannes Uhlig, Holger Eisenreich, Stefan Weithoffer, Norbert Wehn, René Schüffny, Christian Mayr 0001, Gerhard P. Fettweis |
DAC | 19 |
| 2017 | Exploiting transistor-level reconfiguration to optimize combinational circuitsabstractSilicon nanowire reconfigurable field effect transistors (SiNW RFETs) abolish the physical separation of n-type and p-type transistors by taking up both roles in a configurable way within a doping-free technology. However, the potential of transistor-level reconfigurability has not been demonstrated in larger circuits, so far. In this paper, we present first steps to a new compact and efficient design of combinational circuits by employing transistor-level reconfiguration. We contribute new basic gates realized with silicon nanowires, such as 2/3-XOR and MUX gates. Exemplifying our approach with 4-bit, 8-bit and 16-bit conditional carry adders, we were able to reduce the number of transistors to almost one half. With our current case study we show that SiNW technology can reduce the required chip area by 16 despite larger size of the individual transistor, and improve circuit speed by 26%. Michael Raitza, Akash Kumar 0001, Marcus Völp, Dennis Walter, Jens Trommer, Thomas Mikolajick, Walter M. Weber |
DATE | 4 |
| 2016 | An MPSoC for energy-efficient database query processingabstractThis paper presents a heterogeneous database hardware accelerator MPSoC manufactured in 28 nm SLP CMOS. The 18 mm2 chip integrates a runtime task scheduling unit for energy-efficient query processing and hierarchical power management supported by an ultra-fast dynamic voltage and frequency scaling. Four processing elements, connected by a star-mesh network-on-chip, are accelerated by an instruction set extension tailored to fundamental data-intensive applications. We evaluate the MPSoC with typical database benchmarks focusing on scans and bitmap operations. When the processing elements operate on data stored in local memories, the chip consumes 250 mW and shows a 96x energy efficiency improvement compared to state-of-the-art platforms. Sebastian Haas, Oliver Arnold, Benedikt Noethen, Stefan Scholze, Georg Ellguth, Andreas Dixius, Sebastian Höppner, Stefan Schiefer, Stephan Hartmann 0002, Stephan Henker, Thomas Hocker, Jörg Schreiter, Holger Eisenreich, Jens-Uwe Schluessler, Dennis Walter, Tobias Seifert, Friedrich Pauls, Mattis Hasler, Yong Chen 0014, Hermann Hensel, Sadia Moriam, Emil Matús, Christian Mayr 0001, René Schüffny, Gerhard P. Fettweis |
DAC | 15 |
| 2013 | A Compact Clock Generator for Heterogeneous GALS MPSoCs in 65-nm CMOS TechnologyabstractThis paper presents an all-digital phase-locked loop (ADPLL) clock generator for globally asynchronous locally synchronous (GALS) multiprocessor systems-on-chip (MPSoCs). With its low power consumption of 2.7 mW and ultra small chip area of 0.0078 mm2it can be instantiated per core for fine-grained power management like DVFS. It is based on an ADPLL providing a multiphase clock signal from which core frequencies from 83 to 666 MHz with 50% duty cycle are generated by phase rotation and frequency division. The clock meets the specification for DDR2/DDR3 memory interfaces. Additionally, it provides a dedicated high-speed clock up to 4 GHz for serial network-on-chip data links. Core frequencies can be changed arbitrarily within one clock cycle for fast dynamic frequency scaling applications. The performance including statistical analysis of mismatch has been verified by a prototype in 65-nm CMOS technology. Sebastian Höppner, Holger Eisenreich, Stephan Henker, Dennis Walter, Georg Ellguth, René Schüffny |
IEEE Trans. Very Large Scale Integr. Syst. | 4 |
| 2010 | Experiences in Applying Formal Verification in Robotics
Dennis Walter, Holger Täubig, Christoph Lüth |
SAFECOMP | 1 |
| 2009 | Certifiable Specification and Verification of C Programs
Christoph Lüth, Dennis Walter |
FM | 2 |
| 2008 | Integration of a security type system into a program logic
Reiner Hähnle, Philipp Rümmer, Dennis Walter |
Theor. Comput. Sci. | 4 |
| 2005 | Parametrized Exceptions
Dennis Walter, Lutz Schröder, Till Mossakowski |
CALCO | 1 |