◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Pavol Cerný

20 papers hereh-index 211.8k citations58 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author6
  • middle author10
  • last author3

Across the 19 of 20 papers where every author was matched, so the position is known.

fields
  • cs.PL11
  • cs.CR3
  • cs.AI1
  • cs.DC1
  • cs.LG1
  • cs.LO1

identity via Semantic Scholar / OpenAlex

activity
20102020
most citedEfficient Synthesis of Network Updates

99 citations · 238 across the 17 of their papers we have counts for

collaborators
Showing 2017Show all

3 papers · 1 filter

cs.AI2017

Differential Performance Debugging with Discriminant Regression Trees

Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang +1

Differential performance debugging is a technique to find performance problems. It applies in situations where the performance of a program is (unexpectedly) different for differen…

cs.PL2017★ 2 cited

Discriminating Traces with Time

Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang +2

What properties about the internals of a program explain the possible differences in its overall running time for different inputs? In this paper, we propose a formal framework for…

cs.LO2017★ 1 cited

DroidStar: Callback Typestates for Android Classes

Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier +5

Event-driven programming frameworks, such as Android, are based on components with asynchronous interfaces. The protocols for interacting with these components can often be describ…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.