Hoang Giang Share
Janusz
办美国文凭加拿大文凭澳洲文凭英国文凭学位证毕业证成绩单
Veinas bọt EPE máy móc
Wendy Ye
[PLDI'23] Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
110 views
1 year ago
[PLDI'23] Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
![[PLDI'23] Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages](http://i.ytimg.com/vi/30Lv7cTLru4/mqdefault.jpg "[PLDI'23] Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages")
![[PLDI'23] Loop Rerolling for Hardware Decompilation](http://i.ytimg.com/vi/LG0rHhfohFo/mqdefault.jpg "[PLDI'23] Loop Rerolling for Hardware Decompilation")
![[PLDI'23] PureCake: A Verified Compiler for a Lazy Functional Language](http://i.ytimg.com/vi/5sQX5cHdQ-I/mqdefault.jpg "[PLDI'23] PureCake: A Verified Compiler for a Lazy Functional Language")
![[ICFP24] Compiled, Extensible, Multi-language DSLs (Functional Pearl)](http://i.ytimg.com/vi/VrGpc6R9dCI/mqdefault.jpg "[ICFP24] Compiled, Extensible, Multi-language DSLs (Functional Pearl)")
![[SPLASH-E23] A Framework for the Localization of Programming Languages](http://i.ytimg.com/vi/TBN5ZW8KY_g/mqdefault.jpg "[SPLASH-E23] A Framework for the Localization of Programming Languages")
![[PLDI'23] ImageEye: Batch Image Processing using Program Synthesis](http://i.ytimg.com/vi/0PJgcibndes/mqdefault.jpg "[PLDI'23] ImageEye: Batch Image Processing using Program Synthesis")
![[PLDI'23] Repairing Regular Expressions for Extraction](http://i.ytimg.com/vi/pbXB5ht0QM0/mqdefault.jpg "[PLDI'23] Repairing Regular Expressions for Extraction")
![[PLDI'23] Cakes That Bake Cakes: Dynamic Computation in CakeML](http://i.ytimg.com/vi/TZO-NVomNGY/mqdefault.jpg "[PLDI'23] Cakes That Bake Cakes: Dynamic Computation in CakeML")
![[PLDI'23] Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation](http://i.ytimg.com/vi/RP91zxeW0iA/mqdefault.jpg "[PLDI'23] Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation")
![[DLS23] Is Polyglot Programming Really a Thing?](http://i.ytimg.com/vi/-bwLrKG9qfo/mqdefault.jpg "[DLS23] Is Polyglot Programming Really a Thing?")
![[PLDI'23] Architecture-Preserving Provable Repair of Deep Neural Networks](http://i.ytimg.com/vi/CO6MpAle-HU/mqdefault.jpg "[PLDI'23] Architecture-Preserving Provable Repair of Deep Neural Networks")
![[OOPSLA23] Accelerating Fuzzing through Prefix-Guided Execution](http://i.ytimg.com/vi/axz_9we4-JA/mqdefault.jpg "[OOPSLA23] Accelerating Fuzzing through Prefix-Guided Execution")
![[PLDI24] [TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams](http://i.ytimg.com/vi/F_Z0z4fabGo/mqdefault.jpg "[PLDI24] [TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams")