BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Russia
2 × Italy
2 × Portugal
2 × United Kingdom
6 × USA
Collaborated with:
R.Alur A.Radhakrishna T.A.Henzinger S.Chaudhuri J.McClurg H.Hojjat L.Ryzhyk T.Tarrach N.Foster S.Weinstein R.Lublinerman S.Zdancewic S.Tizpaz-Niari A.T.0001 P.Madhusudan W.Nam L.Kovács J.Zwirchmayr K.Chatterjee R.Singh D.Zufferey E.M.Clarke R.Samanta
Talks about:
synthesi (8) program (6) concurr (4) quantit (3) network (3) analysi (3) preemptiv (2) algorithm (2) synchron (2) abstract (2)

Person: Pavol Cerný

DBLP DBLP: Cern=yacute=:Pavol

Contributed to:

CAV 20152015
ESOP 20152015
PLDI 20152015
CAV 20142014
CAV 20132013
POPL 20132013
CAV 20112011
POPL 20112011
CAV 20102010
CAV 20092009
CSL 20092009
OOPSLA 20092009
TACAS 20072007
ICALP (2) 20062006
POPL 20052005
CAV (2) 20172017
CAV (1) 20192019
PLDI 20162016

Wrote 19 papers:

CAV-2015-AlurCR #synthesis #unification
Synthesis Through Unification (RA, PC, AR), pp. 163–179.
CAV-2015-CernyCHRRST #scheduling #synthesis #using
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis (PC, EMC, TAH, AR, LR, RS, TT), pp. 180–197.
ESOP-2015-CernyHKRZ #abstraction #analysis #execution #worst-case
Segment Abstraction for Worst-Case Execution Time Analysis (PC, TAH, LK, AR, JZ), pp. 105–131.
PLDI-2015-McClurgHCF #network #performance #synthesis
Efficient synthesis of network updates (JM, HH, PC, NF), pp. 196–207.
CAV-2014-CernyHRRT #concurrent #synthesis
Regression-Free Synthesis for Concurrency (PC, TAH, AR, LR, TT), pp. 568–584.
CAV-2013-CernyHRRT #concurrent #performance #semantics #synthesis
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations (PC, TAH, AR, LR, TT), pp. 951–967.
POPL-2013-CernyHR #abstraction #refinement
Quantitative abstraction refinement (PC, TAH, AR), pp. 115–128.
CAV-2011-CernyCHRS #concurrent #source code #synthesis
Quantitative Synthesis for Concurrent Programs (PC, KC, TAH, AR, RS), pp. 243–259.
POPL-2011-AlurC #algorithm #source code #streaming #transducer #verification
Streaming transducers for algorithmic verification of single-pass list-processing programs (RA, PC), pp. 599–610.
CAV-2010-CernyRZCA #concurrent #implementation #model checking
Model Checking of Linearizability of Concurrent List Implementations (PC, AR, DZ, SC, RA), pp. 465–479.
CAV-2009-CernyA #analysis #automation #java
Automated Analysis of Java Methods for Confidentiality (PC, RA), pp. 173–187.
CSL-2009-AlurCW #algorithm #analysis #source code
Algorithmic Analysis of Array-Accessing Programs (RA, PC, SW), pp. 86–101.
OOPSLA-2009-LublinermanCC #parallel #programming
Parallel programming with object assemblies (RL, SC, PC), pp. 61–80.
TACAS-2007-AlurCC #model checking
Model Checking on Trees with Path Equivalences (RA, PC, SC), pp. 664–678.
ICALP-v2-2006-AlurCZ #refinement
Preserving Secrecy Under Refinement (RA, PC, SZ), pp. 107–118.
POPL-2005-AlurCMN #interface #java #specification #synthesis
Synthesis of interface specifications for Java classes (RA, PC, PM, WN), pp. 98–109.
CAV-2017-McClurgHC #network #source code #synthesis
Synchronization Synthesis for Network Programs (JM, HH, PC), pp. 301–321.
CAV-2019-Tizpaz-NiariC0
Quantitative Mitigation of Timing Side Channels (STN, PC, AT0), pp. 140–160.
PLDI-2016-McClurgHFC #network #programming
Event-driven network programming (JM, HH, NF, PC), pp. 369–385.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.