|
(CS)2 - The 10th Jubilee Conference of PhD Students in Computer Science |
| Main |
| Home |
| Important Dates |
| Author Information |
| Registration |
| Venue |
| Committees |
| Sponsors |
| Previous editions |
| Contact |
| Conference |
| Program |
| Proceedings |
| Invited Talks |
| Presentations |
| Awards |
| Photos |
Program
Day 1: June 27 | ||||
| 08:00 | Registration | |||
| 08:30 | Opening | |||
| by Dezső Horváth (vice dean of Faculty of Science and Informatics) | ||||
08:50 | Session 1: Testing | |||
| session chair: Ákos Kiss | ||||
| 08:50 | Ferenc Horváth | Eliminating code coverage differences from large-scale programs | ||
| 09:10 | István Kádár | The Optimization of a Symbolic Execution Engine for Detecting Runtime Errors | ||
| 09:30 | Gábor Márton and Zoltán Porkoláb | Unit Testing and Friends in C++ | ||
| 09:50 | Break | |||
10:00 | Session 2: Mining | |||
| session chair: Gábor Berend | ||||
| 10:00 | Cristian Babau, Marius Marcu, Mircea Tihu, Daniel Telbis and Vladimir Cretu | Real Time Road Traffic Characterization Using Mobile Crowdsourcing | ||
| 10:20 | János Baumgartner, Zoltán Süle and János Abonyi | Cox regression based process optimization | ||
| 10:40 | Break | |||
11:00 | Session 3: Machine Learning | |||
| session chair: Richárd Farkas | ||||
| 11:00 | Laura Horváth, Krisztián Dániel Pomázi, Luca Szegletes and Bertalan Forstner | Multiple Intelligence Learning | ||
| 11:20 | Judit Tamás and Zsolt Tóth | Classification based Symbolic Indoor Positioning over the Miskolc IIS Dataset | ||
| 11:40 | Dénes Bán | The Connection of Antipatterns and Maintainability in Firefox | ||
| 12:00 | Aleksandar Pejic | Detecting Similarities in Process Data generated with Computer-based Assessment Systems | ||
| 12:20 | László Gazdi, Dorottya Bodolai, Bertalan Forstner and Luca Szegletes | Supervising Adaptive Educational Games | ||
| 12:40 | Lunch | |||
| In the Gödör restaurant. | ||||
| 14:00 | Plenary Talk | |||
| Dániel Marx | The Optimality Program in Parameterized Algorithms | |||
| 14:50 | Break | |||
15:00 | Session 4: Medical Solutions | |||
| session chair: Miklós Krész | ||||
| 15:00 | Ábel Garai and István Péntek | Common Open Telemedicine Hub and Interface Standard Recommendation | ||
| 15:20 | Zsolt Vassy, István Vassányi and István Kósa | Stable angina clinical pathway correlation clustering | ||
| 15:40 | Melinda Katona and László G. Nyúl | Quantitative Assessment of Retinal Layer Distortions and Subretinal Fluid in SD-OCT Images | ||
| 16:00 | Rebaz Ahmed Hama Karim, István Vassányi and István Kósa | Long-acting insulin management for blood glucose prediction model | ||
| 16:20 | Break | |||
16:40 | Session 5: Program Analysis | |||
| session chair: Csaba Nagy | ||||
| 16:40 | Zsolt Parragi and Zoltán Porkoláb | Typegrind: Type Preserving Heap Profiler for C++ | ||
| 17:00 | Péter Gyimesi | An Automatic Way to Calculate Software Process Metrics of GitHub Projects With the Aid of Graph Databases | ||
| 17:20 | Bence Babati, Norbert Pataki and Zoltán Porkoláb | Analysis of Include Dependencies in C++ Source Code | ||
| 17:40 | Biswajeeban Mishra | Improving OpenStack Services with Source Code Optimizations | ||
| 18:00 | Free program | |||
| 19:00 | Reception | |||
| -21:00 | At the Rector's Building, ground floor right hall. | |||
Day 2: June 28 | ||||
08:30 | Session 6: Programming Languages | |||
| session chair: Árpád Beszédes | ||||
| 08:30 | Tibor Brunner, Norbert Pataki and Zoltán Porkoláb | Finding semantical differences between C++ standard versions | ||
| 08:50 | Áron Baráth and Zoltán Porkoláb | Checking binary compatibility for modern programming language | ||
| 09:10 | Péter Gál and Csaba Bátori | Bringing a Non-object Oriented Language Closer to the Object Oriented World: A Case Study for A+.NET | ||
| 09:30 | Break | |||
09:40 | Session 7: Image Processing I. | |||
| session chair: László Nyúl | ||||
| 09:40 | Balázs Nagy | Skyline extraction by artificial neural networks for orientation in mountainous environment | ||
| 10:00 | Dávid Papp and Gábor Szűcs | Active Learning using Distribution Analysis for Image Classification | ||
| 10:20 | Ádám Budai and Kristóf Csorba | RJMCMC Optimization of marble thin section image segmentations | ||
| 10:40 | Break | |||
| 11:00 | Plenary Talk | |||
| László Pyber | How to avoid the Classification Theorem of Finite Simple Groups in Asymptotic Group Theory | |||
| 11:50 | Break | |||
12:00 | Session 8: Model Matching | |||
| session chair: András Csallner | ||||
| 12:00 | Gábor Szőke | Finding Matching Source Code Elements in an AST Using Position Information | ||
| 12:20 | Ferenc Attila Somogyi | On the Efficiency of Text-based Comparison and Merging of Software Models | ||
| 12:40 | Lunch | |||
| In the Gödör restaurant. | ||||
14:00 | Session 9: Image Processing II. | |||
| session chair: Péter Balázs | ||||
| 14:00 | György Kalmár and László G. Nyúl | Image processing based automatic pupillometry on infrared videos | ||
| 14:20 | Krisztián Koós, Begüm Peksel and Lóránd Kelemen | Height Measurement of Cells Using DIC Microscopy | ||
| 14:40 | Levente Lipták, László Kundra and Kristóf Csorba | Robust multiple hypothesis based enumeration in complex traffic scenarios | ||
| 15:00 | Csaba Molnár and József Molnár | Multi-layer phase field model for selective object extraction | ||
| 15:20 | Break | |||
15:40 | Session 10: Algorithm | |||
| session chair: Csanád Imreh | ||||
| 15:40 | Katalin Friedl and László Kabódi | Storing the quantum Fourier operator in the QuIDD data structure | ||
| 16:00 | Bence Bogdándy and Zsolt Tóth | Comparison of WiFi RSSI Filtering Methods | ||
| 16:20 | Lajos Győrffy, András London and Géza Makay | The structure of pairing strategies for k-in-a-row type games | ||
| 16:40 | Gábor Fábián | Physical simulation based technique for determining continuous maps between meshes | ||
| 17:00 | Walk to the social program location | |||
| 17:15 | Social Program | |||
| Visit the Informatic Collection at Szent-Györgyi Albert Agóra. | ||||
| 19:00 | Gala Dinner | |||
| -22:00 | At the Rector's Building, 2nd floor ceremonial hall. | |||
Day 3: June 29 | ||||
08:30 | Session 11: Cloud/IoT | |||
| session chair: Gábor Gosztolya | ||||
| 08:30 | Tamás Pflanzner and Attila Kertész | Taxonomy and Survey of IoT Cloud Use Cases | ||
| 08:50 | Márton Búr and Dániel Varró | Towards hierarchical and distributed run-time monitors from high-level query languages | ||
| 09:10 | Attila Selmeci and Tamás Orosz | Trends and paradigm change in ERP datacenter management | ||
| 09:30 | Break | |||
09:40 | Session 12: Networking | |||
| session chair: Zoltán L. Németh | ||||
| 09:40 | Teréz Nemes, Ákos Dávid and Zoltán Süle | Proposing a decision-support system to maximize the robustness of computer network topologies | ||
| 10:00 | Máté Tömösközi | Regression Model Building and Efficiency Prediction of Header Compression Implementations for VoIP | ||
| 10:20 | Patrik János Braun and Péter Ekler | Improving QoS in web-based distributed streaming services with applied network coding | ||
| 10:40 | Break | |||
| 11:00 | Plenary Talk | |||
| Dániel Varró | Models and Queries for Smart and Safe Cyber-physical Systems | |||
| 11:50 | Break | |||
12:00 | Session 13: Models | |||
| session chair: Szabolcs Iván | ||||
| 12:00 | Tamás Fekete and Gergely Mezei | Architectural challenges in creating a high-performant model-transformation engine | ||
| 12:20 | Oszkár Semeráth and Dániel Varró | Validation of Well-formedness constraints on Uncertain Model | ||
| 12:40 | Lunch | |||
| In the Gödör restaurant. | ||||
14:00 | Session 14: Optimization | |||
| session chair: Tibor Csendes | ||||
| 14:00 | Abigél Mester and Balázs Bánhelyi | Revision of local search methods in the GLOBAL optimization algorithm | ||
| 14:20 | Dániel Zombori and Balázs Bánhelyi | Parallel implementation of a modular, population based global optimizer package | ||
| 14:40 | Zsolt Bagóczki and Balázs Bánhelyi | A parallelized interval arithmetics based reliable computing method on GPU | ||
| 15:00 | László Hajdu, Miklós Krész and László Tóth | Maximization Problems for the Independent Cascade Model | ||
| 15:20 | Closing | |||
| by Tibor Csendes (head of Institute of Informatics, University of Szeged) | ||||
Last change: 2020-06-16