Classes
- Programming in Rust LanguageNPRG073 | Faculty of Mathematics and Physics
- Advanced programming in RustNPRG074 | Faculty of Mathematics and Physics
- Operating Systems +2NSWI004 | Faculty of Mathematics and Physics
- Middleware +1NSWI080 | Faculty of Mathematics and Physics
- Research Project WorkNSWI127 | Faculty of Mathematics and Physics
- Performance Evaluation of Computer Systems +1NSWI131 | Faculty of Mathematics and Physics
- Advanced Operating SystemsNSWI161 | Faculty of Mathematics and Physics
- Introduction to MiddlewareNSWI163 | Faculty of Mathematics and Physics
Publications
- ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform +12013 | Faculty of Mathematics and Physics
- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine2013 | Faculty of Mathematics and Physics
- Productive Development of Dynamic Program Analysis Tools with DiSL2013 | Faculty of Mathematics and Physics
- I/O Performance Modeling of Virtualized Storage Systems2013 | Faculty of Mathematics and Physics
- Capturing Performance Assumptions using Stochastic Performance Logic2012 | Faculty of Mathematics and Physics
- Performance Awareness in Component Systems: Vision Paper2012 | Faculty of Mathematics and Physics
- Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation2012 | Faculty of Mathematics and Physics
- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis2012 | Faculty of Mathematics and Physics
- Streaming state space: a method of distributed model verification +12007 | Faculty of Mathematics and Physics
- Distributed Component System Based On Architecture Description: The SOFA Experience2002 | Publication without faculty affiliation
Loading network view...