Publications

Found 61 results
2019
D. Steinhöfel und Hähnle, R., Abstract Execution, in Formal Methods – The Next 30 Years, 2019.
M. Norouzi, Ilias, Q., Jannesari, A., und Wolf, F., Accelerating Data-Dependence Profiling with Static Hints, in Euro-Par 2019: Parallel Processing, 2019.
P. Sokolka, Staicu, C. - A., und Pradel, M., Anything to Hide? Studying Minified and Obfuscated Code in the Web, in The World Wide Web Conference, 2019.
R. Mammadli, Wolf, F., und Jannesari, A., The Art of Getting Deep Neural Networks in Shape, ACM Transactions on Architecture and Code Optimization, Bd. 15, Nr. 4, 2019.
D. Reuling, Kelter, U., Bürdek, J., und Lochau, M., Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software, ACM Transactions on Software Engineering and Methodology, Bd. 28, Nr. 3, 2019.
M. Köhler und Salvaneschi, G., Automated Refactoring to Reactive Programming, in IEEE/ACM International Conference on Automated Software Engineering, 2019.
M. Norouzi, Wolf, F., und Jannesari, A., Automatic Construct Selection and Variable Classification in OpenMP, in ACM International Conference on Supercomputing, 2019.
Y. Fischler, Lehr, J. - P., Kiehn, M. Magnus, und Bischof, C., Automatic Identification of Standard Template Algorithms in Raw Loops, in ACM SIGPLAN International Workshop on AI-Inspired and Empirical Methods for Software Engineering on Parallel Computing Systems, 2019.
J. - P. Lehr, Calotoiu, A., Bischof, C., und Wolf, F., Automatic Instrumentation Refinement for Empirical Performance Modeling, in 1st IEEE/ACM International Workshop on Programming and Performance Visualization Tools, 2019.
A. Calotoiu, Höhl, T., Mantel, H., Nguyen, T., und Wolf, F., Designing Efficient Parallel Software via Compositional Performance Modeling, in IEEE/ACM International Workshop on Programming and Performance Visualization Tools, 2019.
P. Weisenburger und Salvaneschi, G., Developing Distributed Systems with Multitier Programming, in ACM International Conference on Distributed and Event-based Systems, 2019.
A. Mazaheri, Schulte, J., Moskewicz, M. W., Wolf, F., und Jannesari, A., Enhancing the Programmability and Performance Portability of GPU Tensor Operations, in Euro-Par 2019: Parallel Processing, 2019.
H. Mantel, From Attacker Models to Reliable Security, in ACM Asia Conference on Computer and Communications Security, 2019.
D. Reuling, Lochau, M., und Kelter, U., From Imprecise N-Way Model Matching to Precise N-Way Model Merging, Journal of Object Technology, Bd. 18, Nr. 2, 2019.
M. Eichholz, Campbell, E., Foster, N., Salvaneschi, G., und Mezini, M., How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4, in European Conference on Object-Oriented Programming, 2019.
S. Tolksdorf, Lehmann, D., und Pradel, M., Interactive Metamorphic Testing of Debuggers, in ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019.
G. Salvaneschi, Köhler, M., Sokolowski, D., Haller, P., Erdweg, S., und Mezini, M., Language-integrated Privacy-aware Distributed Queries, Proceedings of the ACM on Programming Languages, Bd. 3, Nr. OOPSLA, 2019.
C. - A. Staicu und Pradel, M., Leaky Images: Targeted Privacy Attacks in the Web, in {USENIX} Security Symposium, 2019.

Seiten