Find Research outputs

Search results

• Verification of distributed systems with local-global predicates

  Chandy, K. M., Go, B., Mitra, S., Pilotto, C. & White, J., Sep 2011, In: Formal Aspects of Computing. 23, 5, p. 649-679 31 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Verification of embedded software: Problems and perspectives

  Cousot, P. & Cousot, R., 2001, Embedded Software - 1st International Workshop, EMSOFT 2001, Proceedings. Henzinger, T. A. & Kirsch, C. M. (eds.). Springer Verlag, p. 97-113 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2211).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verification of generalized scaling laws: Two centrifuge tests of a liquefiable sloping deposit

  Korre, E., Abdoun, T., Zeghal, M. & Kokkali, P., Feb 2021, In: Soil Dynamics and Earthquake Engineering. 141, 106480.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Verification of numerical circulation models for Lake Michigan: Scientific Series No. 43

  Allender, J., Saunders, K. & Berger, M., 1975, Burlington, Ontario : Canada Centre for Inland Waters.

  Research output: Other contribution

• Verification of the Repeatability of Soil Liquefaction Centrifuge Testing at Rensselaer

  Korre, E., Abdoun, T. & Zeghal, M., 2020, Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading - LEAP-UCD-2017. Kutter, B. L., Manzari, M. T. & Zeghal, M. (eds.). Springer Nature, p. 385-400 16 p. (Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading - LEAP-UCD-2017).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Verified Tail Bounds for Randomized Programs

  Tassarotti, J. & Harper, R., 2018, Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Avigad, J. & Mahboubi, A. (eds.). Springer Verlag, p. 560-578 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10895 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying a design pattern for the fault-tolerant execution of parallel programs

  Kindler, E. & Shasha, D., 2000, New York University. (Technical Report; no. TR2000-803)

  Research output: Book/Report › Other report

• Verifying and enforcing network paths with icing

  Naous, J., Walfish, M., Nicolosi, A., Mazières, D., Miller, M. & Seehra, A., 2011, Proceedings of the 7th Conference on Emerging Networking EXperiments and Technologies, CoNEXT'11. (Proceedings of the 7th Conference on Emerging Networking EXperiments and Technologies, CoNEXT'11).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying candidate matches in sparse and wildcard matching

  Cole, R. & Hariharan, R., 2002, In: Conference Proceedings of the Annual ACM Symposium on Theory of Computing. p. 592-601 10 p.

  Research output: Contribution to journal › Conference article › peer-review

• Verifying computations without reexecuting them

  Walfish, M. & Blumberg, A. J., Jan 28 2015, In: Communications of the ACM. 58, 2, p. 74-84 11 p.

  Research output: Contribution to journal › Article › peer-review

