Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Last revisionBoth sides next revision
lectures:lta:lta12 [2012/12/12 13:47] – [SESSION 5 - COMPILERS: Thursday, December 13, 2012, 10:00 - 13:00] krivkalectures:lta:lta12 [2013/01/23 18:52] – [Recordings] krivka
Line 37: Line 37:
   * **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|Video recordings of all 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}}) 
Line 57: Line 61:
     * 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: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}})
  
  
Line 78: Line 82:
   * **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}})
Line 99: Line 104:
     * 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: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}}, {{:lectures:lta:2012_abstracts:vype-presentation_xodalo00_xpoles01.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}}, {{:lectures:lta:2012_abstracts:vype-presentation_xodalo00_xpoles01.pdf|Slides}})
   *    * 
Line 110: Line 115:
     * 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}}, {{.2012_abstracts:vype-presentation_xmatul01.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}}, {{.2012_abstracts:vype-presentation_xmatul01.pdf|Slides}})
 +
  
  
lectures/lta/lta12.txt · Last modified: 2013/01/23 18:52 by krivka
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki