• Sign in
  • Sign up
conf.researchr.org / Pavel Parizek
  • ASE 2019 profile
  • ASE 2022 profile
  • ECOOP 2015 profile
  • ECOOP 2016 profile
  • ESEC/FSE 2018 profile
  • ICFP/SPLASH 2025 profile
  • ICSE 2024 profile
  • ISSTA/ECOOP 2024 profile
  • POPL 2016 profile
No Photo

Registered user since Tue 4 Oct 2022

Name:Pavel Parizek
Affiliation:Charles University

Contributions

2025

SPLASH

  • Committee Member in OOPSLA Review Committee within the OOPSLA-track

2024

ECOOP

  • Author of Pure methods for roDOT within the Technical Papers-track

ICSE

  • Author of Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners within the Software Engineering in Practice-track

2022

ASE

  • Author of Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs within the [Workshop] JPF '22-track
  • Author of Towards Wider Support for Java String Functions within the [Workshop] JPF '22-track

2019

JPF

  • Committee Member in Program Committee within the JPF 2019-track

2018

JPF

  • Committee Member in Program Committee within the JPF-track

2016

ECOOP

  • Committee Member in External Review Committee within the Research Track-track

VMCAI

  • Author of Hybrid Analysis for Partial Order Reduction of Programs with Arrays within the VMCAI-track

2015

ECOOP

  • Student Volunteer Co-Chair in Organizers within the Student Volunteers-track
  • Session Chair of Verification (part of Research Track)
  • Student Volunteer Co-Chair in Organizing Committee
  • Committee Member in Programme Committee within the Research Track-track
  • Committee Member in Program Committee within the Posters-track
Share
xFri 23 May 01:33
using conf.researchr.org (v1.69.0)
Support page
Sign Up