Последние добавленные видео:
doi:10.1145
-
10 месяцев назад
5 10 месяцев назад 13:42SolMover:
-
2 года назад
27 2 года назад 2:05DOI：
-
2 года назад
45 2 года назад 6:35HRI2023 Presentation Video
-
5 месяцев назад
11 5 месяцев назад 19:1810.1145/3185517 - A Review of User Interface Design for Interactive Machine Learning
-
![[Haskell24] Functional Reactive Programming, Rearranged](https://i.ytimg.com/vi/bPO14nEcBh0/mqdefault.jpg)
7 месяцев назад
90 7 месяцев назад 28:35[Haskell24] Functional Reactive Programming, Rearranged
-
![[SOAP24] ValBench: Benchmarking exact value analysis](https://i.ytimg.com/vi/U6n7_bJmbl4/mqdefault.jpg)
11 месяцев назад
22 11 месяцев назад 18:00[SOAP24] ValBench: Benchmarking exact value analysis
-
4 года назад
124 4 года назад 21:24Removing Spurious Features can Hurt Accuracy and Affect Groups Disproportionately
-
3 года назад
207 3 года назад 4:00Pirouette: Higher-Order Typed Functional Choreographies (Teaser)
-
7 часов назад
0 7 часов назад 9:50ACE-in-Action: A Smart DBMS Bufferpool for SSDs (SIGMOD 2025)
-
3 дня назад
18520 3 дня назад 24:20AI Is Ruining Etsy.
-
3 года назад
254 3 года назад 4:56Relational E-Matching (Teaser)
-
![[POPL'22] Dependently-Typed Data Plane Programming](https://i.ytimg.com/vi/VB6UJXKUmjg/mqdefault.jpg)
3 года назад
178 3 года назад 21:41[POPL'22] Dependently-Typed Data Plane Programming
-
![[PEPM'25] Typed Program Analysis Without Encodings](https://i.ytimg.com/vi/aer5fH-OxeE/mqdefault.jpg)
2 месяца назад
26 2 месяца назад 32:13[PEPM'25] Typed Program Analysis Without Encodings
-
3 года назад
134 3 года назад 2:22Safe, Modular Packet Pipeline Programming (Teaser)
-
3 года назад
181 3 года назад 12:20Gleipnir: toward practical error analysis for Quantum programs
-
3 года назад
178 3 года назад 21:08CASE STUDY: No Door Handle, No Entry! Expressing Cues through a Shape-Changing Door
-
4 дня назад
20115 4 дня назад 3:43Research News: Using WiFi RF Signals to Read Minds?
-
![[POPL'22] Relational E-matching](https://i.ytimg.com/vi/88Mq1Zba_1I/mqdefault.jpg)
3 года назад
424 3 года назад 25:50[POPL'22] Relational E-matching