Lehrstuhl für Informatik 2 (Programmiersysteme)


Beschreibung:


Seit Prof. Dr. Michael Philippsen 2002 die Leitung des 1972 gegründeten Lehrstuhls übernommen hat, stehen Programmiersysteme für heterogene Multicore-Rechner im Zentrum der Forschungsarbeiten des Lehrstuhls.

Bis 2014/2015 standen dabei vor allem systemnahe Forschungsthemen im Vordergrund, die näher an der Hardware, den Laufzeitsystemen, den unterliegenden Betriebssystemen und der Frage der Programmierung dieser Rechensysteme ausgerichtet waren. Es ging dem Lehrstuhl bisher insbesondere darum, das Parallelisierungspotential einer Anwendung verlustarm an die in der Hardware vorhandene Parallelität anzupassen und die von der Hardware bereitgestellten Möglichkeiten effizient nutzbar zu machen.  Weil diese systemnahen Fragen noch immer von aktueller Bedeutung sind, werden sie auch in Zukunft in einigen Projekten des Lehrstuhls bearbeitet.

Jetzt konzentriert sich der Lehrstuhl auf Forschungsthemen, die ingenieurwissenschaftliche Antworten für den Software-Ingenieur liefern, der im Rahmen industrieller Software-Entwicklung für Multicore-Rechner, für daraus bestehende verteilte Systeme, für paralleles Cloud-Computing sowie für vernetzte eingebettete Systeme parallele Software entwickelt.

Adresse:
Martensstraße 3
91058 Erlangen


Forschungsprojekt(e)

Go to first page Go to previous page 1 von 3 Go to next page Go to last page

(Holoware - Kooperative Exploration und Analyse von Software in einer Virtual/Augmented Reality Appliance):
Holoware: Holoware - Kooperative Exploration und Analyse von Software in einer Virtual/Augmented Reality Appliance
Prof. Dr. Michael Philippsen; Florian Lautenschlager
(01.09.2018 - 31.08.2020)


AutoCompTest: Automatisiertes Testen von Übersetzern
Prof. Dr. Michael Philippsen
(01.01.2018)


(ORKA-HPC - OpenMP für rekonfigurierbare heterogene Architekturen):
ORKA: ORKA-HPC - OpenMP für rekonfigurierbare heterogene Architekturen
Prof. Dr. Michael Philippsen
(01.11.2017 - 31.10.2020)


RuNN: RuNN - Rekurrente Neuronale Netze (RNNs) zur echtzeitnahen Bestimmung nichtlinearer Bewegungsmodelle
Prof. Dr. Michael Philippsen
(01.10.2017 - 01.10.2020)


GIFzuMINTS: Grundlagen der Informatik als Fundament eines zukunftsorientierten MINT-Studiums
Prof. Dr. Marc-Pascal Berges; Dr.-Ing. Norbert Oster; Prof. Dr. Michael Philippsen
(01.10.2016 - 30.09.2019)



Publikationen (Download BibTeX)

Go to first page Go to previous page 1 von 31 Go to next page Go to last page

