Christoph von Praun
Faculty Member and Associate Department Chair
Computer Science
Georg-Simon-Ohm Hochschule Nürnberg
Teaching (Winter 2011/2012)
|
Grundlagen der Informatik Parallel Programming Informatik Tutorien Reading Group on Web Security and Privacy |
News
| Oct/Nov 2011: | Lectures in the Academic Training Program at CERN on Advanced Multiprocessor Programming. |
| Aug 1-5, 2011: | Summer academy at our department. This year's topic is "Parallel Systems". Here is the announcement and poster. |
| Apr 2011: | My paper about "Parallel Programming: Design of an Overview Class" has been accepted at the X10 Workshop associated with PLDI 2011. | Nov 9, 2010: | Our Campus Journal features an article about my effort to make our department greener. |
Research
I am interested in software technology in particular software correctness and security, program analysis and parallel programming. For details, have a look at my publications or my background. Current or recently finished student projects (in German):
- Bandwidth-intensive graphics reconstruction on GPUs with OpenCL
- Compiler-based verification of API usage through executable constraints
- PLDI 2012: ACM SIGPLAN Conference on Programming Language Design and Implementation (ERC Member)
- ASPLOS 2012: International Conference on Architectural Support for Programming Languages and Operating Systems (PC Member)
- PPoPP 2012: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (ERC Member)
- PLDI 2011: ACM SIGPLAN Conference on Programming Language Design and Implementation (PC Member)
- CGO 2011: International Symposium on Code Generation and Optimization (PC Member)
