BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
1 × United Kingdom
Collaborated with:
Z.Tatlock M.D.Ernst A.Sanchez-Stern E.Torlak S.Kamil J.R.Wilcox S.Lerner Adam T. Geller A.Sampson T.Mytkowicz K.S.McKinley D.Grossman L.Ceze D.Woos X.Wang T.E.Anderson
Talks about:
page (4) web (4) verifi (3) layout (3) express (2) point (2) float (2) probabilist (1) storyboard (1) implement (1)

Person: Pavel Panchekha

DBLP DBLP: Panchekha:Pavel

Contributed to:

PLDI 20152015
PLDI 20142014
FSE 20162016
OOPSLA 20162016
OOPSLA 20192019
PLDI 20182018

Wrote 8 papers:

PLDI-2015-PanchekhaSWT #automation #float
Automatically improving accuracy for floating point expressions (PP, ASS, JRW, ZT), pp. 1–11.
PLDI-2015-WilcoxWPTWEA #distributed #framework #implementation #named #verification
Verdi: a framework for implementing and formally verifying distributed systems (JRW, DW, PP, ZT, XW, MDE, TEA), pp. 357–368.
PLDI-2014-SampsonPMMGC #probability #verification
Expressing and verifying probabilistic assertions (AS, PP, TM, KSM, DG, LC), p. 14.
FSE-2016-Panchekha #generative #interactive #web
Generating interactive web pages from storyboards (PP), pp. 1071–1072.
OOPSLA-2016-PanchekhaT #automation #layout #reasoning #web
Automated reasoning for web page layout (PP, ET), pp. 181–194.
OOPSLA-2019-PanchekhaETK #composition #layout #verification #web
Modular verification of web page layout (PP, MDE, ZT, SK), p. 26.
PLDI-2018-PanchekhaGETK #layout #verification #web
Verifying that web pages have accessible layout (PP, ATG, MDE, ZT, SK), pp. 1–14.
PLDI-2018-Sanchez-SternPL #fault #float
Finding root causes of floating point error (ASS, PP, SL, ZT), pp. 256–269.

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.