asch@cs.wisc.edu
Computer Sciences Building 2293
[Google Scholar] [GitHub]
Enabling High-Performance and Secure Userspace NVM File Systems with the Trio Architecture
Diyu Zhou, Vojtech Aschenbrenner, Tao Lyu, Jian Zhang, Sudarsun Kannan, Sanidhya Kashyap
ACM Symposium on Operating Systems Principles
(SOSP ’23)
pdf
·
code
·
Best Paper Award
Beating the I/O bottleneck: A case for log-structured virtual disks
Mohammad Hossein Hajkazemi*, Vojtech Aschenbrenner*, Mania Abdi, Emine Ugur Kaynar, Amin Mossayebzadeh, Orran Krieger, Peter Desnoyers (* Joint first authors)
ACM European Conference on Computer Systems
(EUROSYS ’22)
pdf
·
code
LSDN — Manage complex (virtual) networks in cloud environment with Linux kernel facilities
Vojtech Aschenbrenner, Roman Kapl, Jan Matejek, Adam Vyskovsky
Technical Conference on Linux Networking
(NETDEV ’18)
pdf
·
code
·
slides
·
talk
Lifted relational neural networks: Efficient learning of latent relational structures
Gustav Sourek, Vojtech Aschenbrenner, Filip Zelezny, Steven Schockaert, Ondrej Kuzelka
Journal of Artificial Intelligence Research
(JAIR ’18)
pdf
·
code
Lifted relational neural networks
Gustav Sourek, Vojtech Aschenbrenner, Filip Zelezny, Ondrej Kuzelka
NIPS Workshop on Cognitive Computation: Integrating Neural and Symbolic Approaches
(COCO@NIPS ’15)
pdf
·
code
Horn-clause neural networks
Vojtech Aschenbrenner, Ondrej Kuzelka
IEEE ICSC Workshop on Semantic Machine Learning
(SML ’14)
pdf
·
code
BUSE: Block Device in Userspace (Includes BS3)
Master Thesis, Charles University
Best software thesis award
Real world impact in academia and industry
pdf
·
code (buse)
·
code (bs3)
Deep Relational Learning with Predicate Invention
Master Thesis, Czech Technical University in Prague
Published in JAIR
pdf
·
code
Automated Tool-Chain Testing System
Bachelor Thesis, Brno University of Technology
Dean’s price for excellent thesis
Course | Code | Role | Terms |
---|---|---|---|
Introduction to Operating Systems | CS 537 | TA | Falls ’23, ’24 |
Machine Organization and Programming | CS 354 | EPIC TA | Springs ’24, ’25 |
Course | Code | Role | Terms |
---|---|---|---|
Parallelism and Concurrency | CS-206 | TA | Spring ’23 |
Master Semester Project | Mentor | Spring ’23 | |
Introduction to Operating Systems | CS-323 | Head TA | Fall ’22 |
Course | Code | Role | Terms |
---|---|---|---|
Linux Administration | NSWI106 | Main Instructor | Falls ’18, ’19, ’20, ’21 |
Introduction to Linux | NSWI177 | Labs Instructor | Springs ’19, ’20 |
Programming in Python | NPRG065 | Labs Instructor | Spring ’19 |
Page optimized for text-based web browsers.