Filip Zavoral

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 11

Top Topics

Intermediate Representation

Stream Processing

Semantic Analysis

Top Venues

Comput. Informatics

Publications

Robert Husák, Jan Kofron, Filip Zavoral
Slicito: Using Computational Notebooks for Program Comprehension. ICPC (2023)
Robert Husák, Jakub Mísek, Filip Zavoral, Jan Kofron
PeachPie: Mature PHP to CLI compiler. J. Comput. Lang. 73 (2022)
Robert Husák, Jan Kofron, Jakub Mísek, Filip Zavoral
Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages. ICSOFT (2022)
Robert Husák, Filip Zavoral, Jan Kofron
Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations. TASE (2020)
Robert Husák, Jan Kofron, Filip Zavoral
Handling Heap Data Structures in Backward Symbolic Execution. FM Workshops (2) (2019)
Robert Husák, Jan Kofron, Filip Zavoral
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019)
Jakub Mísek, Filip Zavoral
Semantic analysis of ambiguous types in dynamic languages. J. Ambient Intell. Humaniz. Comput. 10 (7) (2019)
David Bednárek, Martin Krulis, Jakub Yaghob, Filip Zavoral
Data Preprocessing of eSport Game Records - Counter-Strike: Global Offensive. DATA (2017)
Jakub Mísek, Filip Zavoral
Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation. ANT/SEIT (2017)
David Bednárek, Martin Krulis, Jakub Yaghob, Filip Zavoral
Player Performance Evaluation in Team-Based First-Person Shooter eSport. DATA (Revised Selected Papers) (2017)
David Bednárek, Martin Krulis, Jakub Yaghob, Filip Zavoral
Creating Distributed Execution Plans with BobolangNG. ICA3PP (2016)
David Bednárek, Jakub Yaghob, Filip Zavoral
MetroNG: Computer-Aided Scheduling and Collision Detection. Comput. Informatics 34 (2) (2015)
Martin Krulis, Petr Stefan, Jakub Yaghob, Filip Zavoral
Assessing Applicability of Power-Efficient Embedded Devices for Micro-Cloud Computing. ITAT (2015)
Zbynek Falt, Martin Krulis, David Bednárek, Jakub Yaghob, Filip Zavoral
Towards Efficient Locality Aware Parallel Data Stream Processing. J. Univers. Comput. Sci. 21 (6) (2015)
Filip Zavoral, Costin Badica
Preface to the Special Issue on Intelligent Distributed Computing. Comput. Informatics 34 (1) (2015)
Martin Krulis, David Bednárek, Zbynek Falt, Jakub Yaghob, Filip Zavoral
Towards Semi-automated Parallelization of Data Stream Processing. IDC (2015)
Lukas Krizik, Filip Zavoral, Miroslav Cermák
Using static code analysis to improve coarse task granularity in bobox. ICDIM (2015)
David Bednárek, Martin Krulis, Jakub Yaghob, Filip Zavoral
Employing Evolutionary Algorithms for Classification of Astrophysical Spectra. ITAT (2014)
Jakub Yaghob, David Bednárek, Martin Krulis, Filip Zavoral
Column-Oriented Data Store for Astrophysical Data. DEXA Workshops (2014)
Martin Krulis, David Bednárek, Jakub Yaghob, Filip Zavoral
Employing Similarity Methods for Stellar Spectra Classification in Astroinformatics. SISAP (2014)
Ondrej Kupka, Filip Zavoral
Cider: An Event-Driven Continuous Integration Server. COMPSAC (2014)
Filip Zavoral, Jakub Yaghob, David Bednárek, Martin Krulis
Contemplating Efficiency of the ROOT File Format for Data Intensive Simulations in Particle Physics. ITAT (2014)
Zbynek Falt, David Bednárek, Martin Krulis, Jakub Yaghob, Filip Zavoral
Bobolang: a language for parallel streaming applications. HPDC (2014)
Martin Krulis, Zbynek Falt, Filip Zavoral
Exploiting HTML5 Technologies for Distributed Parasitic Web Storge. DATESO (2014)
Zbynek Falt, Martin Krulis, David Bednárek, Jakub Yaghob, Filip Zavoral
Locality Aware Task Scheduling in Parallel Data Stream Processing. IDC (2014)
Zbynek Falt, Miroslav Cermák, Filip Zavoral
Highly Scalable Sort-merge Join Algorithm for RDF Querying. DATA (2013)
Miroslav Cermák, Filip Zavoral
Dosiahnutie vysokej dostupnosti v D-Boboxe. ITAT (2013)
Miroslav Novotný, Filip Zavoral
Resistance of Trust Management Systems Against Malicious Collectives. ICCASA (2013)
David Bednárek, Jirí Dokulil, Jakub Yaghob, Filip Zavoral
Data-Flow Awareness in Parallel Data Processing. IDC (2012)
Miroslav Novotný, Filip Zavoral
Resistence against Malicious Collectives in BubbleTrust. PDCAT (2011)
Katerina Opocenska, Jakub Yaghob, Filip Zavoral
Dynamic Setup for Clusters with Multi-master Architecture. SwSTE (2010)
Miroslav Novotný, Filip Zavoral
BubbleTrust: A Reliable Trust Management for Large P2P Networks. CNSA (2010)
Jakub Mísek, Filip Zavoral
Mapping of Dynamic Language Constructs into Static Abstract Syntax Trees. ACIS-ICIS (2010)
David Bednárek, Jirí Dokulil, Jakub Yaghob, Filip Zavoral
MetroNG: multimodal interactive scheduling interface. AVI (2010)
Jakub Mísek, Filip Zavoral
High-Level Web Data Abstraction Using Language Integrated Query. IDC (2010)
Miroslav Novotný, Filip Zavoral
Towards Reliable Trust Management in Insecure P2P Environments. IDC (2009)
Jana Dvoráková, Filip Zavoral
Using Input Buffers for Streaming XSLT Processing. DBKDA (2009)
Jakub Mísek, Filip Zavoral
Syntactic and Semantic Prediction in Dynamic Languages. SERA (selected papers) (2009)
Miloslav Beno, Jakub Mísek, Filip Zavoral
AgentMat: Framework for Data Scraping and Semantization. RCIS (2009)
Miroslav Novotný, Filip Zavoral
Matrix Model of Trust Management in P2P Networks. RCIS (2009)
Jana Dvoráková, Filip Zavoral
Determining XSLT streamability using new hierarchical XSD model. ITAT (2008)
Jana Dvoráková, Filip Zavoral
Xord: An Implementation Framework for Efficient XSLT Processing. IDC (2008)
Jirí Dokulil, Jaroslav Tykal, Jakub Yaghob, Filip Zavoral
Semantic Web Infrastructure. ICSC (2007)
Tomas Matousek, Filip Zavoral
Extracting Zing Models from C Source Code. SOFSEM (1) (2007)
Jakub Yaghob, Filip Zavoral
Semantic Web Infrastructure Using DataPile. IAT Workshops (2006)
Jana Stanclová, Filip Zavoral
Hierarchical Associative Memories: The Neural Network for Prediction in Spatial Maps. ICIAP (2005)
David Bednárek, David Obdrzálek, Jakub Yaghob, Filip Zavoral
Data Integration Using DataPile Structure. ADBIS Research Communications (2005)
David Bednárek, Petr Merta, David Obdrzálek, Jakub Yaghob, Filip Zavoral
Interprocess Communication in the T4 System. SOFSEM (1996)