Welcome!

My name is Hannes Payer. I am a Ph. D. student of Prof. Christoph Kirsch at the Department of Computer Sciences at the University of Salzburg.

My research focuses primarily on Systems: Operating Systems, Virtual Execution Environments, Memory Management Algorithms, Multiprocessor Programming, and Storage Architecture.

download curriculum vitae

Contact Info

Office: Room 2.18, Jakob-Haringer-Str. 2, 5020 Salzburg, Austria
Email: firstname.lastname@cs.uni-salzburg.at
Phone: +43-662-8044-6417
Fax: +43-662-8044-611

Work Experience

Google, Mountain View, CA
Software Engineering Intern
June 2011 - September 2011
Project: worked on Dart VM.

Google, Mountain View, CA
Software Engineering Intern
July 2010 - October 2010
Project: Implemented and evaluated garbage collection strategies for a new virtual machine in Chrome.

Sun Microsystems Laboratories, Menlo Park, CA
Research Intern
June 2009 - September 2009
Project: Maxine VM and Inspector.

Hitachi Global Storage Research, San Jose, CA
Research Intern
July 2008 - September 2008
Project: Combo Drive and Hard Disk Power Consumption Characterization and Modeling

Teaching

Advanced Topics Operating Systems WS11
Compiler Construction SS11
Advanced Topics Operating Systems WS09
Compiler Construction SS08

Systems Publications

Incorrect Systems: It's not the Problem, It's the Solution
C.M. Kirsch, H. Payer
In Proc. Design Automation Conference (DAC), 2012
[Paper] [Bib]

Hierarchical PLABs, CLABs, TLABs in Hotspot
C.M. Kirsch, H. Payer, H. Roeck
In Proc. International Conference on Systems (ICONS), 2012
[Paper] [Bib]

Brief Announcement: Scalability versus Semantics of Concurrent FIFO Queues
C.M. Kirsch, H. Payer, H. Roeck, A. Sokolova
In Proc. Symposium on Principles of Distributed Computing (PODC), 2011
[Paper] [Bib]

Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing
S.S. Craciunas, A. Haas, C.M. Kirsch, H. Payer, H. Röck, A. Rottmann, A. Sokolova, R. Trummer, J. Love, and R. Sengupta
In Proc. Workshop on Hot Topics in Cloud Computing (HotCloud), 2010
[Paper] [Bib]

Programmable Temporal Isolation through Variable-Bandwidth Servers
S.S. Craciunas, C.M. Kirsch, H. Payer, H. Roeck, and A. Sokolova
In Proc. IEEE Symposium on Industrial Embedded Systems (SIES), 2009
[Paper] [Bib]

Tempo: Disk Drive Power Consumption Characterization and Modeling
D. Molaro, H. Payer, D. Le Moal
In Proc. IEEE International Symposium on Consumer Electronics (ISCE), 2009
[Paper] [Bib]

Programmable Temporal Isolation in Real-Time and Embedded Execution Environments
S.S. Craciunas, C.M. Kirsch, H. Payer, H. Roeck, A. Sokolova
In Proc. Workshop on Isolation and Integration in Embedded Systems (IIES), co-located with Eurosys, 2009
[Paper] [Bib]

Combo Drive: Optimizing Cost and Performance in a Heterogeneous Storage Device
H. Payer, M.A.A. Sanvido, Z.Z. Bandic, C.M. Kirsch
In Proc. Workshop on Integrating Solid-state Memory into the Storage Hierarchy (WISH), co-located with ASPLOS, 2009
[Paper] [Slides] [Bib]

A Compacting Real-Time Memory Management System
S.S. Craciunas, C.M. Kirsch, H. Payer, A. Sokolova, H. Stadler, and R. Staudinger
In Proc. USENIX Annual Technical Conference (ATC), pages 349-362, 2008
[Paper] [Slides] [Bib]

Talks Only

Scalability versus Semantics of Concurrent Objects
H. Payer
Workshop of Rigorous Systems Engineering (WRiSE), co-located with EuroSys, 2011
[Slides] [Animated Slides]

Other Publications

Performance, Scalability, and Semantics of Concurrent FIFO Queues
C.M. Kirsch, H. Payer, H. Roeck, A. Sokolova
Technical Report 2011-03, University of Salzburg, 2011
[Paper] [Bib]

Scal: Non-linearizable computing breaks the scalability barrier
C.M. Kirsch, H. Payer, H. Roeck, A. Sokolova
Technical Report 2010-07, University of Salzburg, 2010
[Paper] [Bib]

Get What You Pay For: Providing Performance Isolation in Virtualized Execution Environments
H. Payer, H. Roeck, C.M. Kirsch
Poster at European Systems Conference (EuroSys), 2010
[Paper] [Poster] [Bib]

Computer-aided Classification of Zoom-Endoscopical Images using Fourier Filters
A. Vecsei, L. Brunauer, H. Payer, R. Resch, A. Gangl, A. Uhl, F. Wrba, A. Vcsei
to appear in IEEE Transactions on Information Technology in Bio Medicine, 2010

Everyone Virtualizes Everything But Time
S.S. Craciunas, C.M. Kirsch, H. Payer, H. Roeck, A. Sokolova
Poster at Real-Time and Embedded Technology and Applications Symposium (RTAS), 2009
[Paper] [Poster] [Bib]

Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit
S.S. Craciunas, C.M. Kirsch, H. Payer, H. Roeck, A. Sokolova
Technical Report 2009-02, University of Salzburg, 2009
[Paper] [Bib]

Automated Classification of Cuodenal Imagery in Celiac Disease using Evolved Fourier Feature Vectors
A. Vecsei, T. Fuhrmann, M. Liedlgruber, L. Brunauer, H. Payer, A. Uhl
Computer Methods and Programs in Biomedicine, April 2009
[Article] [Bib]

A Compacting Real-Time Memory Management System
Hannes Payer
Master thesis, University of Salzburg, 2007
[Thesis] [Bib]

Pit Pattern Classification of Zoom-endoscopical Colon Images using evolved Fourier Feature Vectors
L. Brunauer, H. Payer, R. Resch, A. Uhl, M. Hafner, A. Gangl, F. Wrba, and A. Vecsei
In Proc. Computer-Based Medical Systems (CBMS), pages 159–164, 2007
[Paper] [Bib]

Pit Pattern Classification of Zoom-endoscopical Colon Images using DCT and FFT
L. Brunauer, H. Payer, R. Resch, A. Uhl, M. Hafner, A. Gangl, F. Wrba, and A. Vecsei
In Proc. Machine Learning for Signal Processing (MLSP), pages 99–104, 2007
[Paper] [Bib]

Evolution of Iterated Prisoner's Dilemma Strategies with Different History Lengths in Static and Cultural Environments
R. Brunauer, A. Loecker, H.A. Mayer, G. Mitterlechner, and H. Payer
In Proc. ACM Symposium on Applied Computing (SAC), pages 720–727, 2007
[Paper] [Bib]

Patents

Tracking Object Fields Using Relocatable Object Watchpoints
M.L. Van De Vanter, H.E. Payer, D.N. Simon, B.L. Titzer, M.I. Wolczko
Status: patent pending