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: Panchekha:Pavel
Contributed to:
20152014
2016
201620192018Wrote 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.