• Sign in
  • Sign up
conf.researchr.org / Priyanka Darke
  • ASE 2019 profile
  • ICSME 2023 profile
  • ICSME 2024 profile
  • ICSME 2025 profile
  • PLDI 2018 profile
No Photo

Registered user since Fri 28 Dec 2018

Name:Priyanka Darke
Affiliation:Tata Consultancy Services

Contributions

2025

ICSME

  • Committee Member in Program Committee within the Industry Track-track

2024

ICSME

  • Committee Member in Industry Track - Program Committee within the Industry Track-track
  • Author of Learning Strategies using Boolean Program Metrics to Verify Industrial Code within the Industry Track-track
  • Committee Member in Industry Track - Program Committee within the Industry Track-track

2023

ICSME

  • Author of OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems within the Industry Track-track

2019

ASE

  • Author of VeriAbs : Verification by Abstraction and Test Generation within the Demonstrations-track

2018

LCTES

  • Author of WIP: Statically Relating Program Properties for Efficient Verification within the LCTES 2018-track
Share
xFri 23 May 21:34
using conf.researchr.org (v1.69.0)
Support page
Sign Up