| ←Older revision |
Revision as of 15:36, 15 May 2026 |
| Line 59: |
Line 59: |
| | * turned [[Enso]] into stable, fast, robust, and rock solid, production ready [[Enso2026|live coding environment]] | | * turned [[Enso]] into stable, fast, robust, and rock solid, production ready [[Enso2026|live coding environment]] |
| | * Realized [[Dual JVM]] mode for [[Java]] applications - starting blazingly fast (the [[AOT]] compiled code part) while still using [[HotSpot]] [[JVM]] then | | * Realized [[Dual JVM]] mode for [[Java]] applications - starting blazingly fast (the [[AOT]] compiled code part) while still using [[HotSpot]] [[JVM]] then |
| - |
| |
| - | === Theoretical Work ===
| |
| - |
| |
| - | [[Media:Typing_in_terms_of_graphs.pdf|Typing in terms of graphs]] - master thesis at [[MatFyz]] describing type system similar to what later became [[Generics]] in [[Java]]. The paper is using unique, graph based terminology.
| |
| - |
| |
| - | [[RangeDependenciesAnalysed|Proofs of NP-Completeness]] of various topics related to [[modularity]] with practical implications for anyone designing or using a module system.
| |
| | | | |
| | === Publications & Presentations === | | === Publications & Presentations === |
| Line 77: |
Line 71: |
| | | | |
| | Teaching at [[Charles University]]'s [[MatFyz]] for few years (during [[OracleLabs]] employment). My [https://d3s.mff.cuni.cz/teaching/nswi176/ Practical Dynamic Compilation] attracted few interns into [[OracleLabs]]. At least two of them turned into regular employees then. See [https://denik.xelfi.cz/o/Dynamick%C3%BDP%C5%99ekladPrakticky twenty hours of video (in Czech)] | | Teaching at [[Charles University]]'s [[MatFyz]] for few years (during [[OracleLabs]] employment). My [https://d3s.mff.cuni.cz/teaching/nswi176/ Practical Dynamic Compilation] attracted few interns into [[OracleLabs]]. At least two of them turned into regular employees then. See [https://denik.xelfi.cz/o/Dynamick%C3%BDP%C5%99ekladPrakticky twenty hours of video (in Czech)] |
| | + | |
| | + | === Theoretical Work === |
| | + | |
| | + | [[Media:Typing_in_terms_of_graphs.pdf|Typing in terms of graphs]] - master thesis at [[MatFyz]] describing type system similar to what later became [[Generics]] in [[Java]]. The paper is using unique, graph based terminology. |
| | + | |
| | + | [[RangeDependenciesAnalysed|Proofs of NP-Completeness]] of various topics related to [[modularity]] with practical implications for anyone designing or using a module system. |
| | | | |
| | === Technical Skills === | | === Technical Skills === |