E-mail senden E-Mail Adresse kopieren
Placeholder

E-Mail

Adresse

Campus E1 5
66123 Saarbrücken (Germany)

Veröffentlichungen von Deepak Garg

Jahr 2019

Konferenz / Medium

ESOP
Programming Languages and Systems,ESOP

Konferenz / Medium

4th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology

Jahr 2018

Konferenz / Medium

EuroSandP
In Submission

Jahr 2017

Konferenz / Medium

1st Workshop on Principles of Secure Compilation

Konferenz / Medium

POPL
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17)