![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
TAPAS@SPLASH 2020: Virtual Event
- Hakjoo Oh, Yulei Sui:
Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, TAPAS@SPLASH 2020, Virtual Event, USA, November 17, 2020. ACM 2020, ISBN 978-1-4503-8189-5 - Vineeth Kashyap
, Roger Scott, Joseph Ranieri, David Melski, Lucja Kot:
API analytics for curating static analysis rules. 1-2 - Jan-Patrick Lehr
, Alexander Hück
, Yannic Fischler, Christian H. Bischof:
MetaCG: annotated call-graphs to facilitate whole-program analysis. 3-9 - Aditi Kabra, Dietrich Geisler, Adrian Sampson:
Online verification of commutativity. 10-19 - Nicholas Shoemaker
, Ruzica Piskac
, Mark Santolucito
:
Towards checkpoint placement for dynamic memory allocation in intermittent computing. 20-22 - Justus Adam
, Stephen Kell:
Type checking beyond type checkers, via slice & run. 23-29
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.