WASP startup package Christoph Reichenbach

Projekt: Forskning

WASP startup package for Christoph Reichenbach, funding two dissertation projects

Status	Slutfört
Gällande start-/slutdatum	2017/10/16 → 2021/10/15

Clog: A Declarative Language for C Static Code Checkers
Dura, A. & Reichenbach, C., 2024 feb. 17, CC 2024 - Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction. Rodriguez, G., Sadayappan, P. & Sukumaran-Rajam, A. (red.). Association for Computing Machinery (ACM), s. 186-197 12 s.
Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review

Öppen tillgång
EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early
Rizwan, M., Caldas, R., Reichenbach, C. & Mayr, M., 2023 juli 26, 2023 IEEE/ACM 5th International Workshop on Robotics Software Engineering (RoSE). IEEE - Institute of Electrical and Electronics Engineers Inc., s. 61-68 8 s.
Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review

Öppen tillgång
Software Ticks Need No Specifications
Reichenbach, C., 2021, Proceedings of the 43rd International Conference on Software Engineering. IEEE - Institute of Electrical and Electronics Engineers Inc.
Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review

Fil
385 Nedladdningar (Pure)

Performance bug detection through combined static and dynamic program analysis
Dura, A. (Forskare) & Reichenbach, C. (Forskare)
2018/10/15 → …
Projekt: Avhandling
Smart Modules
Couderc, N. (Forskarstuderande), Reichenbach, C. (Handledare) & Söderberg, E. (Biträdande handledare)
2018/04/09 → …
Projekt: Avhandling
Transparent Abstractions
Söderberg, E. (Forskare) & Reichenbach, C. (Forskare)
2018/03/01 → …
Projekt: Forskning

Projektinformation