Martin Abadi

Affiliations: 
University of California, Santa Cruz, Santa Cruz, CA, United States 
Area:
Computer Science
Google:
"Martin Abadi"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Abadi M. (2015) The prophecy of undo Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9033: 347-361
Abadi M, Isard M. (2015) On the flow of data, information, and time Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9036: 73-92
Abadi M, Isard M. (2015) Timely dataflow: A model Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9039: 131-145
Abadi M, Isard M. (2015) Timely rollback: Specification and verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9058: 19-34
Abadi M, Kremer S. (2014) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8414
Abadi M, Planul J, Plotkin G. (2013) Layout randomization and nondeterminism Electronic Notes in Theoretical Computer Science. 298: 29-50
Abadi M, Planul J. (2013) On layout randomization for arrays and functions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7796: 167-185
Austin TH, Flanagan C, Abadi M. (2012) A functional view of imperative information flow Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7705: 34-49
Abadi M. (2012) Software security: A formal perspective Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7436: 1-5
Baudet M, Warinschi B, Abadi M. (2010) Guessing attacks and the computational soundness of static equivalence Journal of Computer Security. 18: 909-968
See more...