Both sides previous revisionPrevious revisionNext revision | Previous revision |
lectures:lta:lta12 [2012/12/12 09:10] – [SESSION 5 - COMPILERS: Thursday, December 13, 2012, 10:00 - 13:00] krivka | lectures:lta:lta12 [2013/01/23 18:52] (current) – [Recordings] krivka |
---|
* **Questions**: Contact [[krivka@fit.vutbr.cz|Zbyněk Křivka]] | * **Questions**: Contact [[krivka@fit.vutbr.cz|Zbyněk Křivka]] |
| |
| ===== Recordings ===== |
| |
| * **[[https://video1.fit.vutbr.cz/index.php?categ_id=926|Audio-video recordings of sessions]]** |
| * Big thanks to Jana Skokanová, Miroslav Paulík, and Marek Surovič with postprocessing of video recordings. |
===== Schedule ===== | ===== Schedule ===== |
* {{:lectures:lta:2012_abstracts:lta2012_program_a3.pdf|PDF Program Summarization}} ({{:lectures:lta:2012_abstracts:lta2012_program_a3_print.pdf|print version}}) | * {{:lectures:lta:2012_abstracts:lta2012_program_a3.pdf|PDF Program Summarization}} ({{:lectures:lta:2012_abstracts:lta2012_program_a3_print.pdf|print version}}) |
| |
* Talks: | * Talks: |
* 09:00-09:40 [[xkluba00@stud.fit.vutbr.cz|Klubal Ondřej]]: Smart cards protocols ({{:lectures:lta:2012_abstracts:tid-abstract_xkluba00.pdf|Abstract}}) | * 09:00-09:40 [[xkluba00@stud.fit.vutbr.cz|Klubal Ondřej]]: Smart cards protocols ({{:lectures:lta:2012_abstracts:tid-abstract_xkluba00.pdf|Abstract}}, {{:lectures:lta:2012_abstracts:tid-presentation_xkluba00.pdf|Slides}}) |
* 09:40-10:20 [[xdvora66@stud.fit.vutbr.cz|Dvořák Milan]]: Suitable abstract model for representing the market data feed format of different exchanges ({{:lectures:lta:2012_abstracts:tid-abstract_xdvora66.pdf|Abstract}}, {{:lectures:lta:2012_abstracts:tid-presentation_xdvora66.pdf|Slides}}) | * 09:40-10:20 [[xdvora66@stud.fit.vutbr.cz|Dvořák Milan]]: Suitable abstract model for representing the market data feed format of different exchanges ({{:lectures:lta:2012_abstracts:tid-abstract_xdvora66.pdf|Abstract}}, {{:lectures:lta:2012_abstracts:tid-presentation_xdvora66.pdf|Slides}}) |
* 10:20-11:00 [[xmaliu00@stud.fit.vutbr.cz|Maliulin Valerii]]: Lexicalized Tree Adjoining Grammar ({{:lectures:lta:2012_abstracts:tid-abstract_xmaliu00.pdf|Abstract}}) | * 10:20-11:00 [[xmaliu00@stud.fit.vutbr.cz|Maliulin Valerii]]: Lexicalized Tree Adjoining Grammar ({{:lectures:lta:2012_abstracts:tid-abstract_xmaliu00.pdf|Abstract}}, {{:lectures:lta:2012_abstracts:tid-presentation_xmaliu00.pdf|Slides}}) |
* 11:00-11:40 [[iondel@fit.vutbr.cz|Ondel Lucas]]: Indexing WFST for Spoken Term Detection ({{:lectures:lta:2012_abstracts:tid-abstract_iondel.pdf|Abstract}}) | * 11:00-11:40 [[iondel@fit.vutbr.cz|Ondel Lucas]]: Indexing WFST for Spoken Term Detection ({{:lectures:lta:2012_abstracts:tid-abstract_iondel.pdf|Abstract}}, {{:lectures:lta:2012_abstracts:tid-presentation_iondel.pdf|Slides}}) |
| |
| |
| |
* Talks: | * Talks: |
* 10:20-11:00 [[xkolla06@stud.fit.vutbr.cz|Kollár Matej]]: Firewall Rules Discovery and Generation ({{:lectures:lta:2012_abstracts:tid-abstract_xkolla06.pdf|Abstract}}) | * 10:20-11:00 [[xkolla06@stud.fit.vutbr.cz|Kollár Matej]]: Firewall Rules Discovery and Generation ({{:lectures:lta:2012_abstracts:tid-abstract_xkolla06.pdf|Abstract}}, {{.2012_abstracts:tid-presentation_xkolla06.pdf|Slides}}) |
* 11:00-11:15 [[xsurov03@stud.fit.vutbr.cz|Surovič Marek]] (BP): Non-returning Turing machines ({{:lectures:lta:2012_abstracts:bp-abstract_xsurov03.pdf|Abstract}}) | * 11:00-11:15 [[xsurov03@stud.fit.vutbr.cz|Surovič Marek]] (BP): Non-returning Turing machines ({{:lectures:lta:2012_abstracts:bp-abstract_xsurov03.pdf|Abstract}}, {{.2012_abstracts:bp-presentation_xsurov03.pdf|Slides}}) |
| |
| |
==== SESSION 4 - GRAPHS: Wednesday, December 12, 2012, 11:20 - 13:00 ==== | ==== SESSION 4 - GRAPHS: Wednesday, December 12, 2012, 11:20 - 13:00 ==== |
* **Talk duration**: 15 minutes (including discussion) | * **Talk duration**: 15 minutes (including discussion) |
* **Level**: Masters | * **Level**: Masters |
| |
| |
* Talks: | * Talks: |
* 11:20-11:35 [[xtothr00@stud.fit.vutbr.cz|Toth Róbert]]: Dantzig's Shortest Path Algorithm ({{:lectures:lta:2012_abstracts:gal-abstract_xtothr00.pdf|Abstract}}) | * 11:20-11:35 [[xtothr00@stud.fit.vutbr.cz|Toth Róbert]]: Dantzig's Shortest Path Algorithm ({{:lectures:lta:2012_abstracts:gal-abstract_xtothr00.pdf|Abstract}}, {{.2012_abstracts:gal-presentation_xtothr00.pdf|Slides}}) |
* 11:35-11:50 [[xsakvl00@stud.fit.vutbr.cz|Sák Vladimír]]: Goldberg-Radzik Algorithm ({{:lectures:lta:2012_abstracts:gal-abstract_xsakvl00.pdf|Abstract}}) | * 11:35-11:50 [[xsakvl00@stud.fit.vutbr.cz|Sák Vladimír]]: Goldberg-Radzik Algorithm ({{:lectures:lta:2012_abstracts:gal-abstract_xsakvl00.pdf|Abstract}}) |
* 11:50-12:05 [[xhorni09@stud.fit.vutbr.cz|Horníček Ondřej]]: Max-Flow Min-Cut theorem (Use in multicast networks ({{:lectures:lta:2012_abstracts:gal-abstract_xhorni09.pdf|Abstract}}) | * 11:50-12:05 [[xhorni09@stud.fit.vutbr.cz|Horníček Ondřej]]: Max-Flow Min-Cut theorem (Use in multicast networks) ({{:lectures:lta:2012_abstracts:gal-abstract_xhorni09.pdf|Abstract}}) |
* 12:05-12:20 [[xchalo08@stud.fit.vutbr.cz|Chaloupka Jan]]: Ramsey theory - Ramsey theorem ({{:lectures:lta:2012_abstracts:gal-abstract_xchalo08.pdf|Abstract}}, {{.2012_abstracts:gal-presentation_xchalo08.pdf|Slides}}) | * 12:05-12:20 [[xchalo08@stud.fit.vutbr.cz|Chaloupka Jan]]: Ramsey theory - Ramsey theorem ({{:lectures:lta:2012_abstracts:gal-abstract_xchalo08.pdf|Abstract}}, {{.2012_abstracts:gal-presentation_xchalo08.pdf|Slides}}) |
* 12:20-12:35 [[xkukli01@stud.fit.vutbr.cz|Kuklínek Lukáš]]: Register Allocation via Graph Colouring ({{:lectures:lta:2012_abstracts:gal-abstract_xkukli01.pdf|Abstract}}, {{.2012_abstracts:gal-presentation_xkukli01.pdf|Slides}}) | * 12:20-12:35 [[xkukli01@stud.fit.vutbr.cz|Kuklínek Lukáš]]: Register Allocation via Graph Colouring ({{:lectures:lta:2012_abstracts:gal-abstract_xkukli01.pdf|Abstract}}, {{.2012_abstracts:gal-presentation_xkukli01.pdf|Slides}}) |
* 10:10-10:20 [[xnavra23@stud.fit.vutbr.cz|Navrátil Ondřej]], [[xnovot28@stud.fit.vutbr.cz|Novotný Pavel]]: Parsing Techniques ({{lectures:lta:2012_abstracts:vype-abstract_xnavra23_xnovot28.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xnavra23.pdf|Slides}}) | * 10:10-10:20 [[xnavra23@stud.fit.vutbr.cz|Navrátil Ondřej]], [[xnovot28@stud.fit.vutbr.cz|Novotný Pavel]]: Parsing Techniques ({{lectures:lta:2012_abstracts:vype-abstract_xnavra23_xnovot28.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xnavra23.pdf|Slides}}) |
* 10:20-10:30 [[xmoren00@stud.fit.vutbr.cz|Moreno Serrano María José]]: Symbol Tables and Run-Time Storage Organization ({{lectures:lta:2012_abstracts:vype-abstract_xmoren00.pdf|Abstract}}) | * 10:20-10:30 [[xmoren00@stud.fit.vutbr.cz|Moreno Serrano María José]]: Symbol Tables and Run-Time Storage Organization ({{lectures:lta:2012_abstracts:vype-abstract_xmoren00.pdf|Abstract}}) |
* 10:30-10:40 [[xpalam00@stud.fit.vutbr.cz|Pála Milan]], [[xsocho06@stud.fit.vutbr.cz|Sochor Jakub]]: Code Generation: Intermediate Languages ({{lectures:lta:2012_abstracts:vype-abstract_xpalam00_xsocho06.pdf|Abstract}}) | * 10:30-10:40 [[xpalam00@stud.fit.vutbr.cz|Pála Milan]], [[xsocho06@stud.fit.vutbr.cz|Sochor Jakub]]: Code Generation: Intermediate Languages ({{lectures:lta:2012_abstracts:vype-abstract_xpalam00_xsocho06.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xpalam00_xsocho06.pdf|Slides}}) |
* 10:40-10:50 [[xkotas02@stud.fit.vutbr.cz|Kotásek Marek]], [[xkozak12@stud.fit.vutbr.cz|Kozák Filip]]: Code Generation: Symbol Table ({{lectures:lta:2012_abstracts:vype-abstract_xkotas02_xkozak12.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xkotas02_xkozak12.pdf|Slides}}) | * 10:40-10:50 [[xkotas02@stud.fit.vutbr.cz|Kotásek Marek]], [[xkozak12@stud.fit.vutbr.cz|Kozák Filip]]: Code Generation: Symbol Table ({{lectures:lta:2012_abstracts:vype-abstract_xkotas02_xkozak12.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xkotas02_xkozak12.pdf|Slides}}) |
* 10:50-11:00 [[xnovos10@stud.fit.vutbr.cz|Novosád Adrián]], [[xrohov01@stud.fit.vutbr.cz|Rohovský Tomáš]]: Declarations ({{lectures:lta:2012_abstracts:vype-abstract_xnovos10_xrohov01.pdf|Abstract}}) | * 10:50-11:00 [[xnovos10@stud.fit.vutbr.cz|Novosád Adrián]], [[xrohov01@stud.fit.vutbr.cz|Rohovský Tomáš]]: Declarations ({{lectures:lta:2012_abstracts:vype-abstract_xnovos10_xrohov01.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xnovos10_xrohov01.pdf|Slides}}) |
* 11:00-11:10 [[xhudec24@stud.fit.vutbr.cz|Hudec Lukáš]], [[xkorgo00@stud.fit.vutbr.cz|Korgo Tomáš]]: Expressions ({{lectures:lta:2012_abstracts:vype-abstract_xhudec24_xkorgo00.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xkorgo00_xhudec24.pdf|Slides}}) | * 11:00-11:10 [[xhudec24@stud.fit.vutbr.cz|Hudec Lukáš]], [[xkorgo00@stud.fit.vutbr.cz|Korgo Tomáš]]: Expressions ({{lectures:lta:2012_abstracts:vype-abstract_xhudec24_xkorgo00.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xkorgo00_xhudec24.pdf|Slides}}) |
* 11:10-11:20 [[xmraze03@stud.fit.vutbr.cz|Mrázek Petr]], [[xsalek05@stud.fit.vutbr.cz|Šálek Jiří]]: Statements and Control Flow ({{lectures:lta:2012_abstracts:vype-abstract_xmraze03_xsalek05.pdf|Abstract}}) | * 11:10-11:20 [[xmraze03@stud.fit.vutbr.cz|Mrázek Petr]], [[xsalek05@stud.fit.vutbr.cz|Šálek Jiří]]: Statements and Control Flow ({{lectures:lta:2012_abstracts:vype-abstract_xmraze03_xsalek05.pdf|Abstract}}, {{:lectures:lta:2012_abstracts:vype-presentation_xmraze03_xsalek05.pdf|Slides}}) |
* 11:20-11:30 [[xodalo00@stud.fit.vutbr.cz|Odaloš Matej]], [[xpoles01@stud.fit.vutbr.cz|Polesný Ondřej]]: Optimization Strategies ({{lectures:lta:2012_abstracts:vype-abstract_xodalo00_xpoles01.pdf|Abstract}}) | * 11:20-11:30 [[xodalo00@stud.fit.vutbr.cz|Odaloš Matej]], [[xpoles01@stud.fit.vutbr.cz|Polesný Ondřej]]: Optimization Strategies ({{lectures:lta:2012_abstracts:vype-abstract_xodalo00_xpoles01.pdf|Abstract}}, {{:lectures:lta:2012_abstracts:vype-presentation_xodalo00_xpoles01.pdf|Slides}}) |
* | * |
* 11:40-11:50 [[xklapu00@stud.fit.vutbr.cz|Klapuchová Mirka]], [[xwosra00@stud.fit.vutbr.cz|Woś Radek]]: lex & yacc: Advanced Features ({{lectures:lta:2012_abstracts:vype-abstract_xklapu00_xwosra00.pdf|Abstract}}) | * 11:40-11:50 [[xklapu00@stud.fit.vutbr.cz|Klapuchová Mirka]], [[xwosra00@stud.fit.vutbr.cz|Woś Radek]]: lex & yacc: Advanced Features ({{lectures:lta:2012_abstracts:vype-abstract_xklapu00_xwosra00.pdf|Abstract}}) |
* 12:10-12:20 [[xkopec06@stud.fit.vutbr.cz|Kopecký Jiří]], [[xkucer61@stud.fit.vutbr.cz|Kučera Martin]]: Introduction to Small Device C Compiler ({{lectures:lta:2012_abstracts:vype-abstract_xkopec06_xkucer61.pdf|Abstract}}) | * 12:10-12:20 [[xkopec06@stud.fit.vutbr.cz|Kopecký Jiří]], [[xkucer61@stud.fit.vutbr.cz|Kučera Martin]]: Introduction to Small Device C Compiler ({{lectures:lta:2012_abstracts:vype-abstract_xkopec06_xkucer61.pdf|Abstract}}) |
* 12:20-12:30 [[xbaruc00@stud.fit.vutbr.cz|Baručák Robert]], [[xsulek00@stud.fit.vutbr.cz|Šulek Jakub]]: Introduction to LLVM Compiler Infrastructure ({{lectures:lta:2012_abstracts:vype-abstract_xbaruc00_xsulek00.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xbaruc00_xsulek00.pdf|Slides}}) | * 12:20-12:30 [[xbaruc00@stud.fit.vutbr.cz|Baručák Robert]], [[xsulek00@stud.fit.vutbr.cz|Šulek Jakub]]: Introduction to LLVM Compiler Infrastructure ({{lectures:lta:2012_abstracts:vype-abstract_xbaruc00_xsulek00.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xbaruc00_xsulek00.pdf|Slides}}) |
* 12:30-12:40 [[xmatul01@stud.fit.vutbr.cz|Matula Peter]]: Reconstruction of Data Types for Decompilation ({{lectures:lta:2012_abstracts:vype-abstract_xmatul01.pdf|Abstract}}) | * 12:30-12:40 [[xmatul01@stud.fit.vutbr.cz|Matula Peter]]: Reconstruction of Data Types for Decompilation ({{lectures:lta:2012_abstracts:vype-abstract_xmatul01.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xmatul01.pdf|Slides}}) |
| |
| |
* Talks: | * Talks: |
* 13:00-13:10 [[xchalo09@stud.fit.vutbr.cz|Chaloupka David]], [[xchalo08@stud.fit.vutbr.cz|Chaloupka Jan]]: Foundations of Data-Flow Analysis & Constant Propagation ({{lectures:lta:2012_abstracts:vype-abstract_xchalo08_xchalo09.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xchalo08_xchalo09.pdf|Slides}}) | * 13:00-13:10 [[xchalo09@stud.fit.vutbr.cz|Chaloupka David]], [[xchalo08@stud.fit.vutbr.cz|Chaloupka Jan]]: Foundations of Data-Flow Analysis & Constant Propagation ({{lectures:lta:2012_abstracts:vype-abstract_xchalo08_xchalo09.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xchalo08_xchalo09.pdf|Slides}}) |
* 13:10-13:20 [[xbarte09@stud.fit.vutbr.cz|Barteček Jakub]], [[xkanic00@stud.fit.vutbr.cz|Kanich Ondřej]]: Loops in Flow Graphs ({{lectures:lta:2012_abstracts:vype-abstract_xbarte09_xkanic00.pdf|Abstract}}) | * 13:10-13:20 [[xbarte09@stud.fit.vutbr.cz|Barteček Jakub]], [[xkanic00@stud.fit.vutbr.cz|Kanich Ondřej]]: Loops in Flow Graphs ({{lectures:lta:2012_abstracts:vype-abstract_xbarte09_xkanic00.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xbarte09_xkanic00.pdf|Slides}}) |
* 13:20-13:30 [[xfesar00@stud.fit.vutbr.cz|Fešar Marek]], [[xfiedo01@stud.fit.vutbr.cz|Fiedor Tomáš]]: Interprocedural Analysis: Basic Concepts & Why? ({{lectures:lta:2012_abstracts:vype-abstract_xfesar00_xfiedo01.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xfesar00_xfiedo01.pdf|Slides}}) | * 13:20-13:30 [[xfesar00@stud.fit.vutbr.cz|Fešar Marek]], [[xfiedo01@stud.fit.vutbr.cz|Fiedor Tomáš]]: Interprocedural Analysis: Basic Concepts & Why? ({{lectures:lta:2012_abstracts:vype-abstract_xfesar00_xfiedo01.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xfesar00_xfiedo01.pdf|Slides}}) |
* 13:30-13:40 [[xhorni09@stud.fit.vutbr.cz|Horníček Ondřej]]: Context-Insensitive Interprocedural Analysis & Context-Sensitive Pointer Analysis ({{lectures:lta:2012_abstracts:vype-abstract_xhorni09.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xhorni09.pdf|Slides}}) | * 13:30-13:40 [[xhorni09@stud.fit.vutbr.cz|Horníček Ondřej]]: Context-Insensitive Interprocedural Analysis & Context-Sensitive Pointer Analysis ({{lectures:lta:2012_abstracts:vype-abstract_xhorni09.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xhorni09.pdf|Slides}}) |