Michael Philippsen

Orcid: 0000-0002-3202-2904

Affiliations:
  • University of Erlangen-Nuremberg, Programming Systems Group, Germany
  • University of Karlsruhe, Institute for Program Structures and Data Organization, Germany


According to our database1, Michael Philippsen authored at least 128 papers between 1991 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Employing polyhedral methods to optimize stencils on FPGAs with stencil-specific caches, data reuse, and wide data bursts.
CoRR, 2024

Practical Flaky Test Prediction using Common Code Evolution and Test History Data.
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

2023
Multipurpose Cacheing to Accelerate OpenMP Target Regions on FPGAs.
Proceedings of the OpenMP: Advanced Task-Based, Device and Compiler Programming, 2023

2022
Static and Dynamic Dependency Visualization in a Layered Software City.
SN Comput. Sci., 2022

Trace visualization within the Software City metaphor: Controlled experiments on program comprehension.
Inf. Softw. Technol., 2022

Employing Polyhedral Methods to Reduce Data Movement in FPGA Stencil Codes.
Proceedings of the Languages and Compilers for Parallel Computing, 2022

Reducing OpenMP to FPGA Round-Trip Times with Predictive Modelling.
Proceedings of the OpenMP in a Modern World: From Multi-device Support to Meta Programming, 2022

2021
Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Trace Visualization within the Software City Metaphor: A Controlled Experiment on Program Comprehension.
Proceedings of the Working Conference on Software Visualization, 2021

The ORKA-HPC Compiler - Practical OpenMP for FPGAs.
Proceedings of the Languages and Compilers for Parallel Computing, 2021

A Layered Software City for Dependency Visualization.
Proceedings of the 16th International Joint Conference on Computer Vision, 2021

Cloud Cost City: A Visualization of Cloud Costs using the City Metaphor.
Proceedings of the 16th International Joint Conference on Computer Vision, 2021

Test Case Reduction: A Framework, Benchmark, and Comparative Study.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

LLWM & IR-Mark: Integrating Software Watermarks into an LLVM-based Framework.
Proceedings of the Checkmate@CCS 2021, 2021

2020
RNN-Aided Human Velocity Estimation from a Single IMU.
Sensors, 2020

Language-Agnostic Generation of Compilable Test Programs.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Towards Collaborative and Dynamic Software Visualization in VR.
Proceedings of the 15th International Joint Conference on Computer Vision, 2020

Localization Limitations of ARCore, ARKit, and Hololens in Dynamic Large-scale Industry Environments.
Proceedings of the 15th International Joint Conference on Computer Vision, 2020

2019
Sick Moves! Motion Parameters as Indicators of Simulator Sickness.
IEEE Trans. Vis. Comput. Graph., 2019

SeSaMe: a data set of semantically similar Java methods.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

OpenMP on FPGAs - A Survey.
Proceedings of the OpenMP: Conquering the Full Hardware Spectrum, 2019

A Bidirectional LSTM for Estimating Dynamic Human Velocities from a Single IMU.
Proceedings of the 2019 International Conference on Indoor Positioning and Indoor Navigation, 2019

GPU-accelerated fixpoint algorithms for faster compiler analyses.
Proceedings of the 28th International Conference on Compiler Construction, 2019

Which Graph Representation to Select for Static Graph-Algorithms on a CUDA-capable GPU.
Proceedings of the 12th Workshop on General Purpose Processing Using GPUs, 2019

2018
Optical Camera Communication for Active Marker Identification in Camera-based Positioning Systems.
Proceedings of the 15th Workshop on Positioning, Navigation and Communications, 2018

Head-to-Body-Pose Classification in No-Pose VR Tracking Systems.
Proceedings of the 2018 IEEE Conference on Virtual Reality and 3D User Interfaces, 2018

Human Compensation Strategies for Orientation Drifts.
Proceedings of the 2018 IEEE Conference on Virtual Reality and 3D User Interfaces, 2018

Recurrent Neural Networks on Drifting Time-of-Flight Measurements.
Proceedings of the 2018 International Conference on Indoor Positioning and Indoor Navigation, 2018

Supervised Learning for Yaw Orientation Estimation.
Proceedings of the 2018 International Conference on Indoor Positioning and Indoor Navigation, 2018

2017
Acoustical manipulation for redirected walking.
Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology, 2017

More accurate recommendations for method-level changes.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Efficient Inspected Critical Sections in Data-Parallel GPU Codes.
Proceedings of the Languages and Compilers for Parallel Computing, 2017

Chronix: Long Term Storage and Retrieval Technology for Anomaly Detection in Operational Data.
Proceedings of the 15th USENIX Conference on File and Storage Technologies, 2017

Diff Graphs for a fast Incremental Pointer Analysis.
Proceedings of the 12th Workshop on Implementation, 2017

AuDoscore: Automatic Grading of Java or Scala Homework.
Proceedings of the Third Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2017), 2017

2016
Automatic clustering of code changes.
Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Move-optimized source code tree differencing.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015
Fast and Efficient Operational Time Series Storage: The Missing Link in Dynamic Software Analysis.
Softwaretechnik-Trends, 2015

Concurrent Computing in the Many-core Era (Dagstuhl Seminar 15021).
Dagstuhl Reports, 2015

Rahmenwerk zur Ausreißererkennung in Zeitreihen von Software-Laufzeitdaten.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Approximative event processing on sensor data streams.
Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, 2015

2014
Adaptive Speculative Processing of Out-of-Order Event Streams.
ACM Trans. Internet Techn., 2014

A Modular and Statically Typed Effectful Stack for Custom Graph Traversals.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Using multi level-modeling techniques for managing mapping information.
Proceedings of the Workshop on Multi-Level Modelling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Simultaneous Inspection: Hiding the Overhead of Inspector-Executor Style Dynamic Parallelization.
Proceedings of the Languages and Compilers for Parallel Computing, 2014

Predictive load management in smart grid environments.
Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

2013
Runtime migration of stateful event detectors with low-latency ordering constraints.
Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013

Combining Lock Inference with Lock-Based Software Transactional Memory.
Proceedings of the Languages and Compilers for Parallel Computing, 2013

Distributed Low-Latency Out-of-Order Event Processing for High Data Rate Sensor Streams.
Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013

Topic 9: Parallel and Distributed Programming - (Introduction).
Proceedings of the Euro-Par 2013 Parallel Processing, 2013

Demo: do event-based systems have a passion for sports?
Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems, 2013

Reliable speculative processing of out-of-order event streams in generic publish/subscribe middlewares.
Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems, 2013

Compiler-Guided Identification of Critical Sections in Parallel Code.
Proceedings of the Compiler Construction - 22nd International Conference, 2013

Object Support for OpenMP-style Programming of GPU Clusters in Java.
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

Evolutionary algorithms that use runtime migration of detector processes to reduce latency in event-based systems.
Proceedings of the 2013 NASA/ESA Conference on Adaptive Hardware and Systems, 2013

2012
TracQL: A Domain-Specific Language for Traceability Analysis.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Parallel memory defragmentation on a GPU.
Proceedings of the 2012 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '12, 2012

Annotation support for generic patches.
Proceedings of the Third International Workshop on Recommendation Systems for Software Engineering, 2012

Learning event detection rules with noise hidden Markov models.
Proceedings of the 2012 NASA/ESA Conference on Adaptive Hardware and Systems, 2012

2011
JavaParty.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Eine hybride funktionale und Objekt-orientierte Sprache für eine Multi-Core Zukunft (A Hybrid Functional and Object-Oriented Language for a Multi-Core Future).
it Inf. Technol., 2011

Structural Equivalence Partition and Boundary Testing.
Proceedings of the Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik, 2011

CellCilk: Extending Cilk for Heterogeneous Multicore Platforms.
Proceedings of the Languages and Compilers for Parallel Computing, 2011

Double Inspection for Run-Time Loop Parallelization.
Proceedings of the Languages and Compilers for Parallel Computing, 2011

Iterative data-parallel mark&sweep on a GPU.
Proceedings of the 10th International Symposium on Memory Management, 2011

A statically typed query language for property graphs.
Proceedings of the 15th International Database Engineering and Applications Symposium (IDEAS 2011), September 21, 2011

Fourth international workshop on multicore software engineering: (IWMSE 2011).
Proceedings of the 33rd International Conference on Software Engineering, 2011

Enabling Multiple Accelerator Acceleration for Java/OpenMP.
Proceedings of the 3rd USENIX Workshop on Hot Topics in Parallelism, 2011

ReflexML: UML-Based Architecture-to-Code Traceability and Consistency Checking.
Proceedings of the Software Architecture - 5th European Conference, 2011

A FUML-Based Distributed Execution Machine for Enacting Software Process Models.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

2010
New Horizons in Multicore Software Engineering.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

eSPEM - A SPEM Extension for Enactable Behavior Modeling.
Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

2009
Reparallelization techniques for migrating OpenMP codes in computational grids.
Concurr. Comput. Pract. Exp., 2009

A meta-predictor framework for prefetching in object-based DSMs.
Concurr. Comput. Pract. Exp., 2009

Safe and Familiar Multi-core Programming by Means of a Hybrid Functional and Imperative Language.
Proceedings of the Languages and Compilers for Parallel Computing, 2009

Dynamic code footprint optimization for the IBM Cell Broadband Engine.
Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, 2009

Tapir: Language Support to Reduce the State Space in Model-Checking.
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2008
Dagma: Mining Directed Acyclic Graphs.
Proceedings of the IADIS European Conference on Data Mining 2008, 2008

Automatic Prefetching with Binary Code Rewriting in Object-Based DSMs.
Proceedings of the Euro-Par 2008, 2008

2007
JaMP: an implementation of OpenMP for a Java DSM.
Concurr. Comput. Pract. Exp., 2007

Evaluation of RDMA Opportunities in an Object-Oriented DSM.
Proceedings of the Languages and Compilers for Parallel Computing, 2007

Supporting Huge Address Spaces in a Virtual Machine for Java on a Cluster.
Proceedings of the Languages and Compilers for Parallel Computing, 2007

