Archive | 2021-07-14

• Automating Software Quality Certification at eBay

  (www.infoq.com)

  #software-engineering #QA #automation

• Proof Repair and Code Generation

  (galois.com)

  #dev-tools #programming-languages #research #formal-verification

• Presentation: True Observability Needs High-Cardinality

  (www.infoq.com)

  #monitoring #infra #devops #SRE

• Presentation: User Adaptive Security

  (www.infoq.com)

  #software-engineering #software-design #security

• Helping members connect to opportunity through AI

  (engineering.linkedin.com)

  #software-engineering #AI #machine-learning