• Verifying computations with state

  Braun, B., Feldman, A. J., Ren, Z., Setty, S., Blumberg, A. J. & Walfish, M., 2013, SOSP 2013 - Proceedings of the 24th ACM Symposium on Operating Systems Principles. p. 341-357 17 p. (SOSP 2013 - Proceedings of the 24th ACM Symposium on Operating Systems Principles).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying concurrent, crash-safe systems with perennial

  Chajed, T., Tassarotti, J., Kaashoek, M. F. & Zeldovich, N., Oct 27 2019, SOSP 2019 - Proceedings of the 27th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, p. 243-258 16 p. (SOSP 2019 - Proceedings of the 27th ACM Symposium on Operating Systems Principles).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Verifying concurrent multicopy search structures

  Patel, N., Krishna, S., Shasha, D. & Wies, T., Oct 2021, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 113.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Verifying concurrent search structure templates

  Krishna, S., Patel, N., Shasha, D. & Wies, T., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 181-196 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Verifying low-level implementations of high-level datatypes

  Conway, C. L. & Barrett, C., 2010, Computer Aided Verification - 22nd International Conference, CAV 2010, Proceedings. p. 306-320 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6174 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying Numerical Programs via Iterative Abstract Testing

  Yin, B., Chen, L., Liu, J., Wang, J. & Cousot, P., 2019, Static Analysis - 26th International Symposium, SAS 2019, Proceedings. Chang, B-Y. E. (ed.). Springer Science and Business Media Deutschland GmbH, p. 247-267 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11822 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying reachability in networks with mutable datapaths

  Panda, A., Lahav, O., Argyraki, K., Sagiv, M. & Shenker, S., Jan 1 2017, Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017. USENIX Association, p. 699-718 20 p. (Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying read-copy-update in a logic for weak memory

  Tassarotti, J., Dreyer, D. & Vafeiadis, V., Jun 3 2015, PLDI 2015 - Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. Blackburn, S. & Grove, D. (eds.). Association for Computing Machinery, p. 110-120 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 2015-June).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying the correctness of remote executions: From wild implausibility to near practicality

  Walfish, M., 2013, Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013. Association for Computing Machinery, (Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning

  Chajed, T., Tassarotti, J., Theng, M., Kaashoek, M. F. & Zeldovich, N., 2022, Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022. USENIX Association, p. 447-463 17 p. (Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying volume rendering using discretization error analysis

  Etiene, T., Jönsson, D., Ropinski, T., Scheidegger, C., Comba, J. L. D., Nonato, L. G., Kirby, R. M., Ynnerman, A. & Silva, C. T., Jan 2014, In: IEEE Transactions on Visualization and Computer Graphics. 20, 1, p. 140-154 15 p., 6532282.

  Research output: Contribution to journal › Article › peer-review

• Verifying Your Circuits

  Shasha, D. E., Jan 2004, In: Scientific American. 290, 1, p. 106 1 p.

  Research output: Contribution to journal › Review article › peer-review

• Veritie hidde: amity, law, miscellany

  Goodrich, P., Jan 2 2017, In: Law and Humanities. 11, 1, p. 137-155 19 p.

  Research output: Contribution to journal › Article › peer-review

• VeriWeb: A Platform for Automating Web Site Testing

  Benedikt, M., Freire, J. & Godefroid, P., 2002, Proceedings of the World Wide Web Conference (WWW) – Web Engineering track.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

• Verizon: Dreamworks Turbo Commercial: Mixing and Music Production Credits

  Marciano, M., 2013

  Research output: Non-textual form › Recording

• Verizon: DreamWorks Turbo Commercial: Mixing & Music Production Credits

  Marciano, M., 2013

  Research output: Non-textual form › Recording

• VERMEER: A Tool for Tracing and Explaining Faulty C Programs

  Schwartz-Narbonne, D., Oh, C., Schaf, M. & Wies, T., Aug 12 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, p. 737-740 4 p. 7203056. (Proceedings - International Conference on Software Engineering; vol. 2).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Vernacularization in Action: Using Global Women's Human Rights Locally

  Merry, S. (ed.) & Levitt, P., 2009, In: Global Networks. 9, 4

  Research output: Contribution to journal › Editorial › peer-review

• Vernacularization on the ground: Local uses of global women's rights in Peru, China, India and the United States

  Levitt, P. & Merry, S., Oct 2009, In: Global Networks. 9, 4, p. 441-461 21 p.

  Research output: Contribution to journal › Article › peer-review

• Vernacular resistance to data collection and analysis: A political thepry of obfuscation

  Brunton, F. & Nissenbaum, H., May 2011, In: First Monday. 16, 5

  Research output: Contribution to journal › Article › peer-review

• Vernaculars in the classroom: Paradoxes, pedagogy, possibilities

  Nero, S. & Ahmad, D., Jan 1 2014, Taylor and Francis. 204 p.

  Research output: Book/Report › Book

• Vernacular Taste and Urban Transformation: Towards an Analytics of Fun and a New Kind of Critique

  Ray, K., Mar 3 2020, In: South Asia: Journal of South Asia Studies. 43, 2, p. 308-318 11 p.

  Research output: Contribution to journal › Article › peer-review

• Vernalization sensitivity in Arabidopsis thaliana (Brassicaceae): The effects of latitude and FLC variation

  Stinchcombe, J. R., Caicedo, A. L., Hopkins, R., Mays, C., Boyd, E. W., Purugganan, M. D. & Schmitt, J., Oct 2005, In: American Journal of Botany. 92, 10, p. 1701-1707 7 p.

  Research output: Contribution to journal › Article › peer-review

• VeRSA: Verifiable Registries with Efficient Client Audits from RSA Authenticated Dictionaries

  Tyagi, N., Fisch, B., Zitek, A., Bonneau, J. & Tessaro, S., Nov 7 2022, CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 2793-2807 15 p. (Proceedings of the ACM Conference on Computer and Communications Security).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Versatile and Resilient Hydrogen-Bonded Host Frameworks

  Adachi, T. & Ward, M. D., Dec 20 2016, In: Accounts of Chemical Research. 49, 12, p. 2669-2679 11 p.

  Research output: Contribution to journal › Article › peer-review

• Versatile BIST: An integrated approach to on-line/off-line BIST

  Karri, R. & Mukherjee, N., 1998, IEEE International Test Conference (TC). Anon (ed.). IEEE, p. 910-917 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Versatile BIST: An Integrated Approach to On-line/Off-line BIST for Data-Dominated Architectures

  Mukherjee, N. & Karri, R., 1998, In: Journal of Electronic Testing: Theory and Applications (JETTA). 13, 2, p. 189-200 12 p.

  Research output: Contribution to journal › Article › peer-review

• Versatile construction of van der Waals heterostructures using a dual-function polymeric film

  Huang, Z., Alharbi, A., Mayer, W., Cuniberto, E., Taniguchi, T., Watanabe, K., Shabani, J. & Shahrjerdi, D., Dec 1 2020, In: Nature communications. 11, 1, 3029.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Versatile genetic assembly system (VEGAS) to assemble pathways for expression in S. cerevisiae

  Mitchell, L. A., Chuang, J., Agmon, N., Khunsriraksakul, C., Phillips, N. A., Cai, Y., Truong, D. M., Veerakumar, A., Wang, Y., Mayorga, M., Blomquist, P., Sadda, P., Trueheart, J. & Boeke, J. D., Apr 27 2015, In: Nucleic acids research. 43, 13, p. 6620-6630 11 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Versatile oligo(N-substituted) glycines: The many roles of peptoids in drug discovery

  Patch, JA., Kirshenbaum, K., Seurynck, SL., Zuckermann, RN. & Barron, AE., 2004, Pseudo-peptides in drug development. Nielsen, PE. (ed.). Weinheim, Germany: Wiley-VCH, p. 1-31

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

• Versatile padding schemes for joint signature and encryption

  Dodis, Y., Jarecki, S., Freedman, M. J. & Walfish, S., 2004, In: Proceedings of the ACM Conference on Computer and Communications Security. p. 344-353 10 p.

  Research output: Contribution to journal › Conference article › peer-review

• Versatility Is the Object for New Crew Vehicle

  Seife, C., Jan 30 2004, In: Science. 303, 5658, p. 617-618 2 p.

  Research output: Contribution to journal › Short survey › peer-review

• VersionClimber: Version Upgrades without Tears

  Pradal, C., Cohen-Boulakia, S., Valduriez, P. & Shasha, D., Sep 1 2019, In: Computing in Science and Engineering. 21, 5, p. 87-93 7 p., 8798946.

  Research output: Contribution to journal › Article › peer-review

• Verso il West: L'autobiografia dei pionieri americani

  Cagidemetrio, A., 1983, Vicenza: Neri Pozza.

  Research output: Book/Report › Book

• Verso una biologia della parola e del linguaggio [Towards a biology of speech and language]

  Poeppel, D., 1995, In: KOS. 119/120, p. 34-37

  Research output: Contribution to journal › Article › peer-review

• Vers une solution d’un problème grammatical: *Je l’ai voulu lire, j’ai tout voulu lire

  Translated title of the contribution: "Towards a solution of a grammatical problem: * I wanted to read it, I wanted to read everythingKayne, R., 1980, In: Langue Francaise. 46, p. 32-40

  Research output: Contribution to journal › Article › peer-review

• Vers un managed care à la Française?

  Lévy, E. & Rodwin, V., 1996, In: Chroniques Economiques S.E.D.E.I.S. 45

  Research output: Contribution to journal › Article › peer-review

• Vertebral numbers and human evolution

  Williams, S. A., Middleton, E. R., Villamil, C. I. & Shattuck, M. R., Jan 1 2016, In: American Journal of Physical Anthropology. 159, p. S19-S36

  Research output: Contribution to journal › Article › peer-review

• Vertebral trabecular tissue modulus of goat as compared to human using ultrasonic and microct approach

  Teo, J. C. M., Png, A. Z. C. & Teoh, S. H., 2004, Proceedings of the Second IASTED International Conference on Biomechanics. Hamza, M. H. (ed.). p. 55-59 5 p. 463-031. (Proceedings of the Second IASTED International Conference on Biomechanics).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Vertebrate faunal remains from Madai Cave (MAD 1/28), Sabah, East Malaysia

  Harrison, T., 1998, Bulletin of the Indo-Pacific Prehistory Association, 17, p. 85-92.

  Research output: Contribution to specialist publication › Article