Pavel Janck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2014–2016
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FASE | PVAIR: Partial Variable Assignment InterpolatoR. | Pavel Janck, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvrinen, Jan Kofron, Natasha Sharygina |
| 2016 | SAC | Dead variable analysis for multi-threaded heap manipulating programs. | Pavel Janck, Jan Kofron |
| 2014 | FMCAD | On interpolants and variable assignments. | Pavel Janck, Jan Kofron, Simone Fulvio Rollini, Natasha Sharygina |