PurduePL/purduepl.github.io

Issues

• News: Durga Wins Best Paper!

  #180 opened 3 months ago by bendy
  0

• News: Last PLDI Announcement

  #176 opened 4 months ago by bendy
  0

• News: <title>

  #174 opened 4 months ago by bendy
  0

• News: Julia on Julia

  #173 opened 4 months ago by bendy
  0

• News: <title>

  #171 opened 5 months ago by bendy
  0

• Optimizing Layout Of Recursive Datatypes with Marmoset

  #172 opened 5 months ago by vidsinghal
  0

• Arkade: k-Nearest Neighbor Search With Non-Euclidean Distances using GPU Ray Tracing

  #170 opened 5 months ago by MDurgaKeerthi
  2

• Seminar Talk: Gradual Verification: Assuring Programs Incrementally

  #168 opened 5 months ago by jennalwise
  0

• CHI 2024 practice talk- "Is Stack Overflow Obsolete? An Empirical Study of the Characteristics of ChatGPT Answers to Stack Overflow Questions"

  #167 opened 5 months ago by SamiaKabir
  0

• Seminar Talk: WIP: Coverage-based Synthesis

  #166 opened 6 months ago by Pat-Lafon
  0

• News: Ashish Joins IITH

  #164 opened 6 months ago by bendy
  0

• News: ParDiff Accepted!

  #163 opened 6 months ago by bendy
  0

• News: Taypsi Accepted!

  #162 opened 6 months ago by bendy
  0

• Seminar Talk: Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations

  #161 opened 6 months ago by YuantianDing
  0

• Seminar Talk: Efficient Kernel Concurrency Testing through Scalable Kernel Behavior Analysis

  #160 opened 7 months ago by sishuaigong
  0

• Add member: Joseph Zullo

  #158 opened 7 months ago by jazullo
  0

• Seminar Talk: Language-based Techniques for Policy-Agnostic Oblivious Computation

  #154 opened 7 months ago by ccyip
  0

• Seminar Talk: Types and Metaprogramming for Correct, Safe, and Performant Software Systems

  #150 opened 7 months ago by Kraks
  0

• Add member: Jenna DiVincenzo

  #148 opened 8 months ago by jennalwise
  0

• News: POPL 4

  #147 opened 8 months ago by bendy
  0

• News: POPL'24 2

  #146 opened 8 months ago by bendy
  0

• News: POPL'24 1

  #145 opened 8 months ago by bendy
  0

• Seminar Talk: Julia: Practical Restrictions for a Scientific-Computing Language

  #143 opened 9 months ago by julbinb
  1

• Seminar Talk: Reachability Types with Destructive Effects

  #142 opened 10 months ago by PROgram52bc
  1

• Generating site locally produces empty lists of people

  #139 opened 10 months ago by ulysses4ever
  5

• Fail to build locally

  #138 opened 10 months ago by ulysses4ever
  2

• Seminar Talk: <title>

  #137 opened 10 months ago by aegis-iisc
  1

• Add member: Julia Belyakova

  #136 opened a year ago by julbinb
  0

• Add member: Artem Pelenitsyn

  #135 opened a year ago by ulysses4ever
  1

• Seminar Talk: RTailor: Parameterizing Soft Error Resilience for Mixed-Criticality Real-Time Systems

  #134 opened a year ago by syhuang0
  4

• Add member: Yi Ding

  #133 opened a year ago by bendy
  0

• Seminar Talk: Persistent Processor Architecture

  #132 opened a year ago by JianpingZeng
  0

• News: <title>

  #131 opened a year ago by bendy
  0

• Seminar Talk: Software Entity Recognition with Noise-Robust Learning

  #130 opened a year ago by NecoraNyaru
  0

• Seminar Talk: Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks

  #129 opened a year ago by AmPaschal
  0

• Seminar Talk: Vicious Cycles in Distributed Software Systems

  #128 opened a year ago by shangshu-qian
  1

• Retroactive news item for Yongwei and Roopsha's distinguished PLDI paper?

  #127 opened a year ago by reikdas
  0

• Edit member: Songlin

  #124 opened a year ago by Tantalus13A98B5F
  0

• News: Morpheus

  #123 opened a year ago by bendy
  0

• Add member: <title>

  #120 opened a year ago by MDurgaKeerthi
  0

• Add member: Vani Nagarajan

  #119 opened a year ago by vani-nag
  0

• Change member status: Caleb Helbling

  #115 opened a year ago by calebh
  0

• News: Zhe

  #116 opened a year ago by bendy
  0

• News: Vani

  #117 opened a year ago 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 a year ago by jiang719
  0

• News: PLDI paper

  #111 opened a year ago by ccyip
  0

• News: PLDI paper

  #110 opened a year ago by VictorYYW
  0

• Seminar Talk: Co-learning Planning and Control Policies Using Differentiable Formal Task Constraints

  #109 opened a year ago by ZikangXiong
  0

• News: Coyote Accepted to ASPLOS!

  #107 opened a year ago by bendy
  0

• Seminar Talk: Taype: a Policy-Agnostic Language for Oblivious Computation

  #106 opened a year ago by ccyip
  0