Esodyp+: Prefetching in the Jackal Software DSM.
Proceedings of the Euro-Par 2007, 2007

Graph-Based Procedural Abstraction.
Proceedings of the Fifth International Symposium on Code Generation and Optimization (CGO 2007), 2007

Reparallelization and Migration of OpenMP Programs.
Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 2007

2006
The ParMol Package for Frequent Subgraph Mining.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Mining Molecular Datasets on Symmetric Multiprocessor Systems.
Proceedings of the IEEE International Conference on Systems, 2006

A Proposal for OpenMP for Java.
Proceedings of the OpenMP Shared Memory Parallel Programming - International Workshops, 2006

2005
A Quantitative Comparison of the Subgraph Miners MoFa, gSpan, FFSM, and Gaston.
Proceedings of the Knowledge Discovery in Databases: PKDD 2005, 2005

Parallel Mining for Frequent Fragments on a Shared-Memory Multiprocessor - Results and Java-Obstacles.
Proceedings of the Lernen, 2005

Near Overhead-free Heterogeneous Thread-migration.
Proceedings of the 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26, 2005

2003
A controlled experiment on inheritance depth as a cost factor for code maintenance.
J. Syst. Softw., 2003

Compiler Optimized Remote Method Invocation.
Proceedings of the 2003 IEEE International Conference on Cluster Computing (CLUSTER 2003), 2003

2002
Two Controlled Experiments Assessing the Usefulness of Design Pattern Documentation in Program Maintenance.
IEEE Trans. Software Eng., 2002

Finding Plagiarisms among a Set of Programs with JPlag.
J. Univers. Comput. Sci., 2002

Internetwahlen - Demokratische Wahlen über das Internet?
Inform. Spektrum, 2002

2001
Verschiedene Realisierungmöglichkeiten für komplexe Zahlen in Java im Vergleich (Comparison of various approaches to make complex numbers available in Java).
Informationstechnik Tech. Inform., 2001

Java and numerical computing.
Comput. Sci. Eng., 2001

Multiparadigm communications in Java for grid computing.
Commun. ACM, 2001

Java Communications for Large-Scale Parallel Computing.
Proceedings of the Large-Scale Scientific Computing, Third International Conference, 2001

2000
JavaGrande - Hochleistungsrechnen mit Java.
Inform. Spektrum, 2000

More efficient serialization and RMI for Java.
Concurr. Pract. Exp., 2000

Locality optimization in JavaParty by means of static type analysis.
Concurr. Pract. Exp., 2000

Complex numbers for Java.
Concurr. Pract. Exp., 2000

A survey of concurrent object-oriented languages.
Concurr. Pract. Exp., 2000

Cooperating distributed garbage collectors for clusters and beyond.
Concurr. Pract. Exp., 2000

JavaGrande - High Performance Computing with Java.
Proceedings of the Applied Parallel Computing, 2000

1999
Effizientes RMI für Java.
Proceedings of the JIT '99, 1999

Komplexe Zahlen für Java.
Proceedings of the JIT '99, 1999

A More Efficient RMI for Java.
Proceedings of the ACM 1999 Conference on Java Grande, JAVA '99, San Francisco, CA, USA, 1999

More Efficient Object Serialization.
Proceedings of the Parallel and Distributed Processing, 1999

Irregular Parallel Algorithms in JAVA.
Proceedings of the Parallel and Distributed Processing, 1999

JAVA as a Basis for Parallel Data Mining in Workstation Clusters.
Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999

1998
Forschungsprojekte des Lehrstuhls für Programmiersysteme der Universität Karlsruhe (TH).
Inform. Forsch. Entwickl., 1998

Fallstudie: Parallele Realisierung geophysikalischer Basisalgorithmen in Java.
Inform. Forsch. Entwickl., 1998

Large-scale parallel geophysical algorithms in Java: a feasibility study.
Concurr. Pract. Exp., 1998

JavaParty - portables paralleles und verteiltes Programmieren in Java.
Proceedings of the JIT '98, 1998

1997
JavaParty - Transparent Remote Objects in Java.
Concurr. Pract. Exp., 1997

1995
Automatic Alignment of Array Data and Processes to Reduce Communication Time on DMPPs.
Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1995

1994
Optimierungstechniken zur Übersetzung paralleler Programmiersprachen.
PhD thesis, 1994

Data and Process Alignment in Modula-2.
Proceedings of the Automatic Parallelization: New Approaches to Code Generation, 1994

1993
Compiling Machine-Independent Parallel Programs.
ACM SIGPLAN Notices, 1993

1992
Projekt Triton: Beiträge zur Verbesserung der Programmierbarkeit hochparalleler Rechensysteme.
Inform. Forsch. Entwickl., 1992

1991
Hochgradiger Parallelismus.
Proceedings of the Fifteenth Conference on Supercomputers and Applications, 1991

Discussion: Parallelism
Proceedings of the Code Generation, 1991

Compiling for Massively Parallel Machines.
Proceedings of the Code Generation, 1991

MODULA-2 and Its Compilation.
Proceedings of the Parallel Computation, First International ACPC Conference, Salzburg, Austria, September 30, 1991


  Loading...