Lenore D. Zuck

Affiliations: 
Computer Science New York University, New York, NY, United States 
Area:
Computer Science
Google:
"Lenore Zuck"

Children

Sign in to add trainee
Ittai Balaban grad student 2007 NYU
Ariel Cohen grad student 2008 NYU
Uri Klein grad student 2011 NYU
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.

Zuck LD, Prasad S. (2016) A switch, in time Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9533: 131-146
Zuck LD, Prasad S. (2015) Limited mobility, eventual stability Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9434: 139-154
Gjomemo R, Namjoshi KS, Phung PH, et al. (2015) From verification to optimizations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8931: 300-317
Dietrich S, Van Der Ham J, Pras A, et al. (2014) Ethics in data sharing: Developing a model for best practice Proceedings - Ieee Symposium On Security and Privacy. 2014: 5-9
Zuck LD, McMillan KL. (2014) Reasoning about network topologies in space Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8415: 267-277
Hinrichs TL, Rossetti D, Petronella G, et al. (2013) WEBLOG: A declarative language for secure web development Plas 2013 - Proceedings of the 2013 Acm Sigplan Workshop On Programming Languages and Analysis For Security, Co-Located With Pldi 2013. 59-69
Skrupsky N, Monshizadeh M, Bisht P, et al. (2013) WAVES: Automatic synthesis of client-side validation code for web applications Proceedings of the 2012 Ase International Conference On Cyber Security, Cybersecurity 2012. 46-53
Namjoshi KS, Tagliabue G, Zuck LD. (2013) A witnessing compiler: A proof of concept Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8174: 340-345
Namjoshi KS, Zuck LD. (2013) Witnessing program transformations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7935: 304-323
Balaban I, Pnueli A, Sa'Ar Y, et al. (2012) Verification of multi-linked heaps Journal of Computer and System Sciences. 78: 853-876
See more...