Prof. Dr. Oliver Keszöcze
Curriculum Vitæ
since September 2018 | Assistant Professor for Computer Science at the Department of Computer Science 12 (Hardware-Software-Co-Design), Friedrich-Alexander University Erlangen-Nuremberg, |
2014 − 2018 | Researcher at the German Research Center for Artificial Intelligence, Bremen |
2012 − 2018 | PhD student at the Group for Computer Architecture, University of Bremen |
2011 − 2012 | Software Engineer at an international retail company, Oldenburg |
2006 − 2011 | B.Sc. in Computer Science, University of Bremen, Germany |
2005 − 2011 | Diploma in Applied Mathematics, University of Bremen, Germany |
Research Interests
- Approximate Computing
- Logic Synthesis
- SAT/SMT/Formal methods
- Reversible Computing
- Digital Microfluidic Biochips
Teaching
WS 2020/2021 |
|
SS 2020 | |
WS 2019/2020 |
|
SS 2019 |
|
WS 2018/2019 |
2021
Aarith: An Arbitrary Precision Number Library
ACM/SIGAPP Symposium On Applied Computing (virtual conference, 22. März 2021 - 26. November 2020)
DOI: 10.1145/3412841.3442085
BibTeX: Download
, , , , :
Approximate Computing Extensions for the Clash HDL Compiler
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (, 18. März 2021 - 19. März 2021)
BibTeX: Download
, :
Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures
Design, Automation and Test in Europe (virtual conference, 1. Februar 2021 - 5. November 2020)
URL: https://www.date-conference.com/
BibTeX: Download
, , :
Efficient One-Pass Synthesis for Digital Microfluidic Biochips
In: ACM Transactions on Design Automation of Electronic Systems (2021)
ISSN: 1084-4309
BibTeX: Download
, , :
2020
Probabilistic Error Propagation through Approximated Boolean Networks
57th Annual Design Automation Conference (DAC) (San Francisco, CA, 19. Juli 2020 - 23. Juli 2020)
In: Proceedings of the 57th Annual Design Automation Conference 2020
BibTeX: Download
, , , :
(Semi)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications
In: Mathias Soeken, Rolf Drechsler (Hrsg.): Natural Language Processing for Electronic Design Automation, Springer, 2020
ISBN: 978-3-030-52271-1
DOI: 10.1007/978-3-030-52273-5
BibTeX: Download
, , , , :
Error Analysis for Loop Programs using Anytime Instructions in Approximate Computing
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Stuttgart, 19. März 2020 - 20. März 2020)
BibTeX: Download
, , , :
Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning
In: Rolf Drechsler, Mathias Soeken (Hrsg.): Advanced Boolean Techniques - Selected Papers from the 13th International Workshop on Boolean Problems, Springer International Publishing, 2020
ISBN: 978-3-030-20322-1
DOI: 10.1007/978-3-030-20323-8
URL: https://www.springerprofessional.de/advanced-boolean-techniques/16907760
BibTeX: Download
, , , :
One-pass Synthesis for Digital Microfluidic Biochips: A Survey
International Symposium on Devices, Circuits and Systems (Indian Institute of Engineering Science and Technology, Shibpur, Kolkata, 4. März 2020 - 6. März 2020)
DOI: 10.1109/ISDCS49393.2020.9263007
BibTeX: Download
, , :
Geometric Refactoring of Quantum and Reversible Circuits: Quantum Layout
Euromicro Conference on Digital System Design
BibTeX: Download
, , , :
Refactoring of Quantum and Reversible Circuits
International Workshop on Quantum Compilation (Cambridge, 23. September 2020 - 24. September 2020)
BibTeX: Download
, , , :
Run-Time Enforcement of Non-Functional Application Requirements in Heterogeneous Many-Core Systems
Asia and South Pacific Design Automation Conference (ASP-DAC) (China National Convention Center, Beijing, China, 13. Januar 2020 - 16. Januar 2020)
DOI: 10.1109/ASP-DAC47756.2020.9045536
BibTeX: Download
, , , , :
A fast BDD Minimization Framework for Approximate Computing
Design, Automation and Test in Europe (ALPEXPO, Grenoble, France, 9. März 2020 - 13. März 2020)
BibTeX: Download
, :
2019
Chatbot-Based Assertion Generation from Natural Language Specifications
Forum on Specification & Design Languages (FDL) (Southampton, 2. September 2019 - 4. September 2019)
DOI: 10.1109/FDL.2019.8876925
BibTeX: Download
, :
2018
Translating between the Roots of Identity in Quantum Circuits
48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018 (Linz)
DOI: 10.1109/ISMVL.2018.00051
BibTeX: Download
, , , , :
Exakter Entwurf digitaler mikrofluidischer Biochips
In: Steffen Hölldobler (Hrsg.): Ausgezeichnete Informatikdissertationen 2017, 2018, S. 121-130 (Lecture Notes in Informatics, Bd.18)
ISBN: 978-3-88579-977-1
BibTeX: Download
:
Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips
31st International Conference on VLSI Design, VLSID 2018
DOI: 10.1109/VLSID.2018.48
BibTeX: Download
, , , , :
On the Complexity of Design Tasks for Digital Microfluidic Biochips
In: Microelectronics Journal 78 (2018), S. 35-45
ISSN: 0026-2692
DOI: 10.1016/j.mejo.2018.05.013
BibTeX: Download
, , , :
Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning
International Workshop on Boolean Problems (Bremen)
BibTeX: Download
, , , :
The Complexity of Error Metrics
In: Information Processing Letters 139 (2018), S. 1-7
ISSN: 0020-0190
DOI: 10.1016/j.ipl.2018.06.010
BibTeX: Download
, , :
Computational Complexity of Error Metrics in Approximate Computing
In: Bernd Steinbach (Hrsg.): Further Improvements in the Boolean Domain, 2018, S. Cambridge Scholars Publishing
ISBN: 978-1-5275-0371-7
BibTeX: Download
, , :
Exact Design of Digital Microfluidic Biochips
Springer, 2018
ISBN: 978-3-319-90936-3
URL: https://www.springer.com/us/book/9783319909356
BibTeX: Download
, , :
Towards Dynamic Execution Environment for System Security Protection against Hardware
Flaws
17th IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2018
DOI: 10.1109/ISVLSI.2018.00107
BibTeX: Download
, , , , :
Execution Environment for Dynamic Software Runtime Examination
Workshop on Design Automation for Understanding Hardware Designs (Dresden)
BibTeX: Download
, , , :
ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling
International Workshop on Boolean Problems (Bremen)
BibTeX: Download
, , , :
2017
Synthesis of Optical Circuits Using Binary Decision Diagrams
In: Integration-The Vlsi Journal 59 (2017), S. 42-51
ISSN: 0167-9260
DOI: 10.1016/j.vlsi.2017.05.001
BibTeX: Download
, , , , :
Synthesis of optical circuits using binary decision diagrams
In: Integration-The Vlsi Journal 59 (2017), S. 42-51
ISSN: 0167-9260
DOI: 10.1016/j.vlsi.2017.05.001
BibTeX: Download
, , , , :
Exact Routing for Micro-Electrode-Dot-Array Digital Microfluidic Biochips
22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017
DOI: 10.1109/ASPDAC.2017.7858407
BibTeX: Download
, , , , , :
A Human-Centered Approach to Routing for Digital Microfluidic Biochips
Workshop on Design Automation for Understanding Hardware Designs (Lausanne)
BibTeX: Download
, , :
Der Einfluss von Zellformen Auf Das Routing von Digital Microfluidic Biochips
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Bremen)
BibTeX: Download
, , , :
Effects of Cell Shapes on the Routability of Digital Microfluidic Biochips
20th Design, Automation and Test in Europe, DATE 2017 (Lausanne)
DOI: 10.23919/DATE.2017.7927252
BibTeX: Download
, , , :
BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips
2017 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2017
DOI: 10.1109/ISVLSI.2017.38
BibTeX: Download
, , , , :
An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
In: Journal of Low Power Electronics 13 (2017), S. 633-641
ISSN: 1546-1998
DOI: 10.1166/jolpe.2017.1515
BibTeX: Download
, , , , :
Generating and Checking Control Logic in the HDL-Based Design of Reversible Circuits
6th International Symposium on Embedded Computing and System Design, ISED 2016 (Patna, Indien)
DOI: 10.1109/ISED.2016.7977045
BibTeX: Download
, , , , :
2016
Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits
In: ACM Journal on Emerging Technologies in Computing Systems 13 (2016), Art.Nr.: 11
ISSN: 1550-4832
DOI: 10.1145/2904445
BibTeX: Download
, , , , :
Synthesis of Optical Circuits with Contradictory Optimization Objectives
International Workshop on Optical/Photonic Interconnects for Computing Systems (Dresden)
BibTeX: Download
, , , , :
Visualizing Microfluidic Biochips Interactively
Workshop on Design Automation for Understanding Hardware
Designs (Dresden, Deutschland)
BibTeX: Download
, , , :
A General and Exact Routing Methodology for Digital Microfluidic Biochips
34th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015
DOI: 10.1109/ICCAD.2015.7372663
BibTeX: Download
, , , :
Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
In: Frank Oppenheimer, Julio Luis Medina Pasaje (Hrsg.): Languages, Design Methods, and Tools for Electronic System Design, 2016, S. 101 - 112 (Lecture Notes in Electrical Enginieering)
ISBN: 978-3-319-24457-0
URL: https://www.springer.com/de/book/9783319244556
BibTeX: Download
, :
Synthesis of Approximate Coders for On-Chip Interconnects Using Reversible Logic
19th Design, Automation and Test in Europe Conference and Exhibition, DATE 2016
URL: https://www.scopus.com/record/display.uri?eid=2-s2.0-84973635861∨igin=inward
BibTeX: Download
, , , , :
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs
8th International Conference on Reversible Computation, RC 2016 (Bologna)
DOI: 10.1007/978-3-319-40578-0_11
BibTeX: Download
, , , , :
Look-Ahead Schemes for Nearest Neighbor Optimization of 1D and 2D Quantum Circuits
21st Asia and South Pacific Design Automation Conference, ASP-DAC 2016
DOI: 10.1109/ASPDAC.2016.7428026
BibTeX: Download
, , , , , :
2015
Exact Routing for Digital Microfluidic Biochips with Temporary Blockages
2014 33rd IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014
DOI: 10.1109/ICCAD.2014.7001383
BibTeX: Download
, , :
Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen
2015
(Technische Informatik)
ISBN: 978-3-8440-3467-7
URL: http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8440-3467-7
BibTeX: Download
, , (Hrsg.):
Scalable One-Pass Synthesis for Digital Microfluidic Biochips
In: IEEE Design & Test 32 (2015), S. 41-50
ISSN: 2168-2356
DOI: 10.1109/MDAT.2015.2455344
BibTeX: Download
, , , , :
Reverse BDD-Based Synthesis for Splitter-Free Optical Circuits
2015 20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015
DOI: 10.1109/ASPDAC.2015.7059000
BibTeX: Download
, , , :
2014
(Semi-)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications
Forum on Specification & Design Languages (München)
BibTeX: Download
, , , , :
Exact One-Pass Synthesis of Digital Microfluidic Biochips
51st Annual Design Automation Conference, DAC 2014 (San Francisco, CA)
DOI: 10.1145/2593069.2593135
BibTeX: Download
, , , :
A Logic for Cardinality Constraints
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Böblingen, 10. März 2014 - 12. März 2014)
BibTeX: Download
, , , :
2013
Task-Driven Software Summarization
29th IEEE International Conference on Software Maintenance, ICSM 2013 (Eindhoven)
DOI: 10.1109/ICSM.2013.65
BibTeX: Download
, , , , , , , , :
Lips: An IDE for Model Driven Engineering Based on Natural LanguagePprocessing
2013 1st International Workshop on Natural Language Analysis in Software Engineering, NaturaLiSE 2013 (San Francisco, CA)
DOI: 10.1109/NAturaLiSE.2013.6611718
BibTeX: Download
, , , :
2010
Peak Detection in Mass Spectrometry Data Using Sparse Coding
nternational Conference on Computational Statistics (Paris)
BibTeX: Download
, , , :
2009
An active set approach to the elastic-net and its applications in mass spectrometry
Signal Processing with Adaptive Sparse Structured Representations (Saint Malo)
BibTeX: Download
, , , , :
Awards
- Date PhD Forum Best Poster Award
- Berninghausen Award in the category „extraordinary and innovative teaching“ (Berninghausenpreis in der Kategorie „Hervorragende, innovative Lehrveranstaltung“)
Professional Scientific Activities
Organization
2020
- Special Session on „Future Trends in Emerging Technologies“ at the Euromicro Conference on Digital System Design
2019
- DUHDe’19 – 6th Workshop on Design Automation for Understanding Hardware Designs
- Special Session on „Future Trends in Emerging Technologies“ at the Euromicro Conference on Digital System Design
2018
- Special Session on „Future Trends in Emerging Technologies“ at the Euromicro Conference on Digital System Design
Committee Memberships
2021
- DATE’21 Program Committee
- DATE’21 PhD Forum Selection Committee
- ASP-DAC’21 Programm Committee
- ASP-DAC’21 Best Paper & MIP Award Committee
2020
- ICCAD’20 Program Committee
- DATE’20 Program Committee
- DATE’20 PhD Forum Selection Committee
- Euromicro DSD Program Committee
- AxC’20 Program Committee
2019
- ASP-DAC Technical Program Committee
- DATE’19 PhD Forum Selection Committee
- Euromicro DSD Program Committee
2018
- DUHDe’18 − 5th Workshop on Design Automation for Understanding Hardware Designs
- MicDAT’18 − International Conference on Microelectronic Devices and Technologies
Reviewing − Journals
- ACM JETC − ACM Journal on Emerging Technologies in Computing
- Integration − Integration, the VLSI Journal (Elsevier)
- IEEE Access – The Multidisciplinary Open Access Journal
- IEEE TCAD − IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- MEJ − Microelectronics Journal (Elsevier)
- IEEE TMSCS − IEEE Transactions on Multi-Scale Computing Systems
- IEEE TC − IEEE Transactions on Computers
Reviewing − Conferences, Symposia, Workshops, etc. (selection, in addition to TPC memberships)
DAC, ICCAD, ASP-DAC, GLSVLSI, DSD, ISVLSI