• Sign in
  • Sign up
conf.researchr.org / Pantazis Deligiannis
  • ASE 2021 profile
  • ASE 2022 profile
  • ECOOP 2019 profile
  • ICSE 2025 profile
  • PLDI 2015 profile
  • PLDI 2019 profile
  • POPL 2017 profile
  • SPLASH 2017 profile
  • SPLASH 2020 profile
Pantazis Deligiannis

Registered user since Tue 17 Feb 2015

Name:Pantazis Deligiannis
Affiliation:Microsoft Research
Personal website: http://pdeligia.github.io
Research interests:Programming Languages, Software Reliability

Contributions

2025

ICSE

  • Author of RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code within the Research Track-track

2022

ASE

  • Committee Member in Program Committee within the Artifact Evaluation-track

2021

ASE

  • Author of Nekara: Generalized Concurrency Testing within the Artifact Evaluation-track
  • Author of Nekara: Generalized Concurrency Testing within the Research Papers-track

2020

SPLASH

  • Author of Learning-based Controlled Concurrency Testing within the OOPSLA Artifacts-track
  • Author of Learning-Based Controlled Concurrency Testing within the OOPSLA-track

2019

ECOOP

  • Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Posters-track
  • Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Research Papers-track

PLDI

  • Organizer of Safe Asynchronous Programming: Methodology, Language, and Tools within the PLDI Tutorials-track

2017

SPLASH

  • Author of Project Snowflake: Non-blocking Safe Manual Memory Management for .NET within the OOPSLA-track

POPL

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2015

PLDI

  • Author of Asynchronous Programming, Analysis and Testing with State Machines within the Research Papers-track
Share
xSun 15 Jun 20:17
using conf.researchr.org (v1.69.0)
Support page
Sign Up