lectures:lta:lta13
 
Trace:

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
lectures:lta:lta13 [2013/12/04 23:28] – krivkalectures:lta:lta13 [2013/12/16 17:16] (current) – [SESSION 3 - ADVANCED COMPILER WRITING: Wednesday, December 18, 2013, 10:00 - 13:00] krivka
Line 61: Line 61:
       * [[xkrcma04@stud.fit.vutbr.cz|Krčmář Radim]]: Lexical/syntactical structures and internals of ML programming language ({{:lectures:lta:2013_abstracts:vype_xkrcma04_xkrcma04_abstract.pdf|Abstract}})       * [[xkrcma04@stud.fit.vutbr.cz|Krčmář Radim]]: Lexical/syntactical structures and internals of ML programming language ({{:lectures:lta:2013_abstracts:vype_xkrcma04_xkrcma04_abstract.pdf|Abstract}})
       * [[xbamba01@stud.fit.vutbr.cz|Bambas Tomáš]], [[xmasek11@stud.fit.vutbr.cz|Mašek Jiří]]: Vala programming language and its compiler ({{:lectures:lta:2013_abstracts:vype_xbamba01_xmasek11_abstract.pdf|Abstract}})       * [[xbamba01@stud.fit.vutbr.cz|Bambas Tomáš]], [[xmasek11@stud.fit.vutbr.cz|Mašek Jiří]]: Vala programming language and its compiler ({{:lectures:lta:2013_abstracts:vype_xbamba01_xmasek11_abstract.pdf|Abstract}})
-    * 11:55 - 12:35+    * 11:55 - 12:25
       * [[xkopec36@stud.fit.vutbr.cz|Kopecký Marek]], [[xkubik22@stud.fit.vutbr.cz|Kubík Lukáš]]: Region-Based Analysis ({{:lectures:lta:2013_abstracts:vype_xkopec36_xkubik22_abstract.pdf|Abstract}})       * [[xkopec36@stud.fit.vutbr.cz|Kopecký Marek]], [[xkubik22@stud.fit.vutbr.cz|Kubík Lukáš]]: Region-Based Analysis ({{:lectures:lta:2013_abstracts:vype_xkopec36_xkubik22_abstract.pdf|Abstract}})
       * [[xplach02@stud.fit.vutbr.cz|Plachý Tomáš]], [[xpramu00@stud.fit.vutbr.cz|Pramuka Tomáš]]: Logical Representation of Data Flow & Simple Pointer-Analysis Algorithm ({{:lectures:lta:2013_abstracts:vype_xplach02_xpramu00_abstract.pdf|Abstract}})       * [[xplach02@stud.fit.vutbr.cz|Plachý Tomáš]], [[xpramu00@stud.fit.vutbr.cz|Pramuka Tomáš]]: Logical Representation of Data Flow & Simple Pointer-Analysis Algorithm ({{:lectures:lta:2013_abstracts:vype_xplach02_xpramu00_abstract.pdf|Abstract}})
-      * [[xkaspa34@stud.fit.vutbr.cz|Kašpar David]]: Predator - A Formal Verification Tool ({{:lectures:lta:2013_abstracts:lta_xkaspa34_abstract.pdf|Abstract}}) +    * 12:25 - 12:45
-    * 12:35 - 12:55+
       * [[xskvar06@stud.fit.vutbr.cz|Škvařilová Radka]]: Modified Deep Pushdown Automata ({{:lectures:lta:2013_abstracts:vype_xskvar06_abstract.pdf|Abstract}})       * [[xskvar06@stud.fit.vutbr.cz|Škvařilová Radka]]: Modified Deep Pushdown Automata ({{:lectures:lta:2013_abstracts:vype_xskvar06_abstract.pdf|Abstract}})
       * [[xkajan05@stud.fit.vutbr.cz|Kajan Dušan]]: Scattered Context Grammars and Their Applications in Natural Language Analysis ({{:lectures:lta:2013_abstracts:vype_xkajan05_abstract.pdf|Abstract}})       * [[xkajan05@stud.fit.vutbr.cz|Kajan Dušan]]: Scattered Context Grammars and Their Applications in Natural Language Analysis ({{:lectures:lta:2013_abstracts:vype_xkajan05_abstract.pdf|Abstract}})
Line 76: Line 75:
  
   * Talks:   * Talks:
-    * 09:00 - 10:20 Opening Talk +    * 09:00 - 10:20 Main talk 
-      * Meduna Alexander, Zemek Petr: Regulated Grammars and Automata ({{:lectures:lta:2013_abstracts:lta_opening_talk_abstract.pdf|Abstract}})+      * **Meduna Alexander, Zemek Petr: Regulated Grammars and Automata** ({{:lectures:lta:2013_abstracts:lta_opening_talk_abstract.pdf|Abstract}})
   * Talks (//Theory//):   * Talks (//Theory//):
     * 10:20 - 10:40 [[xkucer28@stud.fit.vutbr.cz|Kučera Jiří]]: On State-Synchronized Automata Systems ({{:lectures:lta:2013_abstracts:tid_xkucer28_abstract.pdf|Abstract}})     * 10:20 - 10:40 [[xkucer28@stud.fit.vutbr.cz|Kučera Jiří]]: On State-Synchronized Automata Systems ({{:lectures:lta:2013_abstracts:tid_xkucer28_abstract.pdf|Abstract}})
     * 10:40 - 11:00 [[xsouku09@stud.fit.vutbr.cz|Soukup Ondřej]]: Alternative Modes of Scattered Context Derivations ({{:lectures:lta:2013_abstracts:tid_xsouku09_abstract.pdf|Abstract}})     * 10:40 - 11:00 [[xsouku09@stud.fit.vutbr.cz|Soukup Ondřej]]: Alternative Modes of Scattered Context Derivations ({{:lectures:lta:2013_abstracts:tid_xsouku09_abstract.pdf|Abstract}})
-    * 11:00 - 11:20 [[xnavra23@stud.fit.vutbr.cz|Navrátil Ondřej]]: Translation State Systems With a Limited Distribution ({{:lectures:lta:2013_abstracts:tid_xnavra23_abstract.pdf|Abstract}}) +    * 11:00 - 11:20 [[xchalo08@stud.fit.vutbr.cz|Chaloupka Jan]]: Transformation of Ordinary Differential Equations Into an Equivalent Polynomial Form ({{:lectures:lta:2013_abstracts:tid_xchalo08_abstract.pdf|Abstract}}) 
-    * 11:20 - 11:40 [[xchalo08@stud.fit.vutbr.cz|Chaloupka Jan]]: Transformation of Ordinary Differential Equations Into an Equivalent Polynomial Form ({{:lectures:lta:2013_abstracts:tid_xchalo08_abstract.pdf|Abstract}}) +    * 11:20 - 11:40 [[xyouss00@stud.fit.vutbr.cz|Youssef Sawsan]]: Parse Tree in Context-Free Parallel Communicating Grammar Systems ({{:lectures:lta:2013_abstracts:tid_xyouss00_abstract.pdf|Abstract}}) 
-    * 11:40 - 12:00 [[xyouss00@stud.fit.vutbr.cz|Youssef Sawsan]]: Parse Tree in Context-Free Parallel Communicating Grammar Systems ({{:lectures:lta:2013_abstracts:tid_xyouss00_abstract.pdf|Abstract}})+    * 11:40 - 12:00 [[xnavra23@stud.fit.vutbr.cz|Navrátil Ondřej]]: Translation State Systems With a Limited Distribution ({{:lectures:lta:2013_abstracts:tid_xnavra23_abstract.pdf|Abstract}})
   * Talks (//Type Systems, Visualization and Geometry//):   * Talks (//Type Systems, Visualization and Geometry//):
     * 12:00 - 12:20 [[xmatul01@stud.fit.vutbr.cz|Matula Peter]]: Type Systems, Their Models and Usage in Decompilation ({{:lectures:lta:2013_abstracts:tid_xmatul01_abstract.pdf|Abstract}})     * 12:00 - 12:20 [[xmatul01@stud.fit.vutbr.cz|Matula Peter]]: Type Systems, Their Models and Usage in Decompilation ({{:lectures:lta:2013_abstracts:tid_xmatul01_abstract.pdf|Abstract}})
Line 102: Line 101:
       * [[xniklv00@stud.fit.vutbr.cz|Nikl Vojtěch]]: Optimizing Compilers - Enhancing Fine-Grained Parallelism       * [[xniklv00@stud.fit.vutbr.cz|Nikl Vojtěch]]: Optimizing Compilers - Enhancing Fine-Grained Parallelism
       * [[xrysav17@stud.fit.vutbr.cz|Ryšavý Michal]], [[xsenko01@stud.fit.vutbr.cz|Senko Jozef]]: Optimiziing Compiler - Creating Coarse-Grained Parallelism ({{:lectures:lta:2013_abstracts:vype_xsenko01_xrysav17_abstract.pdf|Abstract}})       * [[xrysav17@stud.fit.vutbr.cz|Ryšavý Michal]], [[xsenko01@stud.fit.vutbr.cz|Senko Jozef]]: Optimiziing Compiler - Creating Coarse-Grained Parallelism ({{:lectures:lta:2013_abstracts:vype_xsenko01_xrysav17_abstract.pdf|Abstract}})
-      * [[xfouka00@stud.fit.vutbr.cz|Foukal Martin]], [[xsamek01@stud.fit.vutbr.cz|Samek Michal]]: Optimizing Compilers - Improving Register Usage ({{:lectures:lta:2013_abstracts:vype_xfouka00_xsamek01_abstract.pdf|Abstract}})+      * [[xkaspa34@stud.fit.vutbr.cz|Kašpar David]]: Predator - A Formal Verification Tool ({{:lectures:lta:2013_abstracts:lta_xkaspa34_abstract.pdf|Abstract}})
     * 11:30 - 11:40     * 11:30 - 11:40
       * Coffee break       * Coffee break
lectures/lta/lta13.1386196131.txt.gz · Last modified: 2013/12/04 23:28 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