Blaß, T., & Philippsen, M. (2019). GPU-Accelerated Fixpoint Algorithms for Faster Compiler Analyses (Best Paper Award). In ACM (Eds.), Proceedings of the 28th International Conference on Compiler Construction (pp. 122-134). Washington, D.C., US: New York, NY, USA: ACM.
Gorse, L., Löffler, C., Mutschler, C., & Philippsen, M. (2018). Optical Camera Communication for Active Marker Identification in Camera-based Positioning Systems. In Proceedings of the 15th Workshop on Positioning, Navigation and Communications (WPNC'18). Bremen, DE: IEEE Xplore.
Feigl, T., Nowak, T., Philippsen, M., Edelhäußer, T., & Mutschler, C. (2018). Recurrent Neural Networks on Drifting Time-of-Flight Measurements. In Proceedings of the 9th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2018). Nantes, FR: IEEE Xplore.
Feigl, T., Mutschler, C., & Philippsen, M. (2018). Supervised Learning for Yaw Orientation Estimation. In Proceedings of the 9th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2018). Nantes, FR: IEEE Xplore.
Lautenschlager, F., & Ciolkowski, M. (2018). Making Runtime Data Useful for Incident Diagnosis: An Experience Report. In Kuhrmann, Marco; Schneider, Kurt; Pfahl, Dietmar; Amasaki, Sousuke; Ciolkowski, Marcus; Hebig, Regina; Tell, Paolo; Klünder, Jil; Küpper, Steffen (Eds.), Proceedings of the International Conference on Product-Focused Software Process Improvement (PROFES 2018) (pp. 422-430). Wolfsburg, DE: Cham: Springer International Publishing.
Feigl, T., Mutschler, C., & Philippsen, M. (2018). Head-to-Body-Pose Classification in No-Pose VR Tracking Systems. In Proceedings of the 25th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR 2018) (pp. 545-546). Reutlingen, DE: IEEE Xplore.
Roth, D., Kleinbeck, C., Feigl, T., Mutschler, C., & Latoschik, M.-E. (2018). Beyond Replication: Augmenting Social Behaviors in Multi-User Social Virtual Realities. In Proceedings of the 25th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR 2018) (pp. 215-222). Reutlingen, DE: IEEE Xplore.
Feigl, T., Mutschler, C., & Philippsen, M. (2018). Human Compensation Strategies for Orientation Drifts. In Proceedings of the 25th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR 2018) (pp. 409-414). Reutlingen, DE: IEEE Xplore.
Lugrin, J.-L., Kern, F., Schmidt, R., Kleinbeck, C., Roth, D., Daxer, C.,... Latoschik, M.-E. (2018). A Location-Based VR Museum. In Proceedings of the 10th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2018). Würzburg, DE: IEEE Xplore.
Oster, N., Kamp, M., & Philippsen, M. (2017). AuDoscore: Automatic Grading of Java or Scala Homework. In Sven Strickroth Oliver Müller Michael Striewe (Eds.), Proceedings of the Third Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2017). Potsdam, DE: Online Proceedings for Scientific Conferences and Workshops (CEUR-WS).
Tausch, N. (2017). Eine domänenspezifische Sprache zur Analyse von Software-Verfolgbarkeitsinformationen (Dissertation).
Feigl, T., Mutschler, C., Philippsen, M., & Kõre, E. (2017). Acoustical manipulation for redirected walking. In Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology (VRST '17) (pp. 45:1-45:2). Gothenburg, SE: New York: ACM.
Roth, D., Kleinbeck, C., Feigl, T., Mutschler, C., & Latoschik, M.-E. (2017, October). Social Augmentations in Multi-User Virtual Reality: A Virtual Museum Experience. Poster presentation at 2017 IEEE International Symposium on Mixed and Augmented Reality (ISMAR-Adjunct), Nantes, FR.
Blaß, T., Philippsen, M., & Veldema, R. (2017). Efficient Inspected Critical Sections in data-parallel GPU codes. In Rauchwerger, Lawrence (Eds.), Proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2017) (pp. -). College Station, TX, US: Berlin: Springer-Verlag Berlin Heidelberg.
Roth, D., Kleinbeck, C., Feigl, T., Mutschler, C., & Latoschik, M.E. (2017). Social Augmentations in Multi-User Virtual Reality: A Virtual Museum Experience. In Proceedings of the 2017 IEEE International Symposium on Mixed and Augmented Reality (ISMAR-Adjunct) (pp. 42-43). Nantes, FR: IEEE.
Hammer, J., Gaukler, M., Kanzler, P., Hörauf, P., & Novac, D. (2017). FAU FabLab: A Fabrication Laboratory for Scientists, Students, Entrepreneurs and the Curious.
Dotzler, G., Kamp, M., Kreutzer, P., & Philippsen, M. (2017). More Accurate Recommendations for Method-Level Changes. 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) (pp. 798-808). Paderborn, DE: New York, NY, USA: ACM DL.
Krainz, J., & Philippsen, M. (2017). Diff Graphs for a fast Incremental Pointer Analysis. In ACM (Eds.), Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'17). Barcelona, ES: ACM DL.
Polzer, T., & Adersberger, J. (2017, May). Leveraging the GPU on Spark. Paper presentation at Apache: Big Data North America 2017, Miami, FL, US.
Lautenschlager, F., Philippsen, M., Kumlehn, A., & Adersberger, J. (2017). Chronix: Long Term Storage and Retrieval Technology for Anomaly Detection in Operational Data. In USENIX Association (Eds.), Proceedings of the 15th USENIX Conference on File and Storage Technologies (FAST 17) (pp. 229-242). Santa Clara, CA, US.


Zusätzliche Publikationen (Download BibTeX)

Go to first page Go to previous page 1 von 2 Go to next page Go to last page

Adersberger, J. (2012). Modellbasierte Extraktion, Repräsentation und Analyse von Traceability-Informationen (Dissertation).
Weigend, J., Siedersleben, J., & Adersberger, J. (2011). Dynamische Analyse mit dem Software-EKG. Informatik-Spektrum, 34(5), 484-495. https://dx.doi.org/10.1007/s00287-011-0541-z
Weigend, J., Siedersleben, J., & Adersberger, J. (2011). Dynamische Analyse mit dem Software-EKG. In Ralf Reussner, Matthias Grund, Andreas Oberweis, Walter Tichy (Eds.), Lecture Notes in Informatics (LNI), P-183 (pp. 3-18). Karlsruhe, DE: Bonn: Bonner Köllen Verlag.
Adersberger, J. (2011). Das Softwareleitstand-Prinzip: Softwarequalität kontinuierlich messen, analysieren und steuern. In German Testing Day 2011. Frankfurt, DE.
Schell, D. (2009). Dynamische Programm-Code-Verwaltung und -Optimierung für eingebettete Systeme (Dissertation).
Schulze, M. (2003). Ein sprachunabhängiger Ansatz zur Entwicklung deklarativer, robuster LA-Grammatiken mit einer exemplarischen Anwendung auf das Deutsche und das Englische (Dissertation).
Volle, V. (2001). Verteilte Konfigurationsverwaltung im Kontext des Software Engineering Porzesses (Dissertation).
Elsharkawi, A. (1993). Knowledge Representation Techniques Using Neural Networks for Robotic Fine-Manipulation (Dissertation).
Zanzinger, M. (1992). ROSE - Konzeption und Implementierung einer Programmierumgebung für rechnerorganisierte Software-Entwicklung (Dissertation).
Geus, L. (1989). Konzepte für Robotersprachen - Ein Sprachenwurf (Dissertation).
Andres, C. (1988). Ein graphentheoretischer Ansatz zur rechnergestützten parallelen Komposition von Prozessen für verteilte Echtzeitsysteme (Dissertation).
Völk, A. (1986). Ein vollständiges Mengenkonzept in Programmiersprachen - Realisierung mit unkonventioneller Hardware (Dissertation).
Grosch, J. (1982). Eine Programmiersprache mit mengentheoretischen Konstrukten und deren effiziente Implementierung (Dissertation).
Lindstedt, W. (1981). Ein Verfahren zur Erstellung portabler algorithmischer Laufzeitprogramme (Dissertation).
Weber, D. (1978). Datengraphen und deren Transformation: Ein Konzept zur Spezifikation von Datentypen (Dissertation).
Nagl, M. (1978). Graph-Grammatiken - Theorie, Anwendungen, Implementierungen (Habilitation).
Altmann, W. (1978). Beschreibung von Programmmoduln zum Entwurf zuverlässiger Softwaresysteme (Dissertation).
Solymosi, A. (1978). Synthese von analysierenden Automaten auf Grund von formalen Grammatiken (Dissertation).
Stöth, G. (1978). Höhere Programmiersprachen für Kleinrechner: Anforderungen, Entwicklungskriterien, Compileraspekte (Dissertation).
Brügmann, H.-W. (1977). EBIDIS Strukturierte Bildprogrammierung im Dialog (Dissertation).

Zuletzt aktualisiert 2019-11-02 um 15:13