Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Martin T. Vechev

◀ ▶ joint publications with Dimitar K. Dimitrov 0002

> Home > Persons > Martin T. Vechev

Publications

2020
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/PermenevDTDV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/PermenevDTDV20
Anton Permenev, Dimitar K. Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev:
VerX: Safety Verification of Smart Contracts. SP 2020: 1661-1677
2018
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/topc/DimitrovVS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topc/DimitrovVS18
Dimitar K. Dimitrov, Martin T. Vechev, Vivek Sarkar:
Race Detection in Two Dimensions. ACM Trans. Parallel Comput. 4(4): 19:1-19:22 (2018)
[c79]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icml/MirmanDDGV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/MirmanDDGV18
Matthew Mirman, Dimitar K. Dimitrov, Pavle Djordjevic, Timon Gehr, Martin T. Vechev:
Training Neural Machines with Trace-Based Supervision. ICML 2018: 3566-3574
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BrutschyD0V18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BrutschyD0V18
Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev:
Static serializability analysis for causal consistency. PLDI 2018: 90-104
2017
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BrutschyD0V17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BrutschyD0V17
Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev:
Serializability for eventual consistency: criterion, analysis, and applications. POPL 2017: 458-472
2015
[c48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GehrDV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GehrDV15
Timon Gehr, Dimitar K. Dimitrov, Martin T. Vechev:
Learning Commutativity Specifications. CAV (1) 2015: 307-323
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/JensenMRDV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/JensenMRDV15
Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar K. Dimitrov, Martin T. Vechev:
Stateless model checking of event-driven applications. OOPSLA 2015: 57-73
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/spaa/DimitrovVS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spaa/DimitrovVS15
Dimitar K. Dimitrov, Martin T. Vechev, Vivek Sarkar:
Race Detection in Two Dimensions. SPAA 2015: 101-110
2014
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/DimitrovRVK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/DimitrovRVK14
Dimitar K. Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen:
Commutativity race detection. PLDI 2014: 305-315

a service of

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.