Updates

Author: programLyrique

_includes/footer.html

@@ -1,6 +1,6 @@
     <!--Footer-->
     <footer class="container-fluid">
-    <p>© Copyright Czech technical university in Prague 2016-2017 | made by <a href="http://www.catchexception.cz/" target="_blank">Catchexception s.r.o.</a></p>
+    <p>© Copyright Czech technical university in Prague 2016-2023 | made by <a href="http://www.catchexception.cz/" target="_blank">Catchexception s.r.o.</a></p>
 </footer>
     <!--Loader-->
 </div>

contact.md

@@ -3,7 +3,7 @@ layout: default
 title: Contact
 ---
 
-For general inquiries email: [[email protected]](mailto:[email protected])
+For general inquiries email: [[email protected]](mailto:[email protected])
 
 **Location:**
 

people.md

@@ -33,7 +33,7 @@ people:
     - MSc, University of Victoria, 1995
     note: "I work on the design and implementation of programming languages. I led the implementation of the first real-time Java virtual machine to be flight-tested. With Noble and Potter, I proposed what became known as Ownership Types.  I tried to understand JavaScript by dynamic analysis and am now looking at supporting scalable data analysis in R."
 
-  - type: researcher
+  - type: alumni
     name: Tomáš Kalibera
     photo: tomas_kalibera.jpg
     title: Researcher
@@ -82,20 +82,6 @@ people:
     - PhD, Poznań University of Technology, 2017
     note: "I am interested in contributing to programming language research, which is a new field to me. I have a background in distributed computing, concurrency, and transactional memory. I am currently exploring the R language, its compilation, tracing, and static analysis."
 
-  - type: researcher
-    name: Alexander Kovalenko
-    photo: alexander_kovalenko.jpg
-    title: Post-doctoral researcher
-    email: [email protected]
-    web:
-    bio:
-    - Joined Czech Technical University, 2019
-    - Post-doc at Johannes Kepler University, 2018
-    - Post-doc at NOVA University Lisbon, 2016
-    - Post-doc at Jaume I University, 2013
-    - Post-doc at Brno University of Technology, 2012
-    - Ph.D., Czech Technical University, 2012
-    note: "Being a curious person, I am fascinated by the new Machine Learning techniques, that can bring an additional value of intelligence to nearly every field in our lives. My current goal is to implement Machine Learning methods in the project."
 
   - type: researcher
     name: Pierre Donat-Bouillud
@@ -219,6 +205,21 @@ people:
     - Joined Czech Technical University, 2021
     note: " I am interested in the runtimes of programming languages."
 
+  - type: researcher
+    name: Alexander Kovalenko
+    photo: alexander_kovalenko.jpg
+    title: Post-doctoral researcher
+    email: [email protected]
+    web:
+    bio:
+    - Joined Czech Technical University, 2019
+    - Post-doc at Johannes Kepler University, 2018
+    - Post-doc at NOVA University Lisbon, 2016
+    - Post-doc at Jaume I University, 2013
+    - Post-doc at Brno University of Technology, 2012
+    - Ph.D., Czech Technical University, 2012
+    note: "Being a curious person, I am fascinated by the new Machine Learning techniques, that can bring an additional value of intelligence to nearly every field in our lives. My current goal is to implement Machine Learning methods in the project."
+
   - type: alumni
     name: Guido Chari
     photo: guido_chari.jpg

software.md

@@ -15,6 +15,13 @@ A dynamic tracing framework for R. It instruments the execution of R code with c
 
 More information at [https://github.com/PRL-PRG/R-dyntrace](https://github.com/PRL-PRG/R-dyntrace)
 
+# sxpdb
+
+A database to store R values.
+
+More information at [https://github.com/PRL-PRG/sxpdb](https://github.com/PRL-PRG/sxpdb)
+
+
 ## Genthat
 
 A framework for automated unit tests generation for R.

student-projects.md

@@ -118,23 +118,6 @@ It should be possible to navigate the state of an analysis depending on where it
 - [NI-APR course](https://courses.fit.cvut.cz/NI-APR/)
 - [D3.js](https://d3js.org/)
 
-# Symbolic execution for R
-
-_with Pierre Donat-Bouillud_
-
-Symbolic execution is a program analysis technique that explores all the paths of a program and solve the various conditions along the paths using a SMT solver. It can create concrete examples of what leads to a particular path, what leads to some bug. 
-
-Building a symbolic execution engine is usually along and complex endeavour. However, in "Prototyping symbolic execution engines for interpreted languages", Bucur et al. 2014, authors present a simple but powerful idea that enabled them to implement symbolic execution for Python and Lua in respectively 5 and 3 days. 
-
-The idea is to use an existing symbolic execution engine for binary code, and to run it on the interpreter of the targeted language, e.g. the Python interpreter. It also requires to make the symbolic execution aware of the high-level CFG of the program. To get acceptable performance, the Python/Lua interpreter also has to be unoptimized!
-
-The goal will be to use the same approach for the R language. 
-
-**Interests:** R, symbolic execution
-
-**Links:**
-
-- [Prototyping symbolic execution engines for interpreted languages](https://dl.acm.org/doi/abs/10.1145/2654822.2541977)
 
 ## Interpreter Design and Implementation
 
@@ -168,18 +151,3 @@ results on each commit of a system. Track performance and memory footprint, as
 well as other health indicators.
 
 **Interests:** Scripting, System programming, JavaScript
-
-## Semantics Specification
-  
-Write down the formal semantics of a subset of the R language using a
-lightweight semantic specification tool such as Redex. Define the semantics of
-features such as objects and lazy evaluation. Implement a test suite that
-validates the correctness of the semantics.
-
-**Interests:** programming languages
-
-**Links:**
-- [https://redex.racket-lang.org](https://redex.racket-lang.org)
-- [https://link.springer.com/chapter/10.1007%2F978-3-642-31057-7_6](https://link.springer.com/chapter/10.1007%2F978-3-642-31057-7_6)
-- [https://github.com/reactorlabs/core-r/blob/master/core-r.rkt](https://github.com/reactorlabs/core-r/blob/master/core-r.rkt)
-    

videos.md

@@ -2,6 +2,46 @@
 layout: videos
 title: Presentations and Conference Talks
 videos:
+  - title:   "Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations"
+    speaker: "Olivier Flückiger"
+    youtube: 69FAjHqESTQ
+    link:    "https://youtu.be/69FAjHqESTQ"
+    venue:   "PLDI 2022"
+    date:    "15 June 2022"
+    place:   "San Diego, USA" 
+
+  - title:   "What we Eval in the Shadows"
+    speaker: "Aviral Goel"
+    youtube: aEPd8ijSHuI
+    link:    "https://youtu.be/aEPd8ijSHuI"
+    venue:   "OOPSLA 2021"
+    date:    "21 October 2021"
+    place:   "Chicago, USA" 
+
+  - title:   "Promises Are Made to be Broken: Migrating R to Strict Semantics"
+    speaker: "Aviral Goel"
+    youtube: 8L_a7mhYdyM
+    link:    "https://youtu.be/8L_a7mhYdyM"
+    venue:   "OOPSLA 2021"
+    date:    "21 October 2021"
+    place:   "Chicago, USA" 
+
+  - title:   "Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation "
+    speaker: "Artem Pelenitsyn"
+    youtube: XnUDdPonKlU
+    link:    "https://youtu.be/XnUDdPonKlU"
+    venue:   "OOPSLA 2021"
+    date:    "21 October 2021"
+    place:   "Chicago, USA" 
+
+  - title:   "Formally Verified Speculation and Deoptimization in a JIT Compiler"
+    speaker: "Aurèle Barrière"
+    youtube: 1W1LQWBVfz4
+    link:    "https://youtu.be/1W1LQWBVfz4"
+    venue:   "POPL 2021"
+    date:    "20 January 2021"
+    place:   "Virtual POPL" 
+
   - title:   "The Current State and Future Prospects of Encoding Support in R"
     speaker: "Tomaš Kalibera"
     youtube: J9lraMP1ono