Issues
- 0
News: Durga Wins Best Paper!
#180 opened by bendy - 0
News: Last PLDI Announcement
#176 opened by bendy - 0
News: <title>
#174 opened by bendy - 0
News: Julia on Julia
#173 opened by bendy - 0
News: <title>
#171 opened by bendy - 0
- 2
Arkade: k-Nearest Neighbor Search With Non-Euclidean Distances using GPU Ray Tracing
#170 opened by MDurgaKeerthi - 0
- 0
CHI 2024 practice talk- "Is Stack Overflow Obsolete? An Empirical Study of the Characteristics of ChatGPT Answers to Stack Overflow Questions"
#167 opened by SamiaKabir - 0
Seminar Talk: WIP: Coverage-based Synthesis
#166 opened by Pat-Lafon - 0
News: Ashish Joins IITH
#164 opened by bendy - 0
News: ParDiff Accepted!
#163 opened by bendy - 0
News: Taypsi Accepted!
#162 opened by bendy - 0
Seminar Talk: Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations
#161 opened by YuantianDing - 0
Seminar Talk: Efficient Kernel Concurrency Testing through Scalable Kernel Behavior Analysis
#160 opened by sishuaigong - 0
Add member: Joseph Zullo
#158 opened by jazullo - 0
Seminar Talk: Language-based Techniques for Policy-Agnostic Oblivious Computation
#154 opened by ccyip - 0
Seminar Talk: Types and Metaprogramming for Correct, Safe, and Performant Software Systems
#150 opened by Kraks - 0
Add member: Jenna DiVincenzo
#148 opened by jennalwise - 0
News: POPL 4
#147 opened by bendy - 0
News: POPL'24 2
#146 opened by bendy - 0
News: POPL'24 1
#145 opened by bendy - 1
Seminar Talk: Julia: Practical Restrictions for a Scientific-Computing Language
#143 opened by julbinb - 1
- 5
- 2
Fail to build locally
#138 opened by ulysses4ever - 1
Seminar Talk: <title>
#137 opened by aegis-iisc - 0
Add member: Julia Belyakova
#136 opened by julbinb - 1
Add member: Artem Pelenitsyn
#135 opened by ulysses4ever - 4
Seminar Talk: RTailor: Parameterizing Soft Error Resilience for Mixed-Criticality Real-Time Systems
#134 opened by syhuang0 - 0
Add member: Yi Ding
#133 opened by bendy - 0
Seminar Talk: Persistent Processor Architecture
#132 opened by JianpingZeng - 0
News: <title>
#131 opened by bendy - 0
- 0
Seminar Talk: Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks
#129 opened by AmPaschal - 1
- 0
- 0
Edit member: Songlin
#124 opened by Tantalus13A98B5F - 0
News: Morpheus
#123 opened by bendy - 0
Add member: <title>
#120 opened by MDurgaKeerthi - 0
Add member: Vani Nagarajan
#119 opened by vani-nag - 0
Change member status: Caleb Helbling
#115 opened by calebh - 0
- 0
News: Vani
#117 opened by bendy - 0
ICSE Practice Talk: KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair; Impact of Code Language Models on Automated Program Repair
#112 opened by jiang719 - 0
News: PLDI paper
#111 opened by ccyip - 0
News: PLDI paper
#110 opened by VictorYYW - 0
Seminar Talk: Co-learning Planning and Control Policies Using Differentiable Formal Task Constraints
#109 opened by ZikangXiong - 0
News: Coyote Accepted to ASPLOS!
#107 opened by bendy - 0