Последние добавленные видео:
Artifacts-Evaluated-—-Functional
-
4 года назад
372 4 года назад 14:03Community Expectations for Research Artifacts and Evaluation Processes (Video, ESEC/FSE 2020)
-
4 года назад
11 4 года назад 2:02Community Expectations for Research Artifacts and Evaluation Processes (Teaser, ESEC/FSE 2020)
-
2 года назад
29 2 года назад 41:00NDSS 2022 LASER - Invited Talk: Reflections on Artifact Evaluation - Eric Eide
-
4 года назад
125 4 года назад 20:15An Evaluation of Methods to Port Legacy Code to SGX Enclaves (Video, ESEC/FSE 2020)
-
1 год назад
133 1 год назад 18:57"Artifact Evaluation for the Field Programmable Gate Array Community" - Miriam Leeser (Latch_2024)
-
4 года назад
14 4 года назад 2:01An Evaluation of Methods to Port Legacy Code to SGX Enclaves (Teaser, ESEC/FSE 2020)
-
4 года назад
47 4 года назад 18:18Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage (Video, ESEC/FSE 2020)
-
![[OOPSLA23] Simple Reference Immutability for System F-sub](https://i.ytimg.com/vi/TttfV6ojjtg/mqdefault.jpg)
1 год назад
107 1 год назад 14:44[OOPSLA23] Simple Reference Immutability for System F-sub
-
![[OOPSLA24] Intensional Functions](https://i.ytimg.com/vi/X5HEOVcqxfk/mqdefault.jpg)
2 месяца назад
24 2 месяца назад 18:55[OOPSLA24] Intensional Functions
-
![[PLDI'23] Trace-Guided Inductive Synthesis of Recursive Functional Programs](https://i.ytimg.com/vi/GNXnak4zMcI/mqdefault.jpg)
1 год назад
48 1 год назад 19:57[PLDI'23] Trace-Guided Inductive Synthesis of Recursive Functional Programs
-
![[PLDI'23] PureCake: A Verified Compiler for a Lazy Functional Language](https://i.ytimg.com/vi/5sQX5cHdQ-I/mqdefault.jpg)
1 год назад
263 1 год назад 16:49[PLDI'23] PureCake: A Verified Compiler for a Lazy Functional Language
-
![[PLDI24] A Verified Compiler for a Functional Tensor Language](https://i.ytimg.com/vi/7jfCGkfCg7M/mqdefault.jpg)
10 месяцев назад
142 10 месяцев назад 18:01[PLDI24] A Verified Compiler for a Functional Tensor Language
-
![[ICFP24] Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost(…)](https://i.ytimg.com/vi/yPTDCWbM6ZE/mqdefault.jpg)
6 месяцев назад
16 6 месяцев назад 19:49[ICFP24] Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost(…)
-
![[PLDI'23] Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations](https://i.ytimg.com/vi/Yz1dGw_rAzQ/mqdefault.jpg)
1 год назад
27 1 год назад 18:53[PLDI'23] Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
-
4 года назад
181 4 года назад 17:21Mining Input Grammars from Dynamic Control Flow (Video, ESEC/FSE 2020)
-
9 месяцев назад
438969 9 месяцев назад 8:47Amphoras Brilliant Practical Design! | The Known Uses, Plus A New Idea!
-
![[OOPSLA24] AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects](https://i.ytimg.com/vi/yNBcfIqhzNs/mqdefault.jpg)
2 месяца назад
4 2 месяца назад 18:17[OOPSLA24] AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
-
![[OOPSLA24] Weighted Context-Free-Language Ordered Binary Decision Diagrams](https://i.ytimg.com/vi/W_1-YXZPuRo/mqdefault.jpg)
2 месяца назад
9 2 месяца назад 20:45[OOPSLA24] Weighted Context-Free-Language Ordered Binary Decision Diagrams
-
4 года назад
295 4 года назад 2:00Efficient Binary-Level Coverage Analysis (Teaser, ESEC/FSE 2020)
-
![[ICFP'22] Monadic Compiler Calculation (Functional Pearl)](https://i.ytimg.com/vi/fjsbxVxWJ1o/mqdefault.jpg)
2 года назад
737 2 года назад 15:22[ICFP'22] Monadic Compiler Calculation (Functional Pearl)