[popl'24] efficient matching of regular expressions with lookaround assertions
Published 8 months ago • 107 plays • Length 21:14Download video MP4
Download video MP3
Similar videos
-
![[pldi24] linear matching of javascript regular expressions](https://i.ytimg.com/vi/VnwKOI8aKmA/mqdefault.jpg)
23:19
[pldi24] linear matching of javascript regular expressions
-
![[popl'24] predictive monitoring against pattern regular languages](https://i.ytimg.com/vi/apf5afr0eEc/mqdefault.jpg)
18:55
[popl'24] predictive monitoring against pattern regular languages
-
![[popl'24] type-based gradual typing performance optimization](https://i.ytimg.com/vi/YHUadoP9ZFg/mqdefault.jpg)
18:21
[popl'24] type-based gradual typing performance optimization
-
![[cpp'24] lean formalization of extended regular expression matching with lookarounds](https://i.ytimg.com/vi/mAj_Hs9AzZc/mqdefault.jpg)
27:56
[cpp'24] lean formalization of extended regular expression matching with lookarounds
-
![[popl'24] calculational design of [in]correctness transformational program logics by abstr...](https://i.ytimg.com/vi/e2F0Y_LIhV4/mqdefault.jpg)
26:11
[popl'24] calculational design of [in]correctness transformational program logics by abstr...
-
![[popl'24] monotonicity and the precision of program analysis](https://i.ytimg.com/vi/m06wlLISzx0/mqdefault.jpg)
21:12
[popl'24] monotonicity and the precision of program analysis
-
![[popl'24] answer refinement modification: refinement type system for algebraic effects and...](https://i.ytimg.com/vi/S4XojkWuEtY/mqdefault.jpg)
22:52
[popl'24] answer refinement modification: refinement type system for algebraic effects and...
-
![[ocaml'23] metaocaml theory and implementation](https://i.ytimg.com/vi/1fn1AEHeu2I/mqdefault.jpg)
28:51
[ocaml'23] metaocaml theory and implementation
-
![[plmw@popl'24] the evolution of effects](https://i.ytimg.com/vi/3CcAxhMw0-c/mqdefault.jpg)
55:08
[plmw@popl'24] the evolution of effects
-
![[popl'24] welcome to popl 2024](https://i.ytimg.com/vi/E-plTaqhBfE/mqdefault.jpg)
8:24
[popl'24] welcome to popl 2024
-
![[popl'24] optimal program synthesis via abstract interpretation](https://i.ytimg.com/vi/OlFnav1sm4A/mqdefault.jpg)
20:04
[popl'24] optimal program synthesis via abstract interpretation
-
![[popl'24] deciding asynchronous hyperproperties for recursive programs](https://i.ytimg.com/vi/RL-gKSxvzfI/mqdefault.jpg)
19:31
[popl'24] deciding asynchronous hyperproperties for recursive programs
-
![[oopsla23] regular expression matching using bit vector automata](https://i.ytimg.com/vi/434zZOikoI0/mqdefault.jpg)
17:57
[oopsla23] regular expression matching using bit vector automata
-
![[popl'24] sound gradual verification with symbolic execution](https://i.ytimg.com/vi/BB1D6R9U-rs/mqdefault.jpg)
18:04
[popl'24] sound gradual verification with symbolic execution
-
![[popl'24] efficient chad](https://i.ytimg.com/vi/HUoUap7nO2U/mqdefault.jpg)
18:58
[popl'24] efficient chad
-
![[popl'24] a universal, sound, and complete forward reasoning technique for machine-verifie...](https://i.ytimg.com/vi/rOGmRSPHQsU/mqdefault.jpg)
20:58
[popl'24] a universal, sound, and complete forward reasoning technique for machine-verifie...
-
4:16
(optional) text processing with floating point numbers using regular expressions
-
![[popl'24] validation of modern json schema: formalization and complexity](https://i.ytimg.com/vi/ZLIekqPCy80/mqdefault.jpg)
19:09
[popl'24] validation of modern json schema: formalization and complexity
-
![[popl'24] polyregular functions on unordered trees of bounded height](https://i.ytimg.com/vi/w5aaxBgabHY/mqdefault.jpg)
19:41
[popl'24] polyregular functions on unordered trees of bounded height
-
![[sessionpreviews@popl'24] higher-order effectful programs: session preview](https://i.ytimg.com/vi/8UAD2hBmI2U/mqdefault.jpg)
7:53
[sessionpreviews@popl'24] higher-order effectful programs: session preview
-
![[popl'24] relu hull approximation](https://i.ytimg.com/vi/Dn4y4PqhvgI/mqdefault.jpg)
18:03
[popl'24] relu hull approximation