
Prof. Dr. Michael Philippsen
Professors
Address
Room: 05.139, Floor: 05
Contact
Consultation Hours
Current Projects
No projects found.
Completed Projects
-
Verification and validation in industrial practice
(Own Funds)
Project leader:
Term: 01.01.2022 – 31.12.2024
Acronym: V&ViP
URL: https://www.ps.tf.fau.de/forschung/forschungsprojekte/vvip/ -
Promote computer science as the basis for successful STEM studies along the entire education chain.
(Third Party Funds Single)
Project leader: , ,
Term: 01.11.2019 – 31.10.2022
Acronym: CS4MINTS
Funding source: Bayerisches Staatsministerium für Wissenschaft und Kunst (StMWK) (seit 2018)
URL: https://www.ddi.tf.fau.de/forschung/laufende-projekte/cs4mints-informatik-als-grundlage-eines-erfolgreichen-mint-studiums-entlan -
Cooperative Exploration and Analysis of Software in a Virtual/Augmented Reality Appliance
(Third Party Funds Group – Sub project)
Overall project: Cooperative Exploration and Analysis of Software in a Virtual/Augmented Reality Appliance
Project leader: ,
Term: 01.09.2018 – 31.12.2022
Acronym: Holoware
Funding source: Bundesministerium für Wirtschaft und Energie (BMWE)
URL: https://www2.cs.fau.de/research/Holoware/ -
Automatic Testing of Compilers
(Own Funds)
Project leader:
Term: since 01.01.2018
Acronym: AutoCompTest
URL: https://www.ps.tf.fau.de/forschung/forschungsprojekte/autocomptest/ -
OpenMP for reconfigurable heterogenous architectures
(Third Party Funds Group – Sub project)
Overall project: OpenMP für rekonfigurierbare heterogene Architekturen
Project leader:
Term: 01.11.2017 – 31.12.2023
Acronym: ORKA
Funding source: Bundesministerium für Forschung, Technologie und Raumfahrt (BMFTR)
URL: https://www.ps.tf.fau.de/forschung/forschungsprojekte/orka/ -
Recurrent Neuronal Networks (RNNs) for Real-Time Estimation of Nonlinear Motion Models
(Third Party Funds Single)
Project leader:
Term: 01.10.2017 – 31.03.2021
Acronym: RuNN
Funding source: Fraunhofer-Gesellschaft
URL: https://www2.cs.fau.de/research/RuNN/ -
Computer Science basics as an essential building block of modern STEM field curricula
(Third Party Funds Single)
Project leader: , ,
Term: 01.10.2016 – 30.09.2019
Acronym: GIFzuMINTS
Funding source: Bayerisches Staatsministerium für Bildung und Kultus, Wissenschaft und Kunst (ab 10/2013)
URL: https://www.ps.tf.fau.de/forschung/forschungsprojekte/#gifzumints -
Adaptive Algorithms for RF-based Locating Systems
(Third Party Funds Single)
Project leader:
Term: 15.05.2016 – 31.03.2017
Acronym: EAAFLS
Funding source: Industrie
URL: https://www2.cs.fau.de/research/EAAFLS/ -
Software Watermarking
(Own Funds)
Project leader:
Term: since 01.01.2016
Acronym: SoftWater
URL: https://www.ps.tf.fau.de/forschung/forschungsprojekte/softwater/ -
Automatic Detection of Race-Conditions
(Own Funds)
Project leader:
Term: 01.01.2016 – 30.09.2021
Acronym: AuDeRace
URL: http://www2.informatik.uni-erlangen.de/research/AuDeRace/ -
Automatic grading of Java and Scala homework assignments
(Own Funds)
Project leader: ,
Term: since 18.07.2013
Acronym: AuDoscore/ScExFuSS
URL: https://www.ps.tf.fau.de/forschung/forschungsprojekte/audoscore-scexfuss/ -
Parallel code analysis on a GPU
(Own Funds)
Project leader:
Term: 01.07.2013 – 30.09.2020
Acronym: ParCAn
URL: https://www2.cs.fau.de/research/ParCAn/ -
Design for Diagnosability
(Third Party Funds Single)
Project leader:
Term: 15.05.2013 – 30.09.2018
Acronym: DfD
Funding source: Bayerisches Staatsministerium für Wirtschaft und Medien, Energie und Technologie (StMWIVT) (ab 10/2013)
URL: http://www2.informatik.uni-erlangen.de/research/DfD/ -
Echtzeitkritische Systeme
(Third Party Funds Single)
Project leader: ,
Term: 01.01.2013 – 31.12.2013
Funding source: Industrie -
Techniques and tools for iterative development and optimization of software for embedded multicore systems
(Third Party Funds Single)
Project leader:
Term: 15.10.2012 – 30.11.2014
Acronym: WEMUCS
Funding source: Bayerisches Staatsministerium für Wirtschaft, Infrastruktur, Verkehr und Technologie (StMWIVT) (bis 09/2013)
URL: https://www.ps.tf.fau.de/forschung/forschungsprojekte/#wemucs -
Incremental Code Analysis
(Own Funds)
Project leader:
Term: 01.04.2012 – 30.06.2017
Acronym: InCA
URL: https://www2.cs.fau.de/research/InCA/ -
Inter-Thread Testing
(Own Funds)
Project leader:
Term: 01.01.2012 – 31.12.2013
Acronym: InThreaT -
Embedded Realtime Language Development Framework
(Own Funds)
Project leader:
Term: 01.01.2012 – 30.11.2014
Acronym: ErLaDeF -
Compiler-supported parallelization for multi-core architectures
(Own Funds)
Project leader:
Term: 01.01.2011 – 31.12.2016
Acronym: LBMMC -
Automatic Code Parallelization at Runtime
(Own Funds)
Project leader: ,
Term: 01.01.2011 – 30.04.2016
Acronym: AutoParR -
Efficient Software Architectures for Distributed Event Processing Systems
(Third Party Funds Single)
Project leader:
Term: 15.11.2010 – 31.12.2015
Acronym: ESADEPS
Funding source: Fraunhofer-Gesellschaft -
Analysis of Code Repositories
(Own Funds)
Project leader:
Term: 01.01.2010 – 31.12.2023
Acronym: AnaCoRe
URL: https://www2.cs.fau.de/research/AnaCoRe/ -
Software Project Control Center
(Third Party Funds Single)
Project leader:
Term: 01.11.2009 – 31.12.2015
Acronym: Softwareleitstand
Funding source: Bundesministerium für Wirtschaft und Energie (BMWE) -
OpenMP/Java
(Third Party Funds Single)
Project leader:
Term: 01.10.2009 – 01.10.2015
Funding source: Industrie -
Parallelization techniques for embedded systems in automation
(Own Funds)
Project leader:
Term: 01.06.2009 – 31.12.2015
Acronym: PATESIA -
Integrated Tool Chain for Meta-model-based Process Modeling and Execution
(Third Party Funds Single)
Project leader: ,
Term: 01.10.2008 – 31.12.2012
Funding source: Bundesministerium für Wirtschaft und Energie (BMWE) -
Wireless Localization
(Third Party Funds Single)
Project leader:
Term: 01.05.2008 – 14.11.2013
Funding source: Fraunhofer-Gesellschaft -
Model Driven Component Composition
(Third Party Funds Single)
Project leader:
Term: 15.06.2007 – 31.12.2011
Funding source: Industrie -
JavaParty
(Own Funds)
Project leader:
Term: 01.04.2007 – 31.12.2010
Acronym: JavaParty -
ParSeMiS – the Parallel and Sequential Graph Mining Suite
(Own Funds)
Project leader:
Term: 01.05.2006 – 31.12.2010
Acronym: ParSeMiS -
Tapir
(Own Funds)
Project leader:
Term: 01.01.2006 – 31.12.2010
Acronym: Tapir -
Cluster and Grid computing made easy
(Own Funds)
Project leader:
Term: 01.01.2006 – 31.12.2010
Acronym: Jackal -
International Collegiate Programming Contest at the FAU
(Own Funds)
Project leader:
Term: 01.11.2002 – 31.12.2024
Acronym: ICPC
URL: http://www2.informatik.uni-erlangen.de/research/ICPC/
2025
- , :
The Impact of List Reduction for Language Agnostic Test Case Reducers
18th IEEE International Conference on Software Testing, Verification and Validation (ICST) (Napoli, 31.03.2025 – 04.04.2025)
In: Proc. of the 2025 IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025
DOI: 10.1109/ICST62969.2025.10989039
BibTeX: Download - , , :
Register Expansion, SemaCall, and SideData: Three Low-Overhead Dynamic Watermarks Suitable for Automation in LLVM
In: Digital Threats: Research and Practice 6 (2025), p. 1-22
ISSN: 2576-5337
DOI: 10.1145/3743152
URL: https://dl.acm.org/doi/10.1145/3743152
BibTeX: Download
2024
- , , :
Multilayer Multipurpose Caches for OpenMP Target Regions on FPGAs
Proceedings of the 20th International Workshop on OpenMP, IWOMP 2024 (Perth, Australia, 23.09.2024 – 25.09.2024)
In: Espinosa, A., Klemm, M., de Supinski, B.R., Cytowski, M., Klinkenberg, J. (ed.): OpenMP: Advancing OpenMP for Future Accelerators, Cham: 2024
DOI: 10.1007/978-3-031-72567-8_6
BibTeX: Download - , , :
Multilayer Multipurpose Caches for OpenMP Target Regions on FPGAs [Data set]
(2024)
DOI: 10.5281/zenodo.12755510
BibTeX: Download
(online publication) - , :
Replication Package for ‘The Impact of List Reduction for Language Agnostic Test Case Reducers’
(2024)
DOI: 10.5281/zenodo.13835515
BibTeX: Download
(anderer) - , , :
Employing Polyhedral Methods to Optimize Stencils on FPGAs with Stencil-specific Caches, Data Reuse, and Wide Data Bursts
14th International Workshop on Polyhedral Compilation Techniques, (IMPACT 2024, in conjunction with HiPEAC 2024) (München, 17.01.2024)
DOI: 10.48550/arXiv.2401.13645
URL: https://impact-workshop.org/impact2024/#mayer24-fpgas
BibTeX: Download - , , :
Employing polyhedral methods to optimize stencils on FPGAs with stencil-specific caches, data reuse, and wide data bursts [Reproduction Package]
(2024)
DOI: 10.5281/zenodo.10396084
BibTeX: Download
(online publication) - , , :
Register Expansion and SemaCall: 2 Low-overhead Dynamic Watermarks Suitable for Automation in LLVM
ACM SIGSAC Conference on Computer and Communications Security (CCS’24), Workshop on Offensive and Defensive Techniques in the Context of Man At The End (MATE) attacks (Checkmate ’24) (Salt Lake City, UT, 18.10.2024 – 18.10.2024)
In: CheckMATE ’24: Proceedings of the 2024 Research on offensive and defensive techniques in the context of Man At The End (MATE) attacks, New York: 2024
DOI: 10.1145/3689934.3690815
URL: https://dl.acm.org/doi/10.1145/3689934.3690815#
BibTeX: Download - , , , , :
Register Expansion and SemaCall: 2 low-overhead dynamic Watermarks suitable for Automation in LLVM [Source code and Raw Experiment data]
(2024)
DOI: 10.5281/zenodo.13337275
BibTeX: Download
(anderer) - , , , , :
Register Expansion, SemaCall, and SideData: 3 Low-overhead Dynamic Watermarks Suitable for Automation in LLVM [Source code and Raw Experiment data]
(2024)
DOI: 10.5281/zenodo.14234819
BibTeX: Download
(anderer)
2023
- , , :
Multipurpose Cacheing to Accelerate OpenMP Target Regions on FPGAs (Best Paper Award)
Proceedings of the 19th International Workshop on OpenMP, IWOMP 2023 (Bristol, GBR, 13.09.2023 – 15.09.2023)
In: Simon McIntosh-Smith, Tom Deakin, Michael Klemm, Bronis R. de Supinski, Jannis Klinkenberg (ed.): OpenMP: Advanced Task-Based, Device and Compiler Programming 2023
DOI: 10.1007/978-3-031-40744-4_10
BibTeX: Download - , , :
Multipurpose Cacheing to Accelerate OpenMP Target Regions on FPGAs [Data set]
14114 (2023), p. 147 – 162
ISSN: 0302-9743
DOI: 10.5281/zenodo.8055889
BibTeX: Download
(online publication) - , , , , :
Practical Flaky Test Prediction using Common Code Evolution and Test History Data
16th IEEE International Conference on Software Testing, Verification and Validation, ICST 2023 (Dublin, 16.04.2023 – 20.04.2023)
In: IEEE (ed.): Proceedings – 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023 2023
DOI: 10.1109/ICST57152.2023.00028
BibTeX: Download - , , , , :
Practical Flaky Test Prediction using Common Code Evolution and Test History Data [replication package]
figshare (2023)
DOI: 10.6084/m9.figshare.21363075
BibTeX: Download
(online publication) - , , :
Employing Polyhedral Methods to Reduce Data Movement in FPGA Stencil Codes
Languages and Compilers for Parallel Computing (LCPC 2022) (Chicago, IL, 12.10.2022 – 14.10.2022)
In: Charith Mendis, Lawrence Rauchwerger (ed.): Proc. of the 35rd Intl. Workshop on Languages and Compilers for Parallel Computing (LCPC 2022), Cham: 2023
DOI: 10.1007/978-3-031-31445-2_4
BibTeX: Download - :
Forschungsdaten Test-Eintrag 1 (weiterer Typ, online, Band) [Data set]
Zenodo (2023)
DOI: 10.5281/zenodo.2558378
URL: https://zenodo.org/record/2558378
BibTeX: Download
(online publication) - :
Forschungsdaten Test-Eintrag 2 (weiterer Typ, anderer, Band) [Data set]
Zenodo (2023)
DOI: 10.5281/zenodo.2558378
URL: https://zenodo.org/record/2558378
BibTeX: Download
(anderer)
2022
- , , :
Reducing OpenMP to FPGA Round-trip Times with Predictive Modelling
18th International Workshop on OpenMP (IWOMP 2022) (Chattanooga, TN, 27.09.2022 – 30.09.2022)
In: Michael Klemm, Bronis R. de Supinski, Jannis Klinkenberg, Brandon Neth (ed.): OpenMP in a Modern World: From Multi-device Support to Meta Programming 2022
DOI: 10.1007/978-3-031-15922-0
BibTeX: Download - , , :
Reducing OpenMP to FPGA Round-trip Times with Predictive Modelling [Data set]
Zenodo (2022)
DOI: 10.5281/zenodo.7534795
BibTeX: Download
(online publication) - , :
Static And Dynamic Dependency Visualization in a Layered Software City
In: SN Computer Science 3 (2022), p. Article 511
ISSN: 2661-8907
DOI: 10.1007/s42979-022-01404-6
BibTeX: Download - , :
Trace visualization within the Software City metaphor: Controlled experiments on program comprehension
In: Information and Software Technology 150 (2022), p. Article 106989
ISSN: 0950-5849
DOI: 10.1016/j.infsof.2022.106989
BibTeX: Download - , , , , :
The ORKA-HPC Compiler — Practical OpenMP for FPGAs
34th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2021) (Newark, DE, 13.10.2021 – 14.10.2021)
In: Xiaoming Li, Sunita Chandrasekaran (ed.): Proceedings of the 34th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2021), Cham: 2022
DOI: 10.1007/978-3-030-99372-6
URL: https://lcpc2021.github.io/pre_workshop_papers/Mayer_lcpc21.pdf
BibTeX: Download
2021
- , :
Cloud Cost City: A Visualization of Cloud Costs Using the City Metaphor
16th International Conference on Information Visualization Theory and Applications (IVAPP) (Virtual, originally Vienna, Austria, 08.02.2021 – 10.02.2021)
In: Christophe Hurter, Helen Purchase, Jose Braz, Kadi Bouatouch (ed.): Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP) – Volume 3: IVAPP, Portugal: 2021
DOI: 10.5220/0010254701730180
BibTeX: Download - , :
Trace Visualization within the Software City Metaphor: A Controlled Experiment on Program Comprehension
IEEE Working Conference on Software Visualization (VISSOFT) (Virtual, originally Luxembourg City, Luxembourg, 27.09.2021 – 28.09.2021)
In: Proceedings of the IEEE Working Conference on Software Visualization (VISSOFT) 2021
DOI: 10.1109/VISSOFT52517.2021.00015
BibTeX: Download - , , :
A layered software city for dependency visualization (Best Paper Award)
16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2021 (Virtual, originally Vienna, Austria, 08.02.2021 – 10.02.2021)
In: Christophe Hurter, Helen Purchase, Jose Braz, Kadi Bouatouch (ed.): Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications – Volume 3: IVAPP, Portugal: 2021
DOI: 10.5220/0010180200150026
URL: http://www.ivapp.visigrapp.org
BibTeX: Download - , :
Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI’2021) (Copenhagen, 17.01.2021 – 19.01.2021)
In: Fritz Henglein, Sharon Shoham, Yakir Vizel (ed.): Verification, Model Checking, and Abstract Interpretation (VMCAI 2021), Cham: 2021
DOI: 10.1007/978-3-030-67067-2_16
URL: https://i2git.cs.fau.de/i2public/publications/-/raw/master/vmcai2021.pdf
BibTeX: Download - , , :
Test Case Reduction: A Framework, Benchmark, and Comparative Study
International Conference on Software Maintenance and Evolution (ICSME 2021) (Luxembourg (LU), 27.09.2021 – 01.10.2021)
In: Proceedings of the International Conference on Software Maintenance and Evolution (ICSME 2021) 2021
DOI: 10.1109/ICSME52107.2021.00012
URL: https://i2git.cs.fau.de/i2public/publications/-/raw/master/ICSME21.pdf
BibTeX: Download - , , :
LLWM & IR-Mark: Integrating Software Watermarks into an LLVM-based Framework
ACM SIGSAC Conference on Computer and Communications Security (CCS’21), Workshop on Offensive and Defensive Techniques in the Context of Man At The End (MATE) Attacks (Checkmate ’21) (Republic of Korea, 19.11.2021 – 19.11.2021)
In: Checkmate ’21: Proceedings of the 2021 Research on offensive and defensive techniques in the Context of Man At The End (MATE) Attacks, New York: 2021
DOI: 10.1145/3465413.3488576
BibTeX: Download
2020
- , , :
MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests
15th International Workshop on Mutation Analysis (Mutation 2020) (Porto, 24.10.2020 – 24.10.2020)
In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2020
DOI: 10.1109/ICSTW50294.2020.00055
URL: https://mutation-workshop.github.io/2020/
BibTeX: Download - , , , , , :
RNN-aided Human Velocity Estimation from a Single IMU
In: Sensors 13 (2020), p. 1-31
ISSN: 1424-8220
DOI: 10.3390/s20133656
URL: https://www.mdpi.com/1424-8220/20/13/3656
BibTeX: Download - , , , , , :
Localization Limitations of ARCore, ARKit, and Hololens in Dynamic Large-Scale Industry Environments
15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (GRAPP 2020) (Valletta, 27.02.2020 – 29.02.2020)
In: Kadi Bouatouch, A. Augusto Sousa, Jose Braz (ed.): Proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications – Volume 1: GRAPP, Portugal: 2020
DOI: 10.5220/0008989903070318
URL: http://www.grapp.visigrapp.org/
BibTeX: Download - , , :
Towards Collaborative and Dynamic Software Visualization in VR
15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (GRAPP 2020) (Valletta, 27.02.2020 – 29.02.2020)
In: Andreas Kerren, Christophe Hurter, Jose Braz (ed.): Proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications – Volume 3: IVAPP, Portugal: 2020
DOI: 10.5220/0008945201490156
URL: http://www.ivapp.visigrapp.org/
BibTeX: Download - , :
Artifact for “Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible”
Zenodo (2020)
DOI: 10.5281/zenodo.4275482
BibTeX: Download
(online publication) - , , :
Language-Agnostic Generation of Compilable Test Programs
International Conference on Software Testing, Verification and Validation (ICST 2020) (Porto, 24.10.2020 – 28.10.2020)
In: Proceedings of the International Conference on Software Testing, Verification and Validation (ICST 2020) 2020
DOI: 10.1109/ICST46399.2020.00015
URL: https://i2git.cs.fau.de/i2public/publications/-/raw/master/ICST20.pdf
BibTeX: Download
2019
- , :
GPU-Accelerated Fixpoint Algorithms for Faster Compiler Analyses (Best Paper Award)
28th International Conference on Compiler Construction (Washington, D.C., 16.02.2019 – 17.02.2019)
In: ACM (ed.): Proceedings of the 28th International Conference on Compiler Construction, New York, NY, USA: 2019
DOI: 10.1145/3302516.3307352
URL: http://www2.informatik.uni-erlangen.de/publication/download/cc19_parcan_blass.pdf
BibTeX: Download - , :
Which Graph Representation to Select for Static Graph-Algorithms on a CUDA-capable GPU
12th Workshop on General Purpose Processing Using GPUs (Providence, RI, 13.04.2019 – 13.04.2019)
In: ACM (ed.): Proceedings of the 12th Workshop on General Purpose Processing Using GPUs, New York, NY, USA: 2019
DOI: 10.1145/3300053.3319416
URL: http://ieeetcca.org/2018/12/16/12th-workshop-on-general-purpose-processing-using-gpu-gpgpu-2019-asplos-2019/
BibTeX: Download - , , :
Efficient Inspected Critical Sections in Data-Parallel GPU Codes
30th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2017) (College Station, TX, 11.10.2017 – 13.10.2017)
In: Rauchwerger, Lawrence (ed.): Proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2017), Cham: 2019
DOI: 10.1007/978-3-030-35225-7_15
URL: https://www2.cs.fau.de/publication/download/lcpc2017_blass.pdf
BibTeX: Download - , , , , , :
A Bidirectional LSTM for Estimating Dynamic Human Velocities from a Single IMU
10th International Conference on Indoor Positioning and Indoor Navigation (IPIN) (Pisa, 30.09.2019 – 03.10.2019)
In: IEEE (ed.): Proceedings of the 10th International Conference on Indoor Positioning and Indoor Navigation (IPIN) 2019
DOI: 10.1109/IPIN.2019.8911814
URL: https://www2.cs.fau.de/publication/download/IPIN2019.pdf
BibTeX: Download - , , , , , , , :
Sick Moves! Motion Parameters as Indicators of Simulator Sickness
In: IEEE Transactions on Visualization and Computer Graphics 25 (2019), p. 3146-3157
ISSN: 1077-2626
DOI: 10.1109/TVCG.2019.2932224
URL: https://ieeexplore.ieee.org/document/8798880
BibTeX: Download - , , :
SeSaMe: A Data Set of Semantically Similar Java Methods
16th International Conference on Mining Software Repositories (MSR 2019) (Montréal, QC, Kanada, 26.05.2019 – 27.05.2019)
In: Proceedings of the 16th International Conference on Mining Software Repositories (MSR 2019), Piscataway, NJ, USA: 2019
DOI: 10.1109/MSR.2019.00079
URL: https://i2git.cs.fau.de/i2public/publications/-/raw/master/MSR19.pdf
BibTeX: Download - , , :
SeSaMe: A Data Set of Semantically Similar Java Methods [Data set]
Zenodo (2019)
DOI: 10.5281/zenodo.2558377
BibTeX: Download
(online publication) - , , :
OpenMP on FPGAs – A Survey
15th International Workshop on OpenMP (IWOMP 2019) (Auckland, 11.09.2019 – 13.09.2019)
In: Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman (ed.): OpenMP: Conquering the Full Hardware Spectrum – Proceedings of the 15th International Workshop on OpenMP (IWOMP 2019), Cham: 2019
DOI: 10.1007/978-3-030-28596-8_7
URL: https://link.springer.com/content/pdf/10.1007/978-3-030-28596-8_7.pdf
BibTeX: Download
2018
- , , :
FAU-Inf2/ARES: PhD Thesis Version
Zenodo (2018)
DOI: 10.5281/zenodo.1183903
BibTeX: Download
(online publication) - , :
FAU-Inf2/tree-measurements: PhD Thesis Version [Data set]
Zenodo (2018)
DOI: 10.5281/zenodo.1183900
BibTeX: Download
(online publication) - , , :
Head-to-Body-Pose Classification in No-Pose VR Tracking Systems
25th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR 2018) (Reutlingen, 18.03.2018 – 22.03.2018)
In: Proceedings of the 25th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR 2018) 2018
DOI: 10.1109/VR.2018.8446495
URL: http://www2.informatik.uni-erlangen.de/publication/download/IEEE-VR2018b.pdf
BibTeX: Download - , , :
Human Compensation Strategies for Orientation Drifts
25th IEEE Conference on Virtual Reality and 3D User Interfaces (Reutlingen, 18.03.2018 – 22.03.2018)
In: Proceedings of the 25th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR 2018) 2018
DOI: 10.1109/VR.2018.8446300
URL: https://www2.cs.fau.de/publication/download/IEEE-VR2018a.pdf
BibTeX: Download - , , :
Supervised Learning for Yaw Orientation Estimation
(2018)
ISSN: 2471-917X
DOI: 10.1109/IPIN.2018.8533811
URL: https://www2.cs.fau.de/publication/download/IPIN2018a.pdf
BibTeX: Download - , , , , :
Recurrent Neural Networks on Drifting Time-of-Flight Measurements
9th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2018) (Nantes, 24.09.2018 – 27.09.2018)
In: Proceedings of the 9th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2018) 2018
DOI: 10.1109/IPIN.2018.8533813
URL: https://www2.cs.fau.de/publication/download/IPIN2018b.pdf
BibTeX: Download - , , , :
Optical Camera Communication for Active Marker Identification in Camera-based Positioning Systems
15th Workshop on Positioning, Navigation and Communications (WPNC’18) (Bremen, 25.10.2018 – 26.10.2018)
In: Proceedings of the 15th Workshop on Positioning, Navigation and Communications (WPNC’18) 2018
DOI: 10.1109/WPNC.2018.8555846
URL: https://www2.cs.fau.de/publication/download/WPNC2018.pdf
BibTeX: Download - , , :
FAU-Inf2/cthree: PhD Thesis Version
Zenodo (2018)
DOI: 10.5281/zenodo.1183902
BibTeX: Download
(online publication)
2017
- , , , :
More Accurate Recommendations for Method-Level Changes
11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE2017) (Paderborn, 04.09.2017 – 08.09.2017)
In: Proceedings of 2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE2017), New York, NY, USA: 2017
DOI: 10.1145/3106237.3106276
URL: https://www2.cs.fau.de/publication/download/ESECFSE17.pdf
BibTeX: Download - , :
FAU-Inf2/treedifferencing: Version of the ASE Publication 2016
Zenodo (2017)
DOI: 10.5281/zenodo.840877
BibTeX: Download
(online publication) - , , , :
Acoustical manipulation for redirected walking
23rd ACM Symposium on Virtual Reality Software and Technology (VRST ’17) (Gothenburg, 08.11.2017 – 10.11.2017)
In: Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology (VRST ’17), New York: 2017
DOI: 10.1145/3139131.3141205
URL: https://www2.cs.fau.de/publication/download/VRST2017.pdf
BibTeX: Download - , :
Diff Graphs for a fast Incremental Pointer Analysis
12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS 2017) (Barcelona, 19.06.2017 – 19.06.2017)
In: ACM (ed.): Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS’17) 2017
DOI: 10.1145/3098572.3098578
BibTeX: Download - , , , :
Chronix: Long Term Storage and Retrieval Technology for Anomaly Detection in Operational Data
15th USENIX Conference on File and Storage Technologies (FAST 17) (Santa Clara, CA, 27.02.2017 – 02.03.2017)
In: USENIX Association (ed.): Proceedings of the 15th USENIX Conference on File and Storage Technologies (FAST 17) 2017
Open Access: https://www.usenix.org/conference/fast17/technical-sessions/presentation/lautenschlager
URL: https://www.usenix.org/system/files/conference/fast17/fast17-lautenschlager.pdf
BibTeX: Download - , , :
AuDoscore: Automatic Grading of Java or Scala Homework
Third Workshop “Automatische Bewertung von Programmieraufgaben” (ABP 2017) (Potsdam, 05.10.2017 – 06.10.2017)
In: Sven Strickroth Oliver Müller Michael Striewe (ed.): Proceedings of the Third Workshop “Automatische Bewertung von Programmieraufgaben” (ABP 2017) 2017
Open Access: http://ceur-ws.org/Vol-2015/ABP2017_paper_01.pdf
URL: http://ceur-ws.org/Vol-2015/ABP2017_paper_01.pdf
BibTeX: Download
2016
- , :
Move-Optimized Source Code Tree Differencing
31st International Conference on Automated Software Engineering (ASE 2016) (Singapore, 03.09.2016 – 09.09.2016)
In: Proceedings of the 31st International Conference on Automated Software Engineering (ASE 2016) 2016
DOI: 10.1145/2970276.2970315
BibTeX: Download - , , , , :
Automatic clustering of code changes
13th International Conference on Mining Software Repositories (MSR 2016) (Austin, TX, USA, 14.05.2016 – 15.05.2016)
In: Proceedings of the 13th International Conference on Mining Software Repositories (MSR’16) 2016
DOI: 10.1145/2901739.2901749
URL: http://dl.acm.org/citation.cfm?id=2901749
BibTeX: Download
2015
- , , :
Simultaneous inspection: Hiding the overhead of inspector-executor style dynamic parallelization
International Workshop on Languages and Compilers for Parallel Computing (LCPC 2014) (Hillsboro, OR, USA, 15.09.2014 – 17.09.2014)
In: James Brodman, Peng Tu (ed.): Languages and Compilers for Parallel Computing, 27th International Workshop, LCPC 2014, Berlin Heidelberg: 2015
DOI: 10.1007/978-3-319-17473-0_7
BibTeX: Download - , , , :
Fast and efficient operational time series storage: The missing link in dynamic software analysis
Symposium on Software Performance (SSP 2015) (München, 04.11.2015 – 06.11.2015)
In: Softwaretechnik-Trends (Band 35, Nr. 3): Proceedings of the Symposium on Software Performance (SSP 2015) 2015
URL: http://pi.informatik.uni-siegen.de/gi/stt/35_3/03_Technische_Beitraege/SSP_2015_paper_10.pdf
BibTeX: Download - , , , :
Rahmenwerk zur Ausreißererkennung in Zeitreihen von Software-Laufzeitdaten
Fachtagung Software Engineering & Management (SE 2015) (Dresden, Deutschland, 17.03.2015 – 20.03.2015)
In: Uwe Aßmann, Birgit Demuth, Thorsten Spitta, Georg Püschel, Ronny Kaiser (ed.): Software Engineering & Management (SE 2015), Bonn: 2015
URL: http://www2.informatik.uni-erlangen.de/publication/download/SE2015.pdf
BibTeX: Download - , , :
Approximative Event Processing on Sensor Data Streams (Best Poster and Demostration Award)
9th ACM International Conference on Distributed Event-Based Systems (DEBS’15) (Oslo, 29.06.2015 – 03.07.2015)
In: Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems (DEBS’15) 2015
DOI: 10.1145/2675743.2776767
URL: http://www2.informatik.uni-erlangen.de/publication/download/DEBS2015.pdf
BibTeX: Download - , , , :
Concurrent Computing in the Many-core Era (Dagstuhl Seminar 15021)
Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2015
(Dagstuhl Reports, Vol.5)
DOI: 10.4230/DagRep.5.1.1
URL: http://drops.dagstuhl.de/opus/volltexte/2015/5010
BibTeX: Download
2014
- , , , , :
Using Multi Level-Modeling Techniques for Managing Mapping Information
1st Int. Workshop on Multi-Level Modelling, ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (Valencia, Spain, 28.09.2014 – 28.09.2014)
In: Proceedings of the 1st Int. Workshop on Multi-Level Modelling, ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, Aachen: 2014
URL: http://ceur-ws.org/Vol-1286/p11.pdf
BibTeX: Download - , , :
Combining Lock Inference with Lock-Based Software Transactional Memory
26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013) (San Jose, California, USA, 25.09.2013 – 27.09.2013)
In: Călin Cașcaval, Pablo Montesinos (ed.): Languages and Compilers for Parallel Computing, 26th International Workshop, LCPC 2013, Berlin Heidelberg: 2014
DOI: 10.1007/978-3-319-09967-5_19
BibTeX: Download - , , , :
Design for Diagnosability
In: Java Magazin (2014), p. 44-50
ISSN: 1619-795X
BibTeX: Download - , , , , :
Predictive Load Management in Smart Grid Environments
8th ACM International Conference on Distributed Event-Based Systems (DEBS’14) (Mumbai, 26.05.2014 – 29.05.2014)
In: Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems (DEBS’14), New York: 2014
DOI: 10.1145/2611286.2611330
URL: http://www2.informatik.uni-erlangen.de/publication/download/DEBS2014.pdf
BibTeX: Download - , :
Adaptive Speculative Processing of Out-of-Order Event Streams
In: ACM Transactions on Internet Technology 14 (2014), p. 4:1-4:24
ISSN: 1533-5399
DOI: 10.1145/2633686
URL: https://www2.cs.fau.de/publication/download/ACM_TOIT2014.pdf
BibTeX: Download - , :
A Modular and Statically Typed Effectful Stack for Custom Graph Traversals
8th International Workshop on Graph-Based Tools (GraBaTs 2014) (York, UK, 25.07.2014 – 25.07.2014)
In: Tichy, Matthias ; Westfechtel, Bernhard (ed.): Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) 2014
DOI: 10.14279/tuj.eceasst.68.952
URL: http://journal.ub.tu-berlin.de/eceasst/article/view/952
BibTeX: Download
2013
- , , :
Source Code Transformations to Increase the Performance of Software Transactional Memory
24th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2011) (Fort Collins, Colorado, USA, 08.09.2011 – 10.09.2011)
In: Sanjay Rajopadhye, Michelle Mills Strout (ed.): Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-36036-7
BibTeX: Download - , , :
Compiler-Guided Identification of Critical Sections in Parallel Code
International Conference on Compiler Construction (Rome, Italy, 16.03.2013 – 24.03.2013)
In: Ranjit Jhala, Koen De Bosschere (ed.): Compiler Construction, 22nd International Conference, CC 2013, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-37051-9_11
URL: https://www2.informatik.uni-erlangen.de/publication/download/CC2013.pdf
BibTeX: Download - , , :
Reduktion von False-Sharing in Software-Transactional-Memory
25th Workshop der GI-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS 2013) (Erlangen, Germany, 11.04.2013 – 12.04.2013)
In: Parallel-Algorithmen und Rechnerstrukturen (PARS 2013) 2013
URL: https://www2.cs.fau.de/publication/download/STM_PARS2013.pdf
BibTeX: Download - , , :
Evolutionary Algorithms that use Runtime Migration of Detector Processes to Reduce Latency in Event-Based Systems
2013 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2013) (Torino, Italy, 25.06.2013 – 27.06.2013)
In: Proceedings of the 2013 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2013) 2013
DOI: 10.1109/AHS.2013.6604223
URL: http://www2.informatik.uni-erlangen.de/publication/download/AHS2013.pdf
BibTeX: Download - , :
Distributed Low-Latency Out-of-Order Event Processing for High Data Rate Sensor Streams
27th IEEE International Parallel & Distributed Processing Symposium (IPDPS’13) (Boston, Massachusetts, 20.05.2013 – 24.05.2013)
In: Proceedings of 27th International Parallel and Distributed Processing Symposium (IPDPS’13) 2013
DOI: 10.1109/IPDPS.2013.29
URL: http://www2.informatik.uni-erlangen.de/publication/download/IPDPS2013.pdf
BibTeX: Download - , :
Dynamic Low-Latency Distributed Event Processing of Sensor Data Streams
25th Workshop der GI-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS 2013) (Erlangen, 11.04.2013 – 12.04.2013)
In: Parallel-Algorithmen und Rechnerstrukturen (PARS 2013) 2013
URL: http://www2.informatik.uni-erlangen.de/publication/download/PARS2013.pdf
BibTeX: Download - , :
Reliable Speculative Processing of Out-of-Order Event Streams in Generic Publish/Subscribe Middlewares
7th ACM International Conference on Distributed Event-Based Systems (DEBS’13) (Arlington, Texas, 29.06.2013 – 03.07.2013)
In: Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems (DEBS’13) 2013
DOI: 10.1145/2488222.2488263
URL: http://www2.informatik.uni-erlangen.de/publication/download/DEBS2013.pdf
BibTeX: Download - , :
Runtime Migration of Stateful Event Detectors with Low-Latency Ordering Constraints
9th International Workshop on Sensor Networks and Systems for Pervasive Computing (San Diego, CA, 18.03.2013 – 22.03.2013)
In: Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops 2013
DOI: 10.1109/PerComW.2013.6529567
URL: http://www2.informatik.uni-erlangen.de/publication/download/persens2013.pdf
BibTeX: Download - , , :
Double Inspection for Run-Time Loop Parallelization
24th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2011) (Fort Collins, CO, USA, 08.09.2011 – 10.09.2011)
In: Sanjay Rajopadhye, Michelle Mills Strout (ed.): Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-36036-7_4
BibTeX: Download - , :
Language and Runtime Techniques for better Model Checking Efficiency of Parallel Programs
26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013) (San Jose, California, USA, 25.09.2013 – 27.09.2014)
In: Călin Cașcaval, Pablo Montesinos (ed.): Proceedings of the 26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013), Berlin Heidelberg: 2013
DOI: 10.1007/978-3-319-09967-5
BibTeX: Download - , , :
CellCilk: Extending Cilk for heterogeneous multicore platforms
24th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2011) (Fort Collins, Colorado, USA, 08.09.2011 – 10.09.2011)
In: Rajopadhye, S.; Strout, M. Mills (ed.): Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011for Parallel Computing (LCPC 2011), Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-36036-7_7
URL: http://www2.informatik.uni-erlangen.de/publication/download/CellCilk11.pdf
BibTeX: Download - , , , :
Object Support for OpenMP-style Programming of GPU Clusters in Java
27th International Conference on Advanced Information Networking and Applications Workshops (Barcelona, Spain, 25.03.2013 – 28.03.2013)
In: Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops (WAINA 2013) 2013
DOI: 10.1109/WAINA.2013.62
URL: http://www2.informatik.uni-erlangen.de/publication/download/WDVP13.pdf
BibTeX: Download
2012
- , , :
Expressing Parallelism and Timing in Embedded Real-Time Applications
8th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (Fiuggi, Italy, 11.07.2012 – 11.07.2012)
In: High-Performance and Embedded Architecture and Compilation (HiPEAC) Network of Excellence (ed.): 8th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) 2012 – Poster Abstracts, Ghent (Belgium): 2012
URL: https://www2.cs.fau.de/publication/download/braunstein_acaces_abstract.pdf
BibTeX: Download - , , :
Annotation Support for Generic Patches
International Workshop on Recommendation Systems for Software Engineering (Zurich, Switzerland, 04.06.2012 – 04.06.2012)
In: Proceedings of the Third International Workshop on Recommendation Systems for Software Engineering (RSSE 12) 2012
DOI: 10.1109/RSSE.2012.6233400
URL: http://www2.informatik.uni-erlangen.de/publication/download/DVP12.pdf
BibTeX: Download - , , , , :
An Integrated Tool Chain for Software Process Modeling and Execution
8th European Conference on Modeling Foundations and Applications (ECMFA 2012) (Lyngby, Denmark, 02.07.2012 – 05.07.2012)
In: Störrle, Harald ; Botterweck, Goetz ; Bourdellès, Michel ; Kolovos, Dimitris ; Paige, Richard ; Roubtsova, Ella ; Rubin, Julia ; Tolvanen, Juha-Pekka (ed.): Joint Proceedings of co-located Events at the 8th European Conference on Modeling Foundations and Applications (ECMFA 2012), Copenhagen, Denmark: 2012
URL: http://www2.imm.dtu.dk/conferences/ECMFA-2012/proceedings/PDF/ECMFA-2012-Workshop-Proceedings.pdf
BibTeX: Download - , :
Learning Event Detection Rules with Noise Hidden Markov Models
2012 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2012) (Nuremberg, Germany, 25.06.2012 – 28.06.2012)
In: Proceedings of the 2012 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2012) 2012
DOI: 10.1109/AHS.2012.6268645
URL: http://www2.informatik.uni-erlangen.de/publication/download/AHS2012.pdf
BibTeX: Download - , :
Towards a Distributed Self-Optimizing Event Processing System for Realtime Locating Systems (RTLS)
6th ACM International Conference on Distributed Event-Based Systems (DEBS’12) (Berlin, 16.06.2012 – 20.06.2012)
In: DEBS PhD Workshops, 6th ACM International Conference on Distributed Event-Based Systems 2012
URL: http://www2.informatik.uni-erlangen.de/publication/download/DEBS2012.pdf
BibTeX: Download - , :
Multicore Software Engineering, Performance and Tools (Proceedings MSEPT 2012)
Berlin Heidelberg: Springer, 2012
(Lecture Notes in Computer Science (LNCS), Vol.7303)
ISBN: 978-3-642-31201-4
DOI: 10.1007/978-3-642-31202-1
BibTeX: Download - , , :
TracQL: A Domain-Specific Language for Traceability Analysis
Joint Working Conference on Software Architecture & 6th European Conference on Software Architecture (WICSA/ECSA 2012) (Helsinki, Finland, 20.08.2012 – 24.08.2012)
In: Ali Babar M., Cuesta C., Savolainen J., Männistö T. (ed.): Proceedings of the 2012 Joint Working Conference on Software Architecture & 6th European Conference on Software Architecture, Los Alamitos, CA: 2012
DOI: 10.1109/WICSA-ECSA.212.53
BibTeX: Download - , :
Parallel Memory Defragmentation on a GPU
ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC 12) (Beijing, China, 16.06.2012 – 16.06.2012)
In: Proceedings of the 2012 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC’12) 2012
DOI: 10.1145/2247684.2247693
URL: http://www2.informatik.uni-erlangen.de/publication/download/VP12.pdf
BibTeX: Download
2011
- , :
ReflexML: UML-based architecture-to-code traceability and consistency checking
5th European Conference on Software Architecture, ECSA 2011 (Essen, 13.09.2011 – 16.09.2011)
In: Ivica Crnkovic, Volker Gruhn, Matthias Book (ed.): Software Architecture Software Architecture, 5th European Conference, ECSA 2011, Berlin Heidelberg: 2011
DOI: 10.1007/978-3-642-23798-0_37
URL: http://link.springer.com/chapter/10.1007/978-3-642-23798-0_37
BibTeX: Download - , , :
Trajectory Behavior Language
2nd International Conference on Positioning and Context-Awareness (PoCA 2011) (Brussels, 24.03.2011 – 24.03.2011)
In: Proceedings of the 2nd International Conference on Positioning and Context-Awareness (PoCA 2011), Antwerpen: 2011
URL: http://www2.informatik.uni-erlangen.de/publication/download/PoCA2011b.pdf
BibTeX: Download - , , , , , :
A FUML-Based Distributed Execution Machine for Enacting Software Process Models
Modelling Foundations and Applications (Birmingham, UK, 06.06.2011 – 09.06.2011)
In: France, Robert ; Kuester, Jochen ; Bordbar, Behzad ; Paige, Richard (ed.): Proceedings 7th European Conference on Modeling Foundations and Applications, Berlin Heidelberg: 2011
DOI: 10.1007/978-3-642-21470-7_3
BibTeX: Download - , , :
Is There Hope for Automatic Parallelization of Legacy Industry Automation Applications?
24th Workshop der GI-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS 2011) (Rüschlikon, Switzerland, 25.05.2011 – 27.05.2011)
In: Parallel-Algorithmen und Rechnerstrukturen (PARS 2011) 2011
URL: http://www2.informatik.uni-erlangen.de/publication/download/PARS2011.pdf
BibTeX: Download - , :
Structural Equivalence Partition and Boundary Testing
Software Engineering 2011 – Fachtagung des GI-Fachbereichs Softwaretechnik (Karlsruhe, 24.02.2011 – 25.02.2011)
In: Ralf Reussner, Matthias Grund, Andreas Oberweis, Walter Tichy (ed.): Lecture Notes in Informatics (LNI), P-183, Bonn: 2011
URL: https://www2.cs.fau.de/publication/download/SE2011-OsterPhilippsen-SEBT.pdf
BibTeX: Download - :
JavaParty
In: Padua, David (ed.): Encyclopedia of Parallel Computing, New York: Springer US, 2011, p. 992-997
ISBN: 978-0-387-09765-7
DOI: 10.1007/978-0-387-09766-4_49
BibTeX: Download - , :
Proceedings of the 4th International Workshop on Multicore Software Engineering (IWMSE’11)
New York: ACM, 2011
(International Conference on Software Engineering ICSE, Vol.2011, Waikiki, Honolulu, HI, USA)
ISBN: 978-1-4503-0577-8
URL: http://dl.acm.org/citation.cfm?id=1984693&CFID=625143511&CFTOKEN=93536545
BibTeX: Download - , , :
A Statically Typed Query Language for Property Graphs
15th International Database Engineering and Applications Symposium (IDEAS’11) (Lissabon, Portugal, 21.09.2011 – 23.09.2011)
In: Bernardino, Jorge; Cruz, Isabel; Desai, Bipin C. (ed.): Proceedings of 15th International Database Engineering and Applications Symposium (IDEAS’11), New York: 2011
DOI: 10.1145/2076623.2076653
URL: http://www2.informatik.uni-erlangen.de/publication/download/Ntausch_ideas11.pdf
BibTeX: Download - , , :
Enabling Multiple Accelerator Acceleration for Java/OpenMP
3rd USENIX Workshop on Hot Topics in Parallelism (HotPar ’11) (Berkeley, CA, 26.05.2011 – 27.05.2011)
In: Proceedings 3rd USENIX Workshop on Hot Topics in Parallelism (HotPar ’11) 2011
URL: http://www.usenix.org/event/hotpar11/tech/final_files/Veldema.pdf
BibTeX: Download - , :
A Hybrid Functional and Object-Oriented Language for a Multi-Core Future
In: it – Information Technology 53 (2011), p. 84-90
ISSN: 1611-2776
DOI: 10.1524/itit.2011.0629
URL: http://www2.informatik.uni-erlangen.de/publication/download/itit.2011.0629.pdf
BibTeX: Download - , :
Iterative data-parallel mark & sweep on a GPU
International Symposium on Memory Management (ISMM ’11) (San Jose, California, USA, 04.06.2011 – 08.06.2011)
In: Boehm, Hans-Juergen ; Bacon, David F. (ed.): Proceedings of the International Symposium on Memory Management (ISMM’11), New York: 2011
DOI: 10.1145/1993478.1993480
URL: http://doi.acm.org/10.1145/1993478.1993480
BibTeX: Download
2010
- , , , , , :
eSPEM – A SPEM Extension for Enactable Behavior Modeling
ECMFA 2010, 6th European Conference of Modelling Foundations and Applications (Paris, France, 15.06.2010 – 18.06.2010)
In: Kühne, Thomas ; Selic, Bran ; Gervais, Marie-Pierre ; Terrier, Francois (ed.): 6th European Conference of Modelling Foundations and Applications, Berlin Heidelberg: 2010
DOI: 10.1007/978-3-642-13595-8
URL: http://www2.informatik.uni-erlangen.de/publication/download/ecmfa2010_eSPEM.pdf
BibTeX: Download - , , :
Irregular data-parallelism in a parallel object-oriented language by means of Collective Replication
CS-2010-04 (2010), p. 14
ISSN: 2191-5008
Open Access: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/1544
URL: http://www.opus.ub.uni-erlangen.de/opus/frontdoor.php?source_opus=2268
BibTeX: Download
(Techreport) - , :
Proceedings of the 3rd International Workshop on Multicore Software Engineering (IWMSE’10)
New York: ACM, 2010
(International Conference on Software Engineering ICSE, Vol.2010, Cape Town, South Africa)
ISBN: 978-1-60558-964-0
URL: http://dl.acm.org/citation.cfm?id=1808954&picked=prox&cfid=625143511&cftoken=93536545
BibTeX: Download - , :
Safe and Familiar Multi-core Programming by means of a Hybrid Functional and Imperative Language
22nd International Workshop of Languages and Compilers for Parallel Computing (LCPC 2009) (Newark, DE, 08.10.2009 – 10.10.2009)
In: Guang R. Gao, Lori L. Pollock, John Cavazos, Xiaoming Li (ed.): Languages and Compilers for Parallel Computing, 22nd International Workshop, LCPC 2009, Berlin Heidelberg: 2010
DOI: 10.1007/978-3-642-13374-9_11
URL: http://www2.informatik.uni-erlangen.de/publication/download/LCPC_hpc_tapir.pdf
BibTeX: Download
2009
- , , , :
A meta-predictor framework for prefetching in object-based DSMs
In: Concurrency and Computation-Practice & Experience 21 (2009), p. 1789-1803
ISSN: 1532-0626
DOI: 10.1002/cpe.1443
URL: http://www2.informatik.uni-erlangen.de/publication/download/BKCP09.pdf
BibTeX: Download - , , , , :
Reparallelization Techniques for Migrating OpenMP Codes in Computational Grids
In: Concurrency and Computation-Practice & Experience 21 (2009), p. 281-299
ISSN: 1532-0626
DOI: 10.1002/cpe.1356
URL: http://www2.informatik.uni-erlangen.de/publication/download/migration-OpenMP-CCPE.pdf
BibTeX: Download - , :
Tapir: Language Support to Reduce the State Space in Model-Checking
ATPS 2009 – 4. Arbeitstagung Programmiersprachen (Lübeck, 28.09.2009 – 02.10.2009)
In: Fischer, Stefan ; Maehle, Erik ; Reischuck, Rüdiger (ed.): Informatik 2009 – Im Focus das Leben, Bonn: 2009
URL: http://www2.informatik.uni-erlangen.de/publication/download/ATPS09-tapir.pdf
BibTeX: Download - , , , , :
DAG Mining for Code Compaction
In: Cao, L. ; Yu, P. S. ; Zhang, C. ; Zhang, H. (ed.): Data Mining for Business Applications, Berlin Heidelberg: Springer, 2009, p. 209-224
ISBN: 978-0-387-79419-8
DOI: 10.1007/978-0-387-79420-4_15
URL: http://www2.informatik.uni-erlangen.de/publication/download/WDWFP09.pdf
BibTeX: Download - , , , , , :
Dynamic code footprint optimization for the IBM cell broadband engine
2009 ICSE Workshop on Multicore Software Engineering, IWMSE 2009 (Vancouver, BC, 18.05.2009 – 18.05.2009)
DOI: 10.1109/IWMSE.2009.5071385
URL: http://www2.informatik.uni-erlangen.de/publication/download/WFKSWP09.pdf
BibTeX: Download
2008
- , , , :
Automatic Prefetching with Binary Code Rewriting in Object-based DSMs (Best Paper)
Euro-Par 2008 Conference (Las Palmas de Gran Canaria, Spain, 26.08.2008 – 29.08.2008)
In: Luque, Emilio ; Margalef, Tomàs ; Benítez, Domingo (ed.): EuroPar 2008 – Parallel Processing, Berlin Heidelberg: 2008
DOI: 10.1007/978-3-540-85451-7_69
URL: http://www2.informatik.uni-erlangen.de/publication/download/dynamic_prefetcher.pdf
BibTeX: Download - , , , :
A Proposal for OpenMP for Java
International Workshop on OpenMP (IWOMP’05) (Reims, France, 01.06.2005 – 04.06.2005)
In: Matthias S. Mueller, Barbara M. Chapman, Bronis R. de Supinski, Allen D. Malony, Michael Voss (ed.): OpenMP Shared Memory Parallel Programming, International Workshops IWOMP 2005 and IWOMP 2006, Berlin Heidelberg: 2008
DOI: 10.1007/978-3-540-68555-5_33
URL: http://www2.informatik.uni-erlangen.de/publication/download/java-openmp.pdf
BibTeX: Download - , , :
An Automatic Cost-based Framework for Seamless Application Migration in Grid Environments
20th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS’08) (Orlando, FL, USA, 16.11.2008 – 18.11.2008)
In: Proceedings of the 20th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS’08), Anaheim, CA, USA: 2008
URL: http://www2.informatik.uni-erlangen.de/publication/download/OGRE-PDCS.pdf
BibTeX: Download - , , :
Cluster Research at the Programming Systems Group
(2008), p. 30-31
URL: http://www.rrze.uni-erlangen.de/wir-ueber-uns/publikationen/HPC-2008-Screenversion.pdf
BibTeX: Download
(anderer) - , , :
A DSM protocol aware of both thread migration and memory constraints (Best Paper)
20th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS’08) (Orlando, FL, USA, 16.11.2008 – 18.11.2008)
In: Gonzalez, Teofilo F. (ed.): Proceedings of the 20th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS’08), Anaheim, CA, USA: 2008
URL: http://www2.informatik.uni-erlangen.de/publication/download/LVM-PDCS.pdf
BibTeX: Download - , :
Evaluation of RDMA opportunities in an Object-Oriented DSM
20th International Workshop on Languages and Compilers for Parallel Computing (LCPC ’07) (Urbana, Illinois, 11.10.2007 – 13.10.2007)
In: Vikram Adve, María Jesús Garzarán, Paul Petersen (ed.): Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Berlin Heidelberg: 2008
DOI: 10.1007/978-3-540-85261-2_15
URL: http://www2.informatik.uni-erlangen.de/publication/download/LCPC_rdma.pdf
BibTeX: Download - , :
Supporting Huge Address Spaces in a Virtual Machine for Java on a Cluster
20th International Workshop on Languages and Compilers for Parallel Computing (LCPC ’07) (Urbana, Illinois, 11.10.2007 – 13.10.2007)
In: Vikram Adve, María Jesús Garzarán, Paul Petersen (ed.): Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Berlin Heidelberg: 2008
DOI: 10.1007/978-3-540-85261-2_13
URL: http://www2.informatik.uni-erlangen.de/publication/download/LCPC_LVM.pdf
BibTeX: Download - , , , , :
DAGMA: Mining Directed Acyclic Graphs (Outstanding Paper Award)
IADIS European Conference on Data Mining 2008 (Amsterdam, The Netherlands, 24.07.2008 – 26.07.2008)
In: Hans Weghorn ; Ajith P. Abraham (ed.): Proceedings of the IADIS European Conference on Data Mining, Amsterdam, The Netherlands: 2008
URL: http://www2.informatik.uni-erlangen.de/publication/download/ecdm2008-dagma.pdf
BibTeX: Download
2007
- , , , , , :
Graph-based procedural abstraction
International Symposium on Code Generation and Optimization, CGO 2007 (San Jose, CA, 11.03.2007 – 14.03.2007)
In: International Symposium on Code Generation and Optimization (CGO’07) 2007
DOI: 10.1109/CGO.2007.14
URL: http://www2.informatik.uni-erlangen.de/publication/download/cgo2007-shrink.pdf
BibTeX: Download - , , , , :
Esodyp+: Prefetching in the Jackal Software DSM
Proceedings of the Euro-Par 2007 Conference (Rennes, France, 28.08.2007 – 31.08.2007)
In: Kermarrec, Anne-Marie; Bougé, Luc; Priol, Thierry (ed.): EuroPar 2007 – Parallel Processing, Berlin Heidelberg: 2007
DOI: 10.1007/978-3-540-74466-5_60
URL: http://www2.informatik.uni-erlangen.de/publication/download/esodyp.pdf
BibTeX: Download - , , , , :
Reparallelization and Migration of OpenMP Programs
7th International Symposium on Cluster Computing and the Grid (CCGrid ’07) (Rio de Janeiro, Brazil, 14.05.2007 – 17.05.2007)
In: Proceedings of the 7th International Symposium on Cluster Computing and the Grid (CCGrid ’07), New York, NY, USA: 2007
DOI: 10.1109/CCGRID.2007.96
URL: http://www2.informatik.uni-erlangen.de/publication/download/migration-OpenMP.pdf
BibTeX: Download - , , , :
JaMP: An Implementation of OpenMP for a Java DSM
In: Concurrency and Computation-Practice & Experience 18 (2007), p. 2333-2352
ISSN: 1532-0626
DOI: 10.1002/cpe.1178
URL: http://www2.informatik.uni-erlangen.de/publication/download/jamp-journal.pdf
BibTeX: Download - , :
Reparallelisierung und Migration von OpenMP-Applikationen (Young Researchers Award)
21. Workshop der GI-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS 2007) (Hamburg, 31.05.2007 – 01.06.2007)
In: Parallel-Algorithmen und Rechnerstrukturen (PARS 2007) 2007
URL: http://www2.informatik.uni-erlangen.de/publication/download/migration-OpenMP-PARS.pdf
BibTeX: Download
2006
- , , , :
JaMP: An Implementation of OpenMP for a Java DSM
Workshop on Compilers for Parallel Computers (A Coruna, Spain, 09.01.2006 – 11.01.2006)
In: Proceedings of the 12th Workshop on Compilers for Parallel Computers 2006
URL: http://www2.informatik.uni-erlangen.de/publication/download/jamp.pdf
BibTeX: Download - , , , :
Mining Molecular Datasets on Symmetric Multiprocessor Systems
2006 IEEE International Conference on Systems, Man and Cybernetics (Taipei, Taiwan, 08.10.2016 – 11.10.2006)
In: Proceedings of the 2006 IEEE International Converence on Systems, Man and Cybernetics, New York: 2006
DOI: 10.1109/ICSMC.2006.384889
URL: http://www2.informatik.uni-erlangen.de/publication/download/SMC2006.pdf
BibTeX: Download - , , , , :
The ParMol package for frequent subgraph mining
Third International Workshop on Graph Based Tools (GraBaTs) (Natal, Brasil, 21.09.2006 – 22.09.2006)
In: Zündorf, Albert ; Varro, Daniel (ed.): Third International Workshop on Graph Based Tools 2006
URL: http://www2.informatik.uni-erlangen.de/publication/download/GraBaTs2006_ParMol.pdf
BibTeX: Download - , , , , :
The ParMol Package for Frequent Subgraph Mining
In: Electronic Communications of the EASST Volume 1 (2006), p. 1-12
ISSN: 1863-2122
URL: http://journal.ub.tu-berlin.de/eceasst/article/viewFile/85/63
BibTeX: Download - , , , , :
Edgar: the Embedding-baseD GrAph MineR
International Workshop on Mining and Learning with Graphs (Berlin, 18.09.2006 – 22.09.2006)
In: Gärtner, Thomas ; Garriga, Gemma C. ; Meinl, Thorsten (ed.): Proceedings of the International Workshop on Mining and Learning with Graphs 2006
URL: http://www2.informatik.uni-erlangen.de/publication/download/MLG2006_Edgar.pdf
BibTeX: Download
2005
- , , :
Parallel Mining for Frequent Fragments on a Shared-Memory Multiprocessor -Results and Java-Obstacles-
Workshop der GI-Fachgruppe “Maschinelles Lernen, Wissensentdeckung, Data Mining” (FGML) (Saarbrücken, Germany, 10.10.2005 – 12.10.2005)
In: Bauer, Mathias ; Kröner, Alexander ; Brandherm, Boris (ed.): LWA 2005 – Beiträge zur GI-Workshopwoche Lernen, Wissensentdeckung, Adaptivität 2005
BibTeX: Download - , :
Near Overhead-free Heterogeneous Thread-migration
2005 IEEE International Conference on Cluster Coomputing (Boston, Massachusetts, USA, 26.09.2005 – 30.09.2005)
In: Proceedings of the 2005 IEEE International Conference on Cluster Coomputing, New York: 2005
DOI: 10.1109/CLUSTR.2005.347042
URL: http://www2.informatik.uni-erlangen.de/publication/download/thread_migration.pdf
BibTeX: Download - , , , :
A quantitative comparison of the subgraph miners MoFa, gSpan, FFSM, and Gaston
9th European Conference on Principles and Practices of Knowledge Discovery in Databases (Porto, Portugal, 03.10.2005 – 07.10.2005)
In: Jorge, Alipio; Torgo, Luis; Brazdil, Pavel; Camacho, Rui; Gama, Joao (ed.): Knowledge Discovery in Database: PKDD 2005, Berlin Heidelberg: 2005
DOI: 10.1007/11564126_39
URL: http://www2.informatik.uni-erlangen.de/publication/download/PKDD05.pdf
BibTeX: Download
2004
- , , :
Latency Reduction in Software-DSMs by Means of Dynamic Function Splicing
16th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS’04) (Cambridge, MA, USA, 09.11.2004 – 11.11.2004)
In: Proceedings of the 16th IASTED International Conference on Parallel and Distributed Computing and Systems, Anaheim, CA, USA: 2004
URL: http://www2.informatik.uni-erlangen.de/publication/download/pdcs04dfs.pdf
BibTeX: Download - , :
Using Object Combining for Object Prefetching in DSM Systems
11th Workshop on Compilers for Parallel Computers (CPC 2004) (Seeon, 07.07.2004 – 09.07.2004)
In: Gerndt, Michael ; Kereku, Edmond (ed.): Proceedings of the 11th Workshop on Compilers for Parallel Computers (CPC 2004) 2004
URL: http://www2.informatik.uni-erlangen.de/publication/download/cpc2004.ps.gz
BibTeX: Download
2003
- , , , :
A Controlled experiment on inheritance depth as a cost factor for maintenance
In: Journal of Systems and Software 65 (2003), p. 115-126
ISSN: 0164-1212
DOI: 10.1016/S0164-1212(02)00053-5
URL: http://pswt.informatik.uni-erlangen.de/publication/download/jss.pdf
BibTeX: Download - , :
Compiler Optimized Remote Method Invocation
5th IEEE Conf. on Cluster Computing (CC 2003) (Hong Kong, 01.12.2003 – 04.12.2003)
In: Proc. 5th IEEE Conf. on Cluster Computing 2003
DOI: 10.1109/CLUSTR.2003.1253308
URL: http://www2.informatik.uni-erlangen.de/publication/download/cc2003.pdf
BibTeX: Download
2002
- :
Internetwahlen: Demokratische Wahlen über das Internet?
In: Informatik-Spektrum 25 (2002), p. 138-150
ISSN: 0170-6012
DOI: 10.1007/s002870200216
URL: http://www2.informatik.uni-erlangen.de/publication/download/wahlen.pdf
BibTeX: Download - , , :
Finding plagiarisms among a set of programs with JPlag
In: Journal of Universal Computer Science 8 (2002), p. 1016-1038
ISSN: 0948-695X
DOI: 10.3217/jucs-008-11-1016
URL: http://pswt.informatik.uni-erlangen.de/publication/download/jplag.pdf
BibTeX: Download - , , , :
Two controlled experiments assessing the usefulness of design pattern documentation during program maintenance
In: IEEE Transactions on Software Engineering 28 (2002), p. 595-606
ISSN: 0098-5589
DOI: 10.1109/TSE.2002.1010061
URL: http://pswt.informatik.uni-erlangen.de/publication/download/patdoc_tse2001.pdf
BibTeX: Download
2001
- , , , :
Java and numerical computing
In: Computing in Science & Engineering 3 (2001), p. 18-24
ISSN: 1521-9615
DOI: 10.1109/5992.908997
URL: http://www2.informatik.uni-erlangen.de/publication/download/cise-ron.pdf
BibTeX: Download - , :
Java communications for large-scale parallel computing
3rd International Conference on Large-Scale Scientific Computations (Sozopol/Bulgaria, 06.06.2001 – 10.06.2001)
In: Marbenov, S. ; Wasniewski, J. ; Yalamov, P. (ed.): Large-Scale Scientific Computing, Berlin Heidelberg: 2001
DOI: 10.1007/3-540-45346-6_3
URL: http://www2.informatik.uni-erlangen.de/publication/download/scicomp-getov.pdf
BibTeX: Download - , , , :
Multiparadigm communications in Java for Grid computing
In: Communications of the ACM 44 (2001), p. 118-125
ISSN: 0001-0782
DOI: 10.1145/383845.383872
URL: http://www2.informatik.uni-erlangen.de/publication/download/cacm-getov.pdf
BibTeX: Download - , :
Exploiting object locality in JavaParty, a distributed computing environment for workstation clusters
9th Intl. Workshop on Compiler for Parallel Computers (CPC 2001) (Edinburgh, Scotland/UK, 27.06.2001 – 29.06.2001)
In: O’Boyle, Michael ; Fursin, Grigori ; Ashby, Tom ; Franke, Bjoern ; Long, Shun (ed.): Proceedings of the 9th Intl. Workshop on Compiler for Parallel Computers (CPC 2001) 2001
URL: http://www2.informatik.uni-erlangen.de/publication/download/jp-local-calls.pdf
BibTeX: Download - :
Leistungsaspekte Paralleller Objektorientierter Programmiersprachen (Habilitation, 2001)
BibTeX: Download - :
Verschiedene Realisierungsmöglichkeiten für komplexe Zahlen in Java im Vergleich
In: it + ti – Informationstechnik und Technische Informatik 43 (2001), p. 159-165
ISSN: 0944-2774
DOI: 10.1524/itit.2001.43.3.159
URL: http://www2.informatik.uni-erlangen.de/publication/download/complex-itti.pdf
BibTeX: Download - , , , , , , :
JavaGrande – High Performance Computing with Java
Workshop on Applied Parallel Computing, New Paradigms for HPC in Industry and Academia (Para2000) (Bergen, Norway, 18.06.2000 – 21.06.2000)
In: Sørevik, Tor ; Manne, Fredrik ; Moe, Randi ; Gebremedhin, Assefaw Hadish (ed.): Applied Parallel Computing. New Paradigms for HPC in Industry and Academia, Berlin Heidelberg: 2001
DOI: 10.1007/3-540-70734-4_5
BibTeX: Download
2000
- , :
Complex numbers for Java
In: Concurrency Practice and Experience 12 (2000), p. 477-491
ISSN: 1040-3108
DOI: 10.1002/1096-9128(200005)12:63.0.CO;2-W
URL: http://www2.informatik.uni-erlangen.de/publication/download/complexe.pdf
BibTeX: Download - :
A survey on concurrent object-oriented languages
In: Concurrency and Computation-Practice & Experience 12 (2000), p. 917-980
ISSN: 1532-0626
DOI: 10.1002/1096-9128(20000825)12:103.0.CO;2-F
URL: http://www2.informatik.uni-erlangen.de/publication/download/cool-survey.pdf
BibTeX: Download - :
Cooperating distributed garbage collectors for clusters and beyond
In: Concurrency Practice and Experience 12 (2000), p. 595-610
ISSN: 1040-3108
DOI: 10.1002/1096-9128(200005)12:73.0.CO;2-D
URL: http://www2.informatik.uni-erlangen.de/publication/download/dgc.pdf
BibTeX: Download - :
Cooperating distributed garbage collectors for clusters and beyond
8th Workshop on Compilers for Parallel Computers (CPC 2000) (Aussois, France, 04.01.2000 – 07.01.2000)
In: Proceedings of the 8th Workshop on Compilers for Parallel Computers (CPC 2000) 2000
URL: http://www2.informatik.uni-erlangen.de/publication/download/dgc.pdf
BibTeX: Download - :
JavaGrande: Hochleistungsrechnen mit Java
OOP’2000 (München)
In: Proc. Objekt-Orientiertes Programmieren, –: 2000
URL: http://www2.informatik.uni-erlangen.de/publication/download/oop00.pdf
BibTeX: Download - :
JavaGrande – Hochleistungsrechnen mit Java
In: Informatik-Spektrum 23 (2000), p. 79-89
ISSN: 0170-6012
DOI: 10.1007/s002870050153
URL: http://www2.informatik.uni-erlangen.de/publication/download/jgf.pdf
BibTeX: Download - , :
Locality optimization in JavaParty by means of static type analysis
In: Concurrency Practice and Experience 12 (2000), p. 613-628
ISSN: 1040-3108
DOI: 10.1002/1096-9128(200007)12:83.0.CO;2-G
URL: http://www2.informatik.uni-erlangen.de/publication/download/static.pdf
BibTeX: Download - , , :
More efficient serialization and RMI for Java
In: Concurrency Practice and Experience 12 (2000), p. 495-518
ISSN: 1040-3108
DOI: 10.1002/1096-9128(200005)12:73.0.CO;2-W
URL: http://www2.informatik.uni-erlangen.de/publication/download/serialrmi.pdf
BibTeX: Download - , , :
JPlag: Finding plagiarisms among a set of programs
(2000)
BibTeX: Download
(Techreport)
1999
- , , :
Irregular parallel algorithms in Java
6th Int. Workshop on Solving Irregularly Structured Problems in Parallel (San Juan, Puerto Rico, USA, 12.04.1999 – 16.04.1999)
In: Rolim, José (ed.): Parallel and Distributed Processing, Berlin Heidelberg: 1999
DOI: 10.1007/BFb0097988
URL: http://www2.informatik.uni-erlangen.de/publication/download/irregular99.pdf
BibTeX: Download - , :
Fair multi-branch locking of several locks
In: International Journal of Parallel and Distributed Systems and Networks 2 (1999), p. 17-26
ISSN: 1206-2138
URL: http://www2.informatik.uni-erlangen.de/publication/download/locks.pdf
BibTeX: Download - , , , , :
Java as a basis for parallel data mining in workstation clusters
7th International Conference on High-Performance Computing and Networking (HPCN) (Amsterdam, NL, 12.04.1999 – 14.04.1999)
In: Sloot, P. ; Bubak, M. ; Hoekstra, Alfons G. ; Hertzberger, B. (ed.): Proc. 7th International Conference on High Performance Computing and Networking (HPCN Europe), Berlin Heidelberg: 1999
DOI: 10.1007/BFb0100648
URL: http://www2.informatik.uni-erlangen.de/publication/download/dataminps.pdf
BibTeX: Download - , :
Complex numbers for Java
3rd International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE’99) (San Francisco/USA, 07.12.1999 – 10.12.1999)
In: Matsuoka, Satoshi ; Oldehoeft, Rodney R. ; Tholburn, Marydell (ed.): Computing in Object-Oriented Parallel Environments, Berlin Heidelberg: 1999
DOI: 10.1007/10704054_1
URL: https://www2.cs.fau.de/publication/download/complexe.pdf
BibTeX: Download - , :
Komplexe Zahlen für Java
Java-Informationstage JIT’99 (Düsseldorf, 20.09.1999 – 21.09.1999)
In: Cap, C. H. (ed.): Java-Informations-Tage JIT’99, Berlin Heidelberg: 1999
DOI: 10.1007/978-3-642-60247-4_24
URL: http://www2.informatik.uni-erlangen.de/publication/download/complexd.pdf
BibTeX: Download - , :
More efficient object serialization
6th Int. Workshop on Solving Irregularly Structured Problems in Parallel (San Jose, Puerto Rico/USA, 12.04.1999 – 16.04.1999)
In: Rolim, José (ed.): Parallel and Distributed Processing, Berlin Heidelberg: 1999
DOI: 10.1007/BFb0097962
URL: https://www2.cs.fau.de/publication/download/serialrmi.pdf
BibTeX: Download - , , :
A more efficient RMI
ACM 1999 conference on Java Grande (San Francisco, CA, 12.06.1999 – 14.06.1999)
In: Fox, Geoffrey; Schauser, Klaus; Snir, Marc (ed.): Proceedings of the ACM 1999 conference on Java Grande, New York: 1999
DOI: 10.1145/304065.304117
URL: https://www2.cs.fau.de/publication/download/serialrmi.pdf
BibTeX: Download - :
JavaParty: Erfahrungen mit verteiltem und parallelem Programmieren in Java
OOP’99 (München)
In: Paulisch, Frances (ed.): Objekt-Orientiertes Programmieren, –: 1999
URL: http://www2.informatik.uni-erlangen.de/publication/download/oop99.pdf
BibTeX: Download - , , :
Effizientes RMI für Java
Java-Informations-Tage JIT’99 (Düsseldorf, 20.09.1999 – 21.09.1999)
In: Cap, C. H. (ed.): Java-Informations-Tage JIT’99, Berlin Heidelberg: 1999
DOI: 10.1007/978-3-642-60247-4_13
URL: http://www2.informatik.uni-erlangen.de/publication/download/rmi-german.pdf
BibTeX: Download - , , :
Java Entwicklungsumgebungen im Vergleich
(1999)
URL: http://www2.informatik.uni-erlangen.de/publication/download/idevergl.pdf
BibTeX: Download
(Techreport) - , , , , , , , , , , :
Iterim Java Grande Forum Report
JGF-TR-4 (1999)
URL: http://www2.informatik.uni-erlangen.de/publication/download/jgf-tr-4-beta.pdf
BibTeX: Download
(Techreport)
1998
- , , , , , :
RESH – Rechnernetze als Supercomputer und Hochleistungsdatenbanken: Zwischenbericht
(1998)
URL: http://www2.informatik.uni-erlangen.de/publication/download/1998-23.pdf
BibTeX: Download
(Techreport) - , :
CeBIT’98 brachte wertvolle Kontakte zur Industrie
In: UNIKATH-Neues vom Campus der Universität Karslruhe, 1998, p. 24-25
BibTeX: Download
(Techreport) - , , :
Seminarbeiträge Cache-Optimierung
(1998)
URL: http://www2.informatik.uni-erlangen.de/publication/download/1998-05.pdf
BibTeX: Download
(Techreport) - , , :
Large-scale parallel geophysical algorithms in Java: A feasibility study
In: Concurrency and Computation-Practice & Experience 10 (1998), p. 1143-1154
ISSN: 1532-0626
DOI: 10.1002/(SICI)1096-9128(199809/11)10:11/133.0.CO;2-W
URL: http://www2.informatik.uni-erlangen.de/publication/download/veltran.pdf
BibTeX: Download - , , :
Large-scale parallel geophysical algorithms in Java: A feasibility study
In: Leading Edge (Tulsa, OK) 17 (1998), p. 1662-1666
ISSN: 1070-485X
URL: https://www2.cs.fau.de/publication/download/tle.pdf
BibTeX: Download - , , :
Large-scale parallel geophysical algorithms in Java: A feasibility study
ACM Workshop on Java for High-Performance Network Computing (Palo Alto, CA, 28.02.1998 – 01.03.1998)
In: Fox, Geoffrey C. (ed.): Proc. of the ACM Workshop on Java for High-Performance Network Computing, New York: 1998
URL: http://www2.informatik.uni-erlangen.de/publication/download/veltran.pdf
BibTeX: Download - , , :
Large-scale parallel geophysical algorithms in Java: A feasibility study
1998 (1998), p. 32
BibTeX: Download
(Techreport) - , , :
Parallelizing large-scale geophysical algorithms in Java
Fourth International Conference on Mathematical and Numerical Aspects of Wave Propagation (Waves’98) (Golden, Colorado/USA, 01.06.1998 – 05.06.1998)
In: De Santro, John A. ; Cohen, Gary (ed.): Fourth International Conference on Mathematical and Numerical Aspects of Wave Propagation (Waves’98), Philadelphia PA: 1998
URL: http://www2.informatik.uni-erlangen.de/publication/download/siamWP98.pdf
BibTeX: Download - :
Data parallelism in Java
Proc. 12th Int. Symposium on High Performance Computing Systems and Applications (HPCS’98) (Edmonton, Canada, 20.05.1998 – 22.05.1998)
In: Schaefer, J. (ed.): High Performance Computing Systems and Applications, New York: 1998
DOI: 10.1007/978-1-4615-5611-4_11
URL: https://www2.cs.fau.de/publication/download/forall.pdf
BibTeX: Download - :
Is Java ready for computational science?
2nd European Parallel and Distributed Systems Conference (Euro-PDS’98) (Vienna/Austria, 01.07.1998 – 03.07.1998)
In: Bukhres, O. ; El-Rewini, H. (ed.): 2nd European Parallel and Distributed Systems Conference 1998
URL: http://www2.informatik.uni-erlangen.de/publication/download/javaCS.pdf
BibTeX: Download - , :
Locality optimization in JavaParty by means of static type analysis
7th International Workshop on Compilers for Parallel Computers (CPC 1998) (Linköping, 29.06.1998 – 01.07.1998)
In: Fritzson, Peter (ed.): Proceedings of the 7th International Workshop on Compilers for Parallel Computers (CPC 1998) 1998
BibTeX: Download - , :
Locality optimization in JavaParty by means of static type analysis
First UK Workshop on Java for High Performance Network Computing (Southampton/UK, 02.09.1998 – 03.09.1998)
In: Pritchard, David ; Reeve, Jeff (ed.): First UK Workshop on Java for High Performance Network Computin 1998
URL: https://www2.cs.fau.de/publication/download/static.pdf
BibTeX: Download - , , :
Fallstudie: Parallele Realisierung geophysikalischer Basisalgorithmen in Java
In: Informatik – Forschung und Entwicklung 13 (1998), p. 72-78
ISSN: 0178-3564
DOI: 10.1007/s004500050099
URL: http://www2.informatik.uni-erlangen.de/publication/download/fallstudie.pdf
BibTeX: Download - , , :
JavaParty – portables paralles und verteiltes Programmieren in Java
Java-Informations-Tage (JIT’98) (Frankfurt/Main, 12.11.1998 – 13.11.1998)
In: Cap, C. H. (ed.): Java-Informations-Tage, Berlin Heidelberg: 1998
DOI: 10.1007/978-3-642-59984-2_3
URL: http://www2.informatik.uni-erlangen.de/publication/download/partyd.pdf
BibTeX: Download - , , , , , , , , , , :
Java Grande Forum Report : Making Java work for high-end computing
JGF-TR-1 (1998)
URL: http://www2.informatik.uni-erlangen.de/publication/download/sc98grande.pdf
BibTeX: Download
(Techreport) - , , , :
Forschungsprojekte des Lehrstuhls für Programmiersysteme der Universität Karlsruhe (TH)
In: Informatik – Forschung und Entwicklung 13 (1998), p. 93-96
ISSN: 0178-3564
DOI: 10.1007/s004500050101
URL: http://www2.informatik.uni-erlangen.de/publication/download/jahr1997.pdf
BibTeX: Download
1997
- , :
Fair multi-branch locking of several locks
IASTED Intl. Conf. on Parallel and Distributed Computing and Systems (PDCS) (Washington D.C./USA, 13.10.1997 – 16.10.1997)
In: Li, K. ; Olariu, S. ; Pan, Y. ; Stojmenovic, I. (ed.): Proceedings of the 1997 IASTED Intl. Conf. on Parallel and Distributed Computing and Systems (PDCS) 1997
URL: https://www2.cs.fau.de/publication/download/locks.pdf
BibTeX: Download - Philippsen Michael, Zenger M.:
JavaParty: Transparent remote objects in Java
Symposium on Principles and Practice of Parallel Programming, Workshop on Java for Science and Engineering Computation (Las Vegas, NV, 21.06.1997 – 21.06.1997)
In: Symposium on Principles and Practice of Parallel Programming, Workshop on Java for Science and Engineering Computation 1997
URL: http://www2.informatik.uni-erlangen.de/publication/download/party.pdf
BibTeX: Download - , :
JavaParty: Transparent remote objects in Java
In: Concurrency Practice and Experience 9 (1997), p. 1225-1242
ISSN: 1040-3108
DOI: 10.1002/(SICI)1096-9128(199711)9:113.0.CO;2-F
URL: http://www2.informatik.uni-erlangen.de/publication/download/party.pdf
BibTeX: Download - , , :
Documenting design patterns in code eases program maintenance
Workshop on Process Modelling and Empirical Studies of Software Evolution at the International Conference on Software Engineering (ICSE) (Boston/USA, 18.05.1997 – 18.05.1997)
In: Harrison, Rachel ; Shepperd, Martin ; Daly, John W. (ed.): ICSE Workshop – Process Modeling and Empirical Studies of Software Evolution 1997
URL: http://pswt.informatik.uni-erlangen.de/publication/download/jakk_pmesse97.pdf
BibTeX: Download
1996
- :
Java Seminarbeiträge
(1996)
URL: http://www2.informatik.uni-erlangen.de/publication/download/1996-24.pdf
BibTeX: Download
(Techreport)
1995
- :
Automatic alignment of array data and processes to reduce comminication time on DMPPs
Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP’95) (Santa Barbara/CA/USA, 19.07.1995 – 21.07.1995)
In: Wexelblat, Richard L. (ed.): Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP’95), New York: 1995
DOI: 10.1145/209936.209953
URL: http://www2.informatik.uni-erlangen.de/publication/download/Alignment-2.pdf
BibTeX: Download - :
Enabling compiler transformations for pSather
(1995)
URL: https://www2.informatik.uni-erlangen.de/publication/download/EnablingTrafos.pdf
BibTeX: Download
(Techreport) - :
Imperative concurrent object-oriented languages: An annotated bibliography
(1995)
URL: http://www2.informatik.uni-erlangen.de/publication/download/COOL-bib.pdf
BibTeX: Download
(Techreport) - :
Imperative concurrent object-oriented languages
(1995)
URL: https://www2.informatik.uni-erlangen.de/publication/download/cool-survey.pdf
BibTeX: Download
(Techreport) - , :
Automatic synchronization elimination in synchronous FORALLs
The Fifth Symposium on the Frontiers of Massively Parallel Computation (Frontiers’95) (Mc Lean, VA/USA, 06.02.1995 – 09.02.1995)
In: Frontiers ’95 : The Fifth Symposium on the Frontiers of Massively Parallel Computation, Los Alamitos, CA: 1995
DOI: 10.1109/FMPC.1995.380435
URL: https://www2.cs.fau.de/publication/download/front95.pdf
BibTeX: Download
1994
- :
Automatic alignment of array data and processes to reduce communication time on DMPPs
(1994)
URL: http://www2.informatik.uni-erlangen.de/publication/download/Alignment-2.pdf
BibTeX: Download
(Techreport) - :
Optimierungstechniken zur Übersetzung paralleler Programmiersprachen (Dissertation, 1994)
BibTeX: Download - :
Sather 1.0 tutorial
(1994)
URL: http://www2.informatik.uni-erlangen.de/publication/download/SatherTutorial.pdf
BibTeX: Download
(Techreport) - , :
Data and process alignment in Modula-2*
Intl. Workshop on Automatic Parallelization (AP’93) (Saarbrücken, Germany, 01.03.1993 – 03.03.1993)
In: Kessler, C.W. (ed.): Automatic Parallelization – New Approaches to Code Generation, Data Distribution, and Performance Prediction, Wiesbaden: 1994
DOI: 10.1007/978-3-322-87865-6_10
URL: http://www2.informatik.uni-erlangen.de/publication/download/Alignment-1.pdf
BibTeX: Download - , , , , , :
Project Triton: Towards improved programmability of parallel computers
In: David J. Lilja ; Peter L. Bird (ed.): The Interaction of Compilation Technology and Computer Architecture, Boston, Dordrecht, London: Kluwer Academic Publishers, 1994, p. 249-281
ISBN: 978-1-4613-6154-1
DOI: 10.1007/978-1-4615-2684-1_10
URL: http://www2.informatik.uni-erlangen.de/publication/download/Triton.pdf
BibTeX: Download - , , , , , , :
Zur programmiertechnischen Beherrschung von massivem Parallelismus
Softwareentwicklung für Supercomputer (Karlsruhe, Germany, 03.03.1994 – 04.03.1994)
In: Schreiner, A. ; Schnepf, E. (ed.): Drittes ODIN Symposium, Rechenzentrum Universität Karlsruhe 1994
BibTeX: Download
1993
- , :
Synchronization barrier elimination in synchronous FORALLs
(1993)
URL: https://www2.cs.fau.de/publication/download/front95.pdf
BibTeX: Download
(Techreport) - , , , :
Triton/1: A massively-parallel mixed-mode computer designed to support high level languages
2nd Workshop on Heterogeneous Processing (WHP 93) (Newport Beach/CA/USA, 13.04.1993 – 16.04.1993)
In: Proceedings of the 2nd Workshop on Heterogeneous Processing (WHP 93), New York: 1993
DOI: 10.1109/WHP.1993.664368
URL: http://www2.informatik.uni-erlangen.de/publication/download/triton-hp.pdf
BibTeX: Download - , , , , :
The Modula-2* environment for parallel programming
Conference on Massively Parallel Programming Models (MPPM’93) (Berlin, Germany, 20.09.1993 – 23.09.1993)
In: Giloi, Wolfgang K. (ed.): Programming Models for Massively Parallel Computers, Los Alamitos: 1993
DOI: 10.1109/PMMP.1993.315555
URL: http://www2.informatik.uni-erlangen.de/publication/download/mppm93.pdf
BibTeX: Download - , , , , :
The Modula-2* environment for parallel programming
3rd International Workshop on Compilers for Parallel Computers (CPC 1993) (Delft, NL, 13.12.1993 – 16.12.1993)
In: Henk Sips (ed.): Proceedings of the 3rd International Workshop on Compilers for Parallel Computers (CPC 1993) 1993
URL: http://www2.informatik.uni-erlangen.de/publication/download/mppm93.pdf
BibTeX: Download - , , :
Compiling machine-independent parallel programs
In: Acm SIGPLAN Notices 28 (1993), p. 99-108
ISSN: 0362-1340
DOI: 10.1145/163114.163127
URL: http://www2.informatik.uni-erlangen.de/publication/download/sigplan93.pdf
BibTeX: Download - , , :
Compiling machine-independent parallel programs
(1993)
URL: https://www2.informatik.uni-erlangen.de/publication/download/sigplan93.pdf
BibTeX: Download
(Techreport) - , , , :
Project Triton: Towards improved programmability of parallel machines
26th Hawaii International Conference on System Sciences (HICSS) (Wailea, Maui, Hawaii/USA, 04.01.1993 – 08.01.1993)
In: Proceedings of the 26th Hawaii International Conference on System Sciences (HICSS), New York: 1993
DOI: 10.1109/HICSS.1993.270745
URL: https://www2.cs.fau.de/publication/download/Triton.pdf
BibTeX: Download - , :
Programming parallel supercomputers
Joint international conference on mathematical methods and supercomputing in nuclear applications (M and C and SNA ’93) (Karlsruhe, 19.04.1993 – 23.04.1993)
In: Küster, H. ; Stein, E. ; Werner, W. (ed.): Proceedings of the International Conference on Mathematical Methods and Supercomputing in Nuclear Applications 1993
URL: http://www2.informatik.uni-erlangen.de/publication/download/nuclear.pdf
BibTeX: Download
1992
- :
Automatic data distribution for nearest neighbor networks
Fourth Symposium on the Frontiers of Massively Parallel Computation (Frontiers ’92) (Mc Lean, VA, USA, 19.10.1992 – 21.10.1992)
In: Proceedings of the Fourth Symposium on the Frontiers of Massively Parallel Computation (Frontiers ’92) 1992
DOI: 10.1109/FMPC.1992.234890
URL: http://www2.informatik.uni-erlangen.de/publication/download/front92.pdf
BibTeX: Download - , :
Compiling for massively parallel machines
International Workshop on Code Generation (Dagstuhl Castle, Germany, 20.05.1991 – 24.05.1991)
In: Giegerich, Robert ; Graham, Susan L. (ed.): Code Generation – Concepts, Tools, Techniques, Berlin Heidelberg: 1992
DOI: 10.1007/978-1-4471-3501-2_6
URL: http://www2.informatik.uni-erlangen.de/publication/download/dagstuhl.pdf
BibTeX: Download - , :
Modula-2* and its compilation
First International ACPC (Austrian Center for Parallel Computation) Conference (Salzburg, Austria, 30.09.1991 – 02.10.1991)
In: Zima, Hans P. (ed.): Parallel Computation: First International ACPC Conference, Berlin Heidelberg: 1992
DOI: 10.1007/3-540-55437-8_79
URL: http://www2.informatik.uni-erlangen.de/publication/download/salzburg.pdf
BibTeX: Download - , , , :
Project: Triton: Towards improved programmability of parallel machines
(1992)
URL: https://www2.cs.fau.de/publication/download/Triton.pdf
BibTeX: Download
(Techreport) - , , , :
Projekt Triton: Beiträge zur Verbesserung der Programmierbarkeit hochparalleler Rechensysteme
In: Informatik – Forschung und Entwicklung 7 (1992), p. 1-13
ISSN: 0178-3564
URL: http://www2.informatik.uni-erlangen.de/publication/download/d-triton.pdf
BibTeX: Download - , , :
A critique of the programming language C*
In: Communications of the ACM 35 (1992), p. 21-24
ISSN: 0001-0782
DOI: 10.1145/129888.376122
URL: http://www2.informatik.uni-erlangen.de/publication/download/CstarCritique.pdf
BibTeX: Download - , , , :
From Modula-2* to efficient parallel code
(1992)
URL: https://www2.cs.fau.de/publication/download/wien.pdf
BibTeX: Download
(Techreport) - , , , :
From Modula-2* to efficient parallel code
3rd International Workshop on Compilers for Parallel Computers (CPC 1992) (Vienna, Austria, 06.07.1992 – 09.07.1992)
In: Zima, Hans P. (ed.): Proceedings of the 3rd International Workshop on Compilers for Parallel Computers (CPC 1992) 1992
URL: http://www2.informatik.uni-erlangen.de/publication/download/wien.pdf
BibTeX: Download
1991
- :
Erfahrungen mit der MasPar MP-1
Conference on Supercomputing and Applications (Bochum)
In: Ehlich, Hartmut ; Schloßer, Karl-Heinz ; Wojcieszynski, Brigitte (ed.): Bochumer Schriften zur Parallelen Datenverarbeitung, Bochum: 1991
URL: http://www.philippsen.com/mypapers/bib/I001.bib
BibTeX: Download - , , :
Modula-2* and its compilation
(1991)
URL: http://www2.informatik.uni-erlangen.de/publication/download/salzburg.pdf
BibTeX: Download
(Techreport) - , :
Hochgradiger Parallelismus
(1991)
URL: http://www2.informatik.uni-erlangen.de/publication/download/d-hochparallel.pdf
BibTeX: Download
(Techreport) - , :
Hochgradiger Parallelismus
(1991)
URL: http://www2.informatik.uni-erlangen.de/publication/download/d-hochparallel.pdf
BibTeX: Download
(Techreport) - , , :
A critique of the programming language C*
(1991)
URL: http://www2.informatik.uni-erlangen.de/publication/download/CstarCritique.pdf
BibTeX: Download
(Techreport)
1990
- , , :
The Triton project
(1990)
BibTeX: Download
(Techreport)
Ausgewählte Kapitel aus dem Übersetzerbau
Basic data
| Title | Ausgewählte Kapitel aus dem Übersetzerbau |
|---|---|
| Short text | inf2-ueb3 |
| Module frequency | nur im Wintersemester |
| Semester hours per week | 2 |
Es ist keine Anmeldung erforderlich.
Parallel groups / dates
In der Vorlesung werden Aspekte des Übersetzerbaus beleuchtet, die über die Vorlesungen “Grundlagen des Übersetzerbaus” und “Optimierungen in Übersetzern” hinausgehen.
Voraussichtliche Themen sind:
- Übersetzer u. Optimierungen für funktionale Programmiersprachen
- Übersetzung aspektorientierter Programmiersprachen
- Erkennung von Wettlaufsituationen
- Software Watermarking
- Statische Analyse und symbolische Ausführung
- Binden von Objektcode und Unterstützung für dynamische Bibliotheken
- Strategien zur Ausnahmebehandlung
- Just-in-Time-Übersetzer
- Speicherverwaltung und Speicherbereinigung
- LLVM
Die Materialien zur Lehrveranstaltung werden über StudOn bereitgestellt.
1. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Prof. Dr. Michael Philippsen Tobias Heineken David Schwarzbeck Lukas Rotsching |
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Fri, 10:15 – 11:45 | 17.10.2025 – 06.02.2026 | 26.12.2025 19.12.2025 02.01.2026 |
|
11302.02.133 |
Grundlagen des Übersetzerbaus
Basic data
| Title | Grundlagen des Übersetzerbaus |
|---|---|
| Short text | inf2-ueb |
| Module frequency | nur im Wintersemester |
| Semester hours per week | 2 |
Voraussetzung zur Teilnahme an der Modulprüfung ist die erfolgreiche Bearbeitung der Übungsaufgaben.
Parallel groups / dates
1. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Prof. Dr. Michael Philippsen Tobias Heineken David Schwarzbeck |
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Wed, 12:15 – 13:45 | 15.10.2025 – 04.02.2026 | 31.12.2025 24.12.2025 |
|
11301.00.005 |
Parallele und Funktionale Programmierung
Basic data
| Title | Parallele und Funktionale Programmierung |
|---|---|
| Short text | PFP |
| Module frequency | nur im Wintersemester |
| Semester hours per week | 2 |
Parallel groups / dates
Die Materialien zur Lehrveranstaltung werden über StudOn bereitgestellt.
1. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Dr.-Ing. Norbert Oster Prof. Dr. Michael Philippsen David Schwarzbeck |
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Tue, 12:15 – 13:45 | 14.10.2025 – 03.02.2026 | 06.01.2026 30.12.2025 23.12.2025 |
|
11907.01.030 |
Machine Learning: Advances
Basic data
| Title | Machine Learning: Advances |
|---|---|
| Short text | SemML-II |
| Module frequency | nur im Wintersemester |
| Semester hours per week | 2 |
Anmeldung mit Themenanfrage per E-Mail vor Beginn des Seminars; Die Themen werden nach dem Prinzip “Wer zuerst kommt, mahlt zuerst” verteilt.
Parallel groups / dates
1. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch or Englisch |
| Responsible |
Tobias Feigl Prof. Dr. Michael Philippsen |
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| nach Vereinbarung – | – |
|
|||
| Einzeltermin Thu, 14:00 – 15:00 | 23.10.2025 – 23.10.2025 | 11302.04.150 | |||
| Blockveranstaltung+Sa Sat, 09:00 – 16:00 | 03.01.2026 – 28.03.2026 | 06.01.2026 05.01.2026 03.01.2026 |
Machine Learning: Introduction
Basic data
| Title | Machine Learning: Introduction |
|---|---|
| Short text | SemML-I |
| Module frequency | nur im Wintersemester |
| Semester hours per week | 2 |
Anmeldung mit Themenanfrage per E-Mail vor Beginn des Seminars; Die Themen werden nach dem Prinzip “Wer zuerst kommt, mahlt zuerst” verteilt.
Parallel groups / dates
1. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch or Englisch |
| Responsible |
Prof. Dr. Michael Philippsen Tobias Feigl |
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| nach Vereinbarung – | – |
|
|||
| Einzeltermin Thu, 14:00 – 15:00 | 23.10.2025 – 23.10.2025 | 11302.04.150 | |||
| Blockveranstaltung+Sa Sat, 09:00 – 16:00 | 03.01.2026 – 28.03.2026 | 05.01.2026 06.01.2026 03.01.2026 |
Begleitseminar zu Bachelor- und Masterarbeiten
Basic data
| Title | Begleitseminar zu Bachelor- und Masterarbeiten |
|---|---|
| Short text | inf2-bs-bama |
| Module frequency | in jedem Semester |
| Semester hours per week | 3 |
Parallel groups / dates
1. Parallelgruppe
| Semester hours per week | 3 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Prof. Dr. Michael Philippsen |
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Mon, 12:15 – 13:45 | 13.10.2025 – 02.02.2026 | 22.12.2025 05.01.2026 29.12.2025 |
|
11302.04.150 |
Übungen zu Ausgewählte Kapitel aus dem Übersetzerbau
Basic data
| Title | Übungen zu Ausgewählte Kapitel aus dem Übersetzerbau |
|---|---|
| Short text | inf2-ueb3-ex |
| Module frequency | nur im Wintersemester |
| Semester hours per week | 2 |
Blockveranstaltung n.V. nach der Vorlesungszeit.
Parallel groups / dates
Die Übungen zu Übersetzerbau 3 stellen eine Ergänzung zur Vorlesung dar. In der Vorlesung wird unter anderem die Architektur und Funktionsweise einer virtuellen Maschine beleuchtet. In den Übungen soll dies praktisch umgesetzt werden. Hierzu sollen die Studenten in einer Blockveranstaltung eine kleine virtuelle Maschine selbst implementieren. Den Anfang bildet das Einlesen des Byte-Codes und am Ende soll ein funktionsfähiger optimierender Just-in-Time-Übersetzer entstehen.
Die Materialien zur Lehrveranstaltung werden über StudOn bereitgestellt.
1. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Tobias Heineken David Schwarzbeck Prof. Dr. Michael Philippsen Lukas Rotsching |
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| Blockveranstaltung Mon, 09:00 – 16:00 | 23.02.2026 – 27.02.2026 |
|
11302.01.153 |
Übungen zu Grundlagen des Übersetzerbaus
Basic data
| Title | Übungen zu Grundlagen des Übersetzerbaus |
|---|---|
| Short text | inf2-ueb-ex |
| Module frequency | nur im Wintersemester |
| Semester hours per week | 2 |
Parallel groups / dates
Im Rahmen der Übungen werden die in der Vorlesung vorgestellten Konzepte und Techniken zur Implementierung eines Übersetzers in die Praxis umgesetzt. Ziel der Übungen ist es, bis zum Ende des Semesters einen funktionsfähigen Übersetzer für die Beispiel-Programmiersprache e2 zu implementieren. Die hierfür nötigen zusätzlichen Kenntnisse (z.B. Grundlagen des Assemblers für x86-64) werden in den Tafelübungen vermittelt. Die im Laufe des Semesters zu erreichenden Meilensteine sind im StudOn-Eintrag der Vorlesung aufgelistet. Die Materialien zur Lehrveranstaltung werden über StudOn bereitgestellt.
1. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Tobias Heineken Prof. Dr. Michael Philippsen David Schwarzbeck Lukas Rotsching |
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Tue, 12:15 – 13:45 | 14.10.2025 – 03.02.2026 | 23.12.2025 06.01.2026 30.12.2025 |
|
11302.00.152 |
Im Rahmen der Übungen werden die in der Vorlesung vorgestellten Konzepte und Techniken zur Implementierung eines Übersetzers in die Praxis umgesetzt. Ziel der Übungen ist es, bis zum Ende des Semesters einen funktionsfähigen Übersetzer für die Beispiel-Programmiersprache e2 zu implementieren. Die hierfür nötigen zusätzlichen Kenntnisse (z.B. Grundlagen des Assemblers für x86-64) werden in den Tafelübungen vermittelt. Die im Laufe des Semesters zu erreichenden Meilensteine sind im StudOn-Eintrag der Vorlesung aufgelistet. Die Materialien zur Lehrveranstaltung werden über StudOn bereitgestellt.
2. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Tobias Heineken Prof. Dr. Michael Philippsen David Schwarzbeck Lukas Rotsching |
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Fri, 12:15 – 13:45 | 17.10.2025 – 06.02.2026 | 26.12.2025 02.01.2026 19.12.2025 |
|
11302.02.133 |
Im Rahmen der Übungen werden die in der Vorlesung vorgestellten Konzepte und Techniken zur Implementierung eines Übersetzers in die Praxis umgesetzt. Ziel der Übungen ist es, bis zum Ende des Semesters einen funktionsfähigen Übersetzer für die Beispiel-Programmiersprache e2 zu implementieren. Die hierfür nötigen zusätzlichen Kenntnisse (z.B. Grundlagen des Assemblers für x86-64) werden in den Tafelübungen vermittelt. Die im Laufe des Semesters zu erreichenden Meilensteine sind im StudOn-Eintrag der Vorlesung aufgelistet. Die Materialien zur Lehrveranstaltung werden über StudOn bereitgestellt.
3. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Prof. Dr. Michael Philippsen Tobias Heineken David Schwarzbeck Lukas Rotsching |
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Tue, 16:15 – 17:45 | 14.10.2025 – 03.02.2026 | 06.01.2026 23.12.2025 30.12.2025 |
|
11302.02.134 |
Übungen zu Parallele und Funktionale Programmierung
Basic data
| Title | Übungen zu Parallele und Funktionale Programmierung |
|---|---|
| Short text | UePFP |
| Module frequency | nur im Wintersemester |
| Semester hours per week | 2 |
Parallel groups / dates
1. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Dr.-Ing. Norbert Oster David Schwarzbeck Prof. Dr. Michael Philippsen Lukas Rotsching |
Maximum number of participants: 40
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Wed, 08:15 – 09:45 | 15.10.2025 – 04.02.2026 | 31.12.2025 24.12.2025 |
11302.02.133 |
2. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Dr.-Ing. Norbert Oster Prof. Dr. Michael Philippsen David Schwarzbeck Lukas Rotsching |
Maximum number of participants: 40
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Fri, 14:15 – 15:45 | 17.10.2025 – 06.02.2026 | 02.01.2026 19.12.2025 26.12.2025 |
11302.02.133 |
3. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Dr.-Ing. Norbert Oster David Schwarzbeck Prof. Dr. Michael Philippsen Lukas Rotsching |
Maximum number of participants: 40
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Mon, 10:15 – 11:45 | 13.10.2025 – 02.02.2026 | 29.12.2025 22.12.2025 05.01.2026 |
11302.02.133 |
4. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Prof. Dr. Michael Philippsen Dr.-Ing. Norbert Oster David Schwarzbeck Lukas Rotsching |
Maximum number of participants: 40
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Wed, 16:15 – 17:45 | 15.10.2025 – 04.02.2026 | 31.12.2025 24.12.2025 |
|
11302.02.133 |
5. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Prof. Dr. Michael Philippsen Dr.-Ing. Norbert Oster David Schwarzbeck Lukas Rotsching |
Maximum number of participants: 40
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Tue, 14:15 – 15:45 | 14.10.2025 – 03.02.2026 | 30.12.2025 06.01.2026 23.12.2025 |
|
11302.00.152 |
6. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Prof. Dr. Michael Philippsen Dr.-Ing. Norbert Oster David Schwarzbeck Lukas Rotsching |
Maximum number of participants: 40
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Wed, 10:15 – 11:45 | 15.10.2025 – 04.02.2026 | 24.12.2025 31.12.2025 |
11302.02.133 |
12. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
David Schwarzbeck Prof. Dr. Michael Philippsen Dr.-Ing. Norbert Oster Lukas Rotsching |
Maximum number of participants: 25
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Fri, 14:15 – 15:45 | 17.10.2025 – 06.02.2026 | 19.12.2025 26.12.2025 02.01.2026 |
11302.00.153 |
13. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Dr.-Ing. Norbert Oster David Schwarzbeck Prof. Dr. Michael Philippsen Lukas Rotsching |
Maximum number of participants: 25
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Tue, 14:00 – 16:00 | 14.10.2025 – 03.02.2026 | 30.12.2025 06.01.2026 23.12.2025 |
11302.00.153 |
14. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Prof. Dr. Michael Philippsen David Schwarzbeck Dr.-Ing. Norbert Oster Lukas Rotsching |
Maximum number of participants: 25
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Wed, 14:00 – 16:00 | 15.10.2025 – 04.02.2026 | 24.12.2025 31.12.2025 |
11302.00.153 |
15. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Dr.-Ing. Norbert Oster Prof. Dr. Michael Philippsen David Schwarzbeck Lukas Rotsching |
Maximum number of participants: 25
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Thu, 16:00 – 18:00 | 16.10.2025 – 05.02.2026 | 01.01.2026 25.12.2025 |
|
11302.00.153 |
11. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
David Schwarzbeck Dr.-Ing. Norbert Oster Prof. Dr. Michael Philippsen Lukas Rotsching |
Maximum number of participants: 25
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Wed, 10:00 – 12:00 | 15.10.2025 – 04.02.2026 | 31.12.2025 24.12.2025 |
11302.00.153 |
7. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
Prof. Dr. Michael Philippsen Dr.-Ing. Norbert Oster David Schwarzbeck Lukas Rotsching |
Maximum number of participants: 40
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Thu, 08:15 – 09:45 | 16.10.2025 – 05.02.2026 | 01.01.2026 25.12.2025 |
11302.02.133 |
16. Parallelgruppe
| Semester hours per week | 2 |
|---|---|
| Teaching language | Deutsch |
| Responsible |
David Schwarzbeck Prof. Dr. Michael Philippsen Dr.-Ing. Norbert Oster Lukas Rotsching |
| Date and Time | Start date – End date | Cancellation date | Lecturer(s) | Comment | Room |
|---|---|---|---|---|---|
| wöchentlich Thu, 10:15 – 11:45 | 16.10.2025 – 05.02.2026 | 25.12.2025 01.01.2026 |
|
14201.00.001 |
- (Secondary Application: WO2013091908)
Erfinder: , , - (Secondary Application: WO2013091907)
Erfinder: , , - (Priority Patent Application: DE102011089180)
Erfinder: , , - (Priority Patent Application: DE102011089181)
Erfinder: , , - (Priority Patent Application: EP2469496 (EP10196851))
Erfinder: ,
Programme-/Steering Committees
- 30th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS) at 39th IEEE Intl. Parallel + Distributed Processing Symposium, IPDPS 2025, Milan, Italy, June 3-6, 2025
- PASA 2020, 14th Workshop on Parallel Systems and Algorithms, at the International Conference on Architecture of Computing Systems (ARCS 2020), Aachen, Germany, May 25-28, 2020, PC member
- 5th Workshop on Artifical Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems (AI-SEPS), co-located with ACM Conf. on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2018), Boston, MA, November 04-09, 2018, PC member
- PASA 2018, 13th Workshop on Parallel Systems and Algorithms, at the International Conference on Architecture of Computing Systems (ARCS 2018), Braunschweig, Germany, April 9-12, 2018, PC member
- 4th Workshop on Software Engineering for Parallel Systems (SEPS), co-located with ACM Conf. on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2016), Vancouver, Canada, October 22-27, 2017, PC member
- 11th ACM International Conference on Distributed and Event-Based Systems (DEBS 2017), Barcelona, Spain, June 19-23, 2017, PC member
- 6th Intl. Workshop on Multicore Software Engineering (IWMSE17) at Euro-Par 2017, 23rd Intl. Europ. Conf. on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28-29, 2017, PC member
- 27. PARS-Workshop 2017, Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware, Hagen, Germany, May 4-5, 2017, PC member
- 3rd Workshop on Software Engineering for Parallel Systems (SEPS), co-located with ACM Conf. on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2016), Amsterdam, The Netherlands, October 30 – November 4, 2016, PC member
- 5th Intl. Workshop on Multicore Software Engineering (IWMSE16) at Euro-Par 2016, 22nd Intl. Europ. Conf. on Parallel and Distributed Computing, Grenoble, France, August 22-26, 2016, PC member
- PASA 2016, 12th Workshop on Parallel Systems and Algorithms, at the International Conference on Architecture of Computing Systems (ARCS 2016), Nürnberg, Germany, April 4-5, 2016, PC member
- Intl. Conf. on Multicore Software Engineering, Performance, and Tools (MUSEPAT 2016), at the 31rd ACM/SIGAPP Symposium On Applied Computing, Pisa, Italy, April 4-8, 2016, PC member and Steering Committee member
- 2nd Workshop on Software Engineering for Parallel Systems (SEPS), co-located with ACM Conf. on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2015), Pittsburgh, PA, October 25-30, 2015, PC member
- 26. PARS-Workshop 2015, Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware, Potsdam, Germany, 7.-8. Mai 2015, PC member
- Intl. Conf. on Multicore Software Engineering, Performance, and Tools (MUSEPAT 2015), at the 30th ACM/SIGAPP Symposium On Applied Computing, Salamanca, Spain, April 13-17, 2015, PC member and Steering Committee member
- 1st Workshop on Software Engineering for Parallel Systems (SEPS), co-located with ACM Conf. on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2014), Portland, OR, October 21, 2014, PC member
- PASA 2014, 11th Workshop on Parallel Systems and Algorithms, Lübeck, Germany, Feb. 25-28, 2014
- IPDPS’14, 28th IEEE Intl. Parallel + Distributed Processing Symposium, Phoenix, AZ, May 19-23, 2014, PC member
- Intl. Conf. on Multicore Software Engineering, Performance, and Tools (MUSEPAT 2013), Saint Petersburg, Russia, Augsut, 21-23, PC and Steering-Committee member
- 25. PARS – Workshop, Erlangen, April 11-12, 2013, Co-Chair
- Workshop on Parallel and Distributed Programming at Euro-Par 2013, Aachen, Germany, August 26-30, 2013, Local PC chair
- IPDPS’13, 27th IEEE Intl. Parallel + Distributed Processing Symposium, Boston, MA, May 20-24, 2013, PC member
- ISMM’13, ACM Intl. Symp. on Memory Management, Seattle, WA, June 20-21, 2013, PC member
- MC’12, Facing the Multicore-Challenge III, September 19-21, 2012, PC member
- MSEPT’12, International Conference on Multicore Software Engineering, Performance, and Tools, at Tools 2012, Prague, Czech Republic, May 31, 2012, Organizer, PC Co-Chair
- PASA 2012, 10th Workshop on Parallel Systems and Algorithms, Munich, Germany, Feb. 28-29, 2012
- PADTAD IX, Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging at the Intl. Symp. on Software Testing and Analysis, Toronto, Canada, July 17, 2011
- 24. PARS – Workshop, Zürich, May 26-27, 2011
- 4th Intl. Systems and Storage Conference, SYSTOR 2011, Haifa, Israel, May 30-June 1, 2011
- 3rd Intl. Workshop on Multicore Software Engineering (IWMSE10) at 32st Intl. Conf. on Software Engineering (ICSE), Cape Town, South Africa, May 03, 2010, Organizer, PC Co-Chair
- 4th Intl. Workshop on Multicore Software Engineering (IWMSE11) at 33rd Intl. Conf. on Software Engineering (ICSE), Waikiki, Honolulu, Hawaii, May 21, 2011, Organizer, PC Co-Chair
- 2nd Intl. Workshop on Multicore Software Engineering (IWMSE09) at 31st Intl. Conf. on Software Engineering (ICSE), Vancouver, Canada, May 18, 2009
- IEEE International Parallel and Distributed Processing Symposium, IPDPS 2008, Miami, FL, April 14-18, 2008
- 3rd Intl. ACM SIGPLAN/SIGOPS Conf. on Virtual Execution Environments, VEE 2007, San Diego, CA, June 13-15, 2007
- 2006 Intl. Symp. on Parallel and Distributed Processing and Applications, ISPA 2006, Sorrento, Italy, Dec. 1-4, 2006
- 2006 High Performance Computing and Simulation Conference,
Bonn, May 28-30, 2006 - 5th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT’05), Athens, Greece, December 18-21, 2005
- International Conference on Parallel and Distributed Computing and Networks, PDCN 2005, Innsbruck, Austria, February 15-17, 2005
- International Conference on Compiler Construction, CC’05, Edinburgh, Scotland, April 4-5, 2005
- International Conference on High Performance Computing, Hyderabad, India, December 17-20, 2003
- Workshop on High-Performance Object-Oriented and Middleware Systems at Euro-Par 2003, Klagenfurt, Austria, August 26-29, 2003, Local PC Chair
- 5th International Workshop on Java for Parallel and Distributed Computing at IPDPS 2003, Nice, France, April 22-26, 2003
- Workshop on Parallel Programming: Models, Methods, and Programming Languages at Euro-Par 2002, Paderborn, Germany, August 27-30, 2002
- Fourth Workshop on Java for High-Performance Computing in conjunction with ACM International Conference on Supercomputing, ICS ’02, New York, USA, June 22-26, 2002
- 4th International Workshop on Java for Parallel and Distributed Computing at IPDPS 2002, Fort Lauderdale, USA, April 15-19, 2002
- Tenth IEEE International Symposium on High Performance Distributed Computing (HPDC-10), San Francisco, California, August 7-10, 2001
- Workshop on Object Oriented Architectures, Tools and Applications at Euro-Par 2001, Manchester, UK, August 28-31, 2001
- NET.OBJECTDAYS 2001, (Nachfolge JIT, DJEK, STIJA), Erfurt, Germany, September 10-13, 2001
- Workshop: Java in High Performance Computing at HPCN-Europe’01, Amsterdam, June 25-27, 2001
- Third Workshop on Java for High-Performance Computing in conjunction with ACM International Conference on Supercomputing, ICS ’01, Sorrento, Italy, June 16-21, 2001
- ACM 2001 Java Grande Conference, Stanford, California, June 2-4, 2001, PC Chair
- 3rd International Workshop on Java for Parallel and Distributed Computing at IPDPS 2001, San Francisco, California, April 23-27, 2001
- Workshop on Object Oriented Architectures, Tools and Applications at Euro-Par 2000, Munich, Germany, August 29-September 1, 2000, Local PC Chair
- NET.OBJECTDAYS 2000, (Nachfolge JIT, DJEK, STIJA), Erfurt, Germany, October 10-12, 2000
- ACM 2000 Java Grande Conference, San Francisco, California, June 3-4, 2000
- 2nd International Workshop on Java for Parallel and Distributed Computing at IPDPS 2000, Cancun, Mexico, May 1-5, 2000
- Workshop: Java in High Performance Computing at HPCN-Europe’00, Amsterdam, May 8-10, 2000
- Workshop on Java for High Performance Computing at
ICS Supercomputing 2000, Santa Fe, New Mexico, May 7, 2000 - TOOLS USA’99 (Technology of Object-Oriented Languages and Systems), Santa Barbara, California, August 2-6, 1999
- JIT’99 Java-Informations-Tage 1999, Düsseldorf, Germany, September 20-21, 1999
- Tutorial and Workshop on Java for High-Performance Computing at Supercomputing 99, Rhodes, Greece, June 19-20, 1999
- ACM 1999 Java Grande Conference, San Francisco, California, June 12-14, 1999
- Workshop: Java in High Performance Computing at HPCN-Europe’99, RAI Conference Center, Amsterdam, April 12-14, 1999
- International Workshop on Java for Parallel and Distributed Computing at IPDPS 1999 San Juan, Puerto Rico, April 12-16, 1999
- Asia Pacific Web Conference (APWeb98), Beijing, P.R. China, September 27-30, 1998
- TOOLS USA’98 (Technology of Object-Oriented Languages and Systems), Santa Barbara, California, August 3-7, 1998
- ACM 1998 Workshop on Java for High-Performance Network Computing, Palo Alto, California, February 28-March 1, 1998
Working groups, commissions, committees
Current:
- Vertrauensdozent der GI in Erlangen, seit 04/2004.
- Lehrbelastungskommission, seit 05/2002.
Former:
- Mitglied Berufungsausschuss W3 Data- und Software-Engineering (Nachfolge Leis), 12/2022-08/2024.
- Mitglied Berufungskommission W3 Informatik (Systemsoftware), Friedrich-Schiller Universität FSU Jena, 01/2020-06/2022
- Vorsitzender Berufungsausschuss W2 Didaktik der Informatik (Nachfolge Romeike), 11/2018-11/2019.
- Kommissarische Leitung der Professur für Didaktuk der Infrmatik, 10/2018-11/2019.
- Mitglied der Studienkommission Informatik, 11/2018-11/2019.
- Mitglied des Vorstands des Zentrums für Lehrerbildung, 10/2018-11/2019.
- Mitglied Berufungsausschuss W3 Experimentelle Astroteilchenphysik (Nachfolge Anton), 12/2017-05/2019.
- Mitglied Berufungsausschuss W3 Visual Computing (Nachfolge Greiner), 06/2016-12/2017.
- Mitglied der Raum- und Baukommission der Technischen Fakultät, 10/2013-04/2015.
- Stellvertretender Sprecher der Kollegialen Leitung des Department Informatik, 10/2011-09/2013.
- Kommissarische Leitung der Professur für Didaktik der Informatik, 08/2012-09/2013.
- Vorsitzender Berufungsverfahren W2-Professur Didaktik der Informatik (Nachfolge Brinda), 07/2012-02/2013.
- Mitglied der Prüfungsausschusses MA Internationale Wirtschaftsinformatik, 12/2008-11/2019.
- Mitglied der Berufungskommission W1-Professur für Digitalen Sport, 12/2009-02/2011.
- Mitglied der Berufungskommission W3-Professur für IT-Sicherheitsinfrastrukturen, 10/2009-12/2010.
- Schriftführer des Berufungsausschusses W2-Professur Open Source Software, 07/2008-09/2009.
- Externes Mitglied der Berufungskommission W3-Professur für Softwaresysteme an der Universität Passau, 06/2008-10/2008.
- Mitglied des Senats und des Hochschulrats der Friedrich-Alexander-Universität, 10/2007-09/2009.
- Mitglied des Fachbereichsrats der Technischen Fakultät, 10/2004-09/2009.
- Mitglied der Kommission zur Verteilung und Verwendung der Studienbeiträge der Informatik, 11/2006-09/2009 (für den Studiengang Informatik: 11/2006-09/2007, für den Studiengang IuK 10/2007-09/2009, 05/2010-09/2010)
- Mitglied der Berufungskommission W2-Professur für technisch-wissenschaftl. Höchstleistungsrechnen, 05/2006-12/2007.
- IT-Generalist der DFG-Expertenkommission zur Begleitung des Projekts Online-Wahl der Fachkollegien 2007, 04/2006-06/2008.
- Mitglied der Berufungskommission W2-Professur für Informatik (Datenbanksysteme, Nachfolge Jablonski), 01/2006-09/2007.
- Kommissarische Leitung des Lehrstuhls Informatik 3, Rechnerarchitektur, 10/2005-02/2009.
- Exportbeauftragter des Instituts für Informatik, 10/2005-11/2007.
- Arbeitsgruppe Bachelor/Master für den Studiengang Informatik, 05/2005-08/2007.
- Arbeitsgruppe Bachelor/Master für den Studiengang Informations- und Kommunikationstechnik, 05/2005-01/2006.
- Geschäftsführender Vorstand des Instituts für Informatik, 10/2004-09/2005.
- Mitglied der Strukturkommission der Technischen Fakultät, 10/2004-09/2005.
- Mitglied des Consilium Techfak, 10/2004-09/2005.
- Vorstand des Interdisziplinären Zentrums für funktionale Genomik, FUGE, 09/2004-06/2009.
- Arbeitsgruppe Bibliotheksmodernisierung, 04/2004-12/2012.
- Mitglied der Berufungskommission W3-Professur für Informatik (Rechnerarchitektur, Nachfolge Dal Cin), 11/2003-02/2009.
- Mitglied der Studienkommission Informations- und Kommunikationstechnik, 10/2003-09/2005.
- Mitglied der Studienkommission Wirtschaftsinformatik, seit 04/2002.
- Mitglied der Studienkommission Informatik, 04/2002-09/2011.
- Senatsberichterstatter Berufungsverfahren C3-Professur Organische Chemie (Nachf. Saalfrank), 08/2004-02/2005.
- Schriftführer Berufungsverfahren C3-Professur Didaktik der Informatik, 04/2004-03/2005.
- Mitglied der Berufungskommission C3-Professur für Informatik (Nachfolge Müller), 11/2003-07/2004.
- Mitglied der Berufungskommission C3-Professur für Numerische Simulation mit Höchstleistungsrechnern, 07/2002-01/2003.
- Mitglied der Berufungskommission C4-Professur für Informatik (Rechnernetze und Kommunikationssysteme), Nachfolge Herzog, 04/2002-02/2003.
Reviewing for journals
- ACM Transactions on Software Engineering and Methodology, TOSEM
- ACM Transactions on Programming Languages and Systems, TOPLAS
- IEEE Transactions on Parallel and Distributed Systems
- Journal of Parallel and Distributed Computing
- Concurrency – Practice and Experience
- Software – Practice and Experience
- Journal of Systems and Software
- Informatik-Spektrum
- Informatik – Forschung und Entwicklung
Memberships
- GI, Gesellschaft für Informatik, since 1987
- ACM, Association for Computing Machinery, since 1990
- IEEE, Institute of Electrical and Electronics Engineers, since 1993. Senior Member since 2020
Doctoral theses and postdoctoral dissertations
Supervised:
2024
- :
Detecting Unrealizable Bit Vector Program Synthesis Problems (Dissertation, 2024)
DOI: 10.25593/978-3-96147-794-4
URL: https://open.fau.de/handle/openfau/33619
BibTeX: Download
2023
- :
Visualisierung der Statik, Dynamik und Infrastruktur von Software mit Hilfe der Stadt‐Metapher (Dissertation, 2023)
URL: https://opus4.kobv.de/opus4-fau/files/23373/DissertationVeronikaDashuberPress.pdf
BibTeX: Download
2022
- :
Ein datenparalleler Ansatz zur Beschleunigung von Datenflussanalysen mittels GPU (Dissertation, 2022)
DOI: 10.25593/978-3-96147-494-3
BibTeX: Download
2021
- :
Datengetriebene Methoden zur Bestimmung von Position und Orientierung in funk‐ und trägheitsbasierter Koppelnavigation (Dissertation, 2021)
URL: https://nbn-resolving.org/urn:nbn:de:bvb:29-opus4-173550
BibTeX: Download
2019
- :
Effiziente Speicherung von Zeitreihen mit Betriebsdaten aus Software-Systemen zur Analyse von Laufzeitanomalien (Dissertation, 2019)
URL: http://www.shaker.de/shop/978-3-8440-6785-9
BibTeX: Download
2018
- :
Learning Code Transformations from Repositories (Dissertation, 2018)
DOI: 10.25593/978-3-96147-142-3
BibTeX: Download
2017
- :
Modellierung und effiziente Ausführung von Softwareentwicklungsprozessen (Dissertation, 2017)
URL: http://nbn-resolving.de/urn:nbn:de:bvb:29-opus4-82628
BibTeX: Download - :
Eine domänenspezifische Sprache zur Analyse von Software-Verfolgbarkeitsinformationen (Dissertation, 2017)
URL: https://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8440-5689-1&search=yes
BibTeX: Download
2014
- :
Compiler and Runtime Techniques to Identify and Optimize Atomic Blocks in Parallel Programs (Dissertation, 2014)
BibTeX: Download - :
Latency Minimization of Order-Preserving Distributed Event-Based Systems (Dissertation, 2014)
BibTeX: Download
2012
- :
Modellbasierte Extraktion, Repräsentation und Analyse von Traceability-Informationen (Dissertation, 2012)
URL: https://www2.cs.fau.de/publication/download/2012_Dissertation_JosefAdersberger.pdf
BibTeX: Download - :
Dynamische probabilistische Bewegungsmodelle mittels Verhaltensmodellierung (Dissertation, 2012)
BibTeX: Download
2010
- :
Graphbasierte Prozedurale Abstraktion (Dissertation, 2010)
BibTeX: Download - :
Improved DSM Efficiency, Flexibility, and Correctness (Habilitation, 2010)
URL: https://opus4.kobv.de/opus4-fau/files/1543/paper.pdf
BibTeX: Download - :
Attribute Grammar Based Genetic Programming (Dissertation, 2010)
BibTeX: Download
2009
- :
Reparallelization and Migration of OpenMP Applications in Grid Environments (Dissertation, 2009)
BibTeX: Download - :
Ein agentenbasierter evolutionärer Adaptions- und Optimierungsansatz für verteilte Systeme (Dissertation, 2009)
BibTeX: Download - :
Dynamische Programm-Code-Verwaltung und -Optimierung für eingebettete Systeme (Dissertation, 2009)
URL: http://www.opus.ub.uni-erlangen.de/opus/volltexte/2009/1544/pdf/DominicSchellDissertation.pdf
BibTeX: Download
2007
- :
Automatische Generierung optimaler struktureller Testdaten für objekt-orientierte Software mittels multi-objektiver Metaheuristiken (Dissertation, 2007)
URL: https://www.ps.tf.fau.de/files/2020/04/norbertoster_dissertation2007.pdf
BibTeX: Download
2006
- :
Optimisation of the Allocation of Functions in Vehicle Networks (Dissertation, 2006)
URL: http://www2.informatik.uni-erlangen.de/publication/download/diss-hardung.pdf
BibTeX: Download - :
Modellbasierte Generierung von Beherrschungsmechanismen für Inkonsistenzen in komponentenbasierten Systemen (Dissertation, 2006)
BibTeX: Download
2004
- :
Advanced Compiling Techniques to reduce RAM Usage of Static Operating Systems (Dissertation, 2004)
URL: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/65
BibTeX: Download - :
Syntaxanalyse auf Basis der Dependenzgrammatik (Dissertation, 2004)
BibTeX: Download
2003
- :
Ein Modell zur Beschreibung und Lösung von Zeitplanungsproblemen (Dissertation, 2003)
BibTeX: Download - :
Erfolge und Probleme evolutionärer Algorithmen, induktiver logischer Programmierung und ihrer Kombination (Habilitation, 2003)
BibTeX: Download - :
Ein sprachunabhängiger Ansatz zur Entwicklung deklarativer, robuster LA-Grammatiken mit einer exemplarischen Anwendung auf das Deutsche und das Englische (Dissertation, 2003)
BibTeX: Download
2002
- :
Integrierte Hardware- und Softwareplanung flexibler Fertigungssysteme (Dissertation, 2002)
BibTeX: Download - :
Structural Coverage Criteria for Testing Object-Oriented Software (Dissertation, 2002)
BibTeX: Download
Own:
2001
- :
Leistungsaspekte Paralleller Objektorientierter Programmiersprachen (Habilitation, 2001)
BibTeX: Download
1994
- :
Optimierungstechniken zur Übersetzung paralleler Programmiersprachen (Dissertation, 1994)
BibTeX: Download
Student theses
Our thesis are managed using StudOn.
Please use the available filters to search for specific entries.
Student theses at KIT (Karlsruhe)
- Marqc Schanne: Software-Architekturen für lokalitätsabhägige Diensterbringung auf mobilen Endgeräten. [DA]
Betreuer: Philippsen, M.: abgeschlossen 2002 - Sven Buth: Persistenz von verteilten Objekten im Rahmen eines offenen, verteilten eCommerce-Frameworks. [DA]
Betreuer: Philippsen, M.: abgeschlossen 2002 - Jochen Reber: Verteilter Garbage Collector für JavaParty. [SA]
Betreuer: Philippsen, M.: abgeschlossen 2000 - Thorsten Schlachter: Entwicklung eines Java-Applets zur diagrammbasierten Navigation innerhalb des WWW. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1999 - Edwin Günthner: Komplexe Zahlen für Java. [DA]
Betreuer: Philippsen, M.: abgeschlossen 1999 - Christian Nester: Ein flexibles RMI Design für eine effiziente Cluster Computing Implementierung. [DA]
Betreuer: Philippsen, M. abgeschlossen 1999 - Daniel Lukic: ParaStation-Anbindung für Java. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1998 - Jörg Afflerbach: Vergleich von verteilten JavaParty-Servlets mit äquivalenten CGI-Skripts. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1998 - Thomas Dehoust: Abbildung heterogener Datensätze in Java. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1998 - Guido Malpohl: Erkennung von Plagiaten unter einer Vielzahl von ähnlichen Java-Programmen. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1997 - Bernhard Haumacher: Lokalitätsoptimierung durch statische Typanalyse in JavaParty. [DA]
Betreuer: Philippsen, M.: abgeschlossen 1997 - Matthias Kölsch: Dynamische Datenobjekt- und Threadverteilung in JavaParty. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1997 - Christian Nester: Parallelisierung rekursiver Benchmarks für JavaParty mit expliziter Datenobjekt- und Threadverteilung. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1997 - Matthias Jacob: Parallele Realisierung geophysikalischer Basisalgorithmen in JavaParty. [DA]
Betreuer: Philippsen, M.: abgeschlossen 1997 - Oliver Reiff: Optimierungsmöglichkeiten für Java-Bytecode. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1996 - Marc Schanne: Laufzeitverhalten und Portierungsaspekte der Java-VM und ausgewählter Java-Bibliotheken. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1996 - Edwin Günthner: Portierung der Java VM auf den Multimedia Video Prozessor MVP TMS320C80. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1996 - Matthias Zenger: Transparente Objektverteilung in Java. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1996 - Matthias Winkel: Erweiterung von Java um ein FORALL. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1996 - Roland Kasper: Modula-2*-Benchmarks in einem Netz von Arbeitsplatzrechnern. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1993 - Markus Mock: Alignment in Modula-2*. [DA]
Betreuer: Philippsen, M.: abgeschlossen 1992 - Stefan Hänßgen: Ein symbolishcer X Windows Debugger für Modula-2*. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1992 - Paul Lukowicz: Code-Erzeugung für Modula-2* für verschiedene Maschinenarchitekturen. [DA]
Betreuer: Philippsen, M.: abgeschlossen 1992 - Hendrik Mager: Die semantische Analyse von Modula-2*. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1992 - Ernst Heinz: Automatische Elimination von Synchronisationsbarriere in synchronen FORALLs. [DA]
Betreuer: Philippsen, M.: abgeschlossen 1991 - Stephan Teiwes: Die schnellste Art zu multiplizieren? – Der Algorithmus von Schönhage und Strassen auf der Connection Machine. [SA]
Betreuer: Philippsen, M.: abgeschlossen 1991 - Ralf Kretzschmar: Ein Modula-2*-Übersetzer für die Connection Machine. [DA]
Betreuer: Philippsen, M.: abgeschlossen 1991
Professional career
| 04/02 – heute | Full Professor (W3), Chair of the Programming Systems Group (Informatik 2) of the Friedrich-Alexander Universität Erlangen-Nürnberg, Germany |
|---|---|
| 06/10 | Rejected appointment as Full Professor (W3) for Parallel and Distributed Architectures at the Johannes-Gutenberg University Mainz |
| 01/98 – 03/02 | Department manager of the Softwaretechnik/Authorized Java Center group at FZI Forschungszentrum Informatik, Karlsruhe, Germany |
| 09/95 – 09/01 | Assistant Professor (Hochschulassistent, C1) at IPD, Institute for Programming Systems, Chair of Prof. Tichy, at KIT, Karlsruhe Institute of Technology |
| 09/94 – 08/95 | Post-Doc at ICSI (International Computer Science Institute) of the University of Berkeley, California |
| 02/90 – 08/94 | Research Assistant (BAT IIa) and PhD student at IPD, Institute for Programming Systems, Chair of Prof. Tichy, at KIT, Karlsruhe Institute of Technology |
Education
| 07/01 | Habilitation in Computer Science at KIT, Karlsruhe Institute of Technology, Topic: Performance Aspects of Parallel Object-Oriented Programming Languages. | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 11/93 | PhD (Dr. rer. nat.) in Computer Science (summa cum laude), at KIT, Karlsruhe Institute of Technology, Topic: Optimization Techniques for Compiling Parallel Programming Languages; Advisors: Prof. Dr. Walter F. Tichy and Prof. Dr. G. Goos | ||||||||||||
| WS 85/86 – 89/90 | Diplom (BA and MA) in Computer Science with Minor Industrial Engineering and Management (Wirtschaftsingenieurwesen), at KIT, Karlsruhe Institute of Technology
|
||||||||||||
| 05/85 | Abitur (secondary school exam/university entrance level qualification), (1.6, third of class of 1985) | ||||||||||||
| 08/76 – 05/85 | Theodor-Heuss-Gymnasium, Essen-Kettwig, Germany | ||||||||||||
| 08/72 – 06/76 | Schmachtenbergschule, Kettwig, Germany |
Prizes, awards, nominations
| 2021 |
|
| 2023 |
|
| 2019 |
|
| 2015 |
|
| 2014 | von der Technischen Fakultät der Friedrich-Alexander Universität Erlangen-Nürnberg und ihrer Fachschaft Informatik nominiert für den Ars legendi-Preis für exzellente Hochschullehre des Stifterverbands und der Hochschulrektorenkonferenz |
| 2008 |
|
| 2008 |
|
International experience
| 05/15 – 16/15 | ICSI (International Computer Science Institute) of UCB, University of Berkeley, CA |
|---|---|
| 12/10 – 03/11 | Microsoft Research, Research in Software Engineering (RiSE) Group, Redmond, WA |
| 09/94 – 08/95 | ICSI (International Computer Science Institute) of UCB, University of Berkeley, CA |
| 02/96 – 04/96 | another research stay at ICSI in Berkeley, CA |
| 02/92 – 03/92 | Research stay at INRIA (Institut National de Recherche en Informatique et en Automatique), Sophia Antipolis, France |
| 02/91 – 03/91 | another research stay at INRIA in Sophia Antipolis, France |
| 02/90 – heute | Countless trips to international scientific conferences to give formal presentations |
Consulting
| 04/91 – heute | Self-empoyed management consulting and expert’s reports for various industry and crafts enterprises |
|---|---|
| 10/99 – 01/13 | Design and development of a use-case specific Content-Management-Systems; for ISO Arzneimittel GmbH & Co. KG |
| 12/95 – 12/97 | Design and development of a Java extension for scalable Internet services and electronic trade; .for Electric Communities, CA |
| 01/96 – 05/96 | Design of an applicaiton for Mercedes-Benz Lease & Finanz GmbH (now Mercedes-Benz-Bank AG) |
| 07/85 – 03/91 | Working student at Stinnes Organisationsberatung GmbH, various tasks across both Stinnes AG (now DB Schenker AG) and Veba AG (now E.ON AG) |
| 01/84 – 12/86 | Freelance system analyst and software developer at the headquarter of Horten AG (now Galeria Karstadt Kaufhof GmbH) |
| 07/84 – 08/84 | Working student at Brenntag Mineralöl GmbH; analysis and black box testing of an externally procured merchandise planning and control system |
Software-Wasserzeichen
(Projekt aus Eigenmitteln)
Projektleitung:
Projektbeteiligte: ,
Projektstart: 01.01.2016
Akronym: SoftWater
URL: https://www.ps.tf.fau.de/forschung/forschungsprojekte/softwater/
Abstract:
Unter Software-Wasserzeichnen versteht man das Verstecken von ausgewählten Merkmalen in Programme, um sie entweder zu identifizieren oder zu authentifizieren. Das ist nützlich im Rahmen der Bekämpfung von Software-Piraterie, aber auch um die richtige Nutzung von Open-Source Projekten (wie zum Beispiel unter der GNU Lizenz stehende Projekte) zu überprüfen. Die bisherigen Ansätze gehen davon aus, dass das Wasserzeichen bei der Entwicklung des Codes hinzugefügt wird und benötigen somit das Verständnis und den Beitrag der Programmierer für den Einbettungsprozess. Ziel unseres Forschungsprojekts ist es, ein Wasserzeichen-Framework zu entwickeln, dessen Verfahren automatisiert beim Übersetzen des Programms Wasserzeichen sowohl in neu entwickelte als auch in bestehende Programme hinzufügen. Als ersten Ansatz untersuchten wir eine Wasserzeichenmethode, die auf einer symbolischen Ausführung und anschließender Funktionsynthese basiert.
Im Jahr 2018 wurden im Rahmen von zwei Bachelorarbeiten Methoden zur symbolischen Ausführung und Funktionssynthese untersucht, um zu ermitteln, welche sich für unseren Ansatz am Besten eignet.
Im Jahr 2019 wurde ein Ansatz auf Basis der LLVM Compiler Infrastruktur untersucht, der mittels konkolischer Ausführung (concolic execution, eine Kombination aus symbolischer und konkreter Ausführung) ein Wasserzeichen in einem ungenutzten Hardwareregister versteckt. Hierzu wurde der LLVM-Registerallokator dahingehend verändert, dass er ein Register für das Wasserzeichen freihält.
Im Jahr 2020 wurde das inzwischen LLWM genannte Rahmenprogramm für das automatische Einfügen von Software-Wasserzeichen in Quellcode auf Basis der LLVM Compiler Infrastruktur um weitere dynamische Verfahren erweitert. Grundlage der hinzugefügten Verfahren sind, unter anderem, das Ersetzen/Verschleiern von Sprungadressen sowie Modifikationen des Aufrufgraphen.
Im Jahr 2021 wurde das Rahmenprogramm LLWM um weitere angepasste, bereits in der Literatur bekannte, dynamische Verfahren sowie um das eigene Verfahren erweitert, das wir nun IR-Mark nennen Die hinzugefügten Verfahren basieren unter anderem auf der Umwandlung von bedingten Konstrukten in semantisch äquivalenten Schleifen oder auf Integrieren von Hashfunktionen, die die Funktionalität des Programms unverändert lassen, die Widerstandsfähigkeit aber erhöhen. IR-Mark wählt nun nicht nur gezielt die wenigen Funktionen aus, in denen die Registerverwendung bei der Code. Erzeugung verändert wird, sondern umfasst nun auch dynamische Aspekte um in den freigehaltenen Registern sinnvoll erscheinende Tarnwerte zu berechnen. Ein Artikel über LLWM und IR-Mark konnte publiziert werden.
Im Jahr 2022 wurde das Rahmenprogramm LLWM um ein weiteres angepasstes Verfahren ergänzt. Die Methode nutzt Ausnahmebehandlungen, um das Wasserzeichen zu tarnen.
Im Jahr 2023 wurden mehr Methoden angepasst, um das LLWM-Framework zu erweitern. Hierzu zählen Techniken zum Einbetten, die auf Prinzipien der Zahlentheorie und des Aliasings beruhen.
Im Jahr 2024 wurden drei neue Wasserzeichen entwickelt: Register Expansion, SemaCall und SideData. Diese Techniken konstruieren streufunktionsartige Arithmetiken, um während der Laufzeit einen Schlüsselwert in die Wasserzeichennachricht umzurechnen. Die ersten beiden Techniken wurden in dem Papier „Register Expansion and SemaCall: 2 Low-overhead Dynamic Watermarks Suitable for Automation in LLVM” auf dem CheckMATE’24 Workshop in Salt Lake City publiziert.
Im Jahr 2025 wurde das erweiterte Papier “Register Expansion, SemaCall, and SideData: Three Low-Overhead Dynamic Watermarks Suitable for Automation in LLVM” in dem DTRAP-Journal publiziert. Es wurde eine neue Wasserzeichentechnik entwickelt, die ein unentscheidbares Problem benutzt, um Wasserzeichen in Programme einzubetten. Es wird an automatisierten Angriffstechniken auf Basis von LLMs (Large Language Model) und Testfall Reduzierern gearbeitet, die erlauben, die Resilienz einzelner Wasserzeichentechniken empirisch zu vermessen.
Publikationen:
- , , :
LLWM & IR-Mark: Integrating Software Watermarks into an LLVM-based Framework
ACM SIGSAC Conference on Computer and Communications Security (CCS’21), Workshop on Offensive and Defensive Techniques in the Context of Man At The End (MATE) Attacks (Checkmate ’21) (Republic of Korea, 19.11.2021 – 19.11.2021)
In: Checkmate ’21: Proceedings of the 2021 Research on offensive and defensive techniques in the Context of Man At The End (MATE) Attacks, New York: 2021
DOI: 10.1145/3465413.3488576
BibTeX: Download - , , :
Register Expansion and SemaCall: 2 Low-overhead Dynamic Watermarks Suitable for Automation in LLVM
ACM SIGSAC Conference on Computer and Communications Security (CCS’24), Workshop on Offensive and Defensive Techniques in the Context of Man At The End (MATE) attacks (Checkmate ’24) (Salt Lake City, UT, 18.10.2024 – 18.10.2024)
In: CheckMATE ’24: Proceedings of the 2024 Research on offensive and defensive techniques in the context of Man At The End (MATE) attacks, New York: 2024
DOI: 10.1145/3689934.3690815
URL: https://dl.acm.org/doi/10.1145/3689934.3690815#
BibTeX: Download - , , , , :
Register Expansion and SemaCall: 2 low-overhead dynamic Watermarks suitable for Automation in LLVM [Source code and Raw Experiment data]
(2024)
DOI: 10.5281/zenodo.13337275
BibTeX: Download - :
Erweiterung eines Rahmenprogramms für das automatische Einfügen von Software- Wasserzeichen in Quellcode (Master thesis, 2024)
URL: https://github.com/FAU-Inf2/LLWM/blob/main/semacall + register-expansion + sidedata/thesis-1.pdf
BibTeX: Download - , , , , :
Register Expansion, SemaCall, and SideData: 3 Low-overhead Dynamic Watermarks Suitable for Automation in LLVM [Source code and Raw Experiment data]
(2024)
DOI: 10.5281/zenodo.14234819
BibTeX: Download - , , :
Register Expansion, SemaCall, and SideData: Three Low-Overhead Dynamic Watermarks Suitable for Automation in LLVM
In: Digital Threats: Research and Practice 6 (2025), S. 1-22
ISSN: 2576-5337
DOI: 10.1145/3743152
URL: https://dl.acm.org/doi/10.1145/3743152
BibTeX: Download