Find Research outputs

Search results

• Verhandlungsführung – psychologische Grundlagen

  Troetschel, R. & Gollwitzer, P., 2004, Lehrbuch Konflikt und Friedenspsychologie. Sommer, G. & Fuchs, A. (eds.). Weinheim: Verlagsgruppe Beltz – Psychologische Verlags Union, p. 158-177

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

• Verifiable ASICs

  Wahby, R. S., Howald, M., Garg, S., Shelat, A. & Walfish, M., Aug 16 2016, Proceedings - 2016 IEEE Symposium on Security and Privacy, SP 2016. Institute of Electrical and Electronics Engineers Inc., p. 759-778 20 p. 7546534. (Proceedings - 2016 IEEE Symposium on Security and Privacy, SP 2016).

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

• Verifiable auction: An auction system for a suspicious world

  Rosenberg, M. & Shasha, D., Oct 2014, New York University. (Technical Report; no. TR2014-971)

  Research output: Book/Report › Other report

• Verifiable auctions for online ad exchanges

  Angel, S. & Walfish, M., 2013, SIGCOMM 2013 - Proceedings of the ACM SIGCOMM 2013 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication. p. 195-206 12 p. (SIGCOMM 2013 - Proceedings of the ACM SIGCOMM 2013 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication).

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

• Verifiable auctions for online ad exchanges

  Angel, S. & Walfish, M., 2013, Proceedings of the SIGCOMM 2013 and Best Papers of the Co-Located Workshops. 4 ed. p. 195-206 12 p. (Computer Communication Review; vol. 43, no. 4).

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

• Verifiable computation using multiple provers

  Blumberg, AJ., Thaler, J., Vu, V. & Walfish, M., Oct 2014, In: ePrint Cryptology archive.

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

• Verifiable delay functions

  Boneh, D., Bonneau, J., Bünz, B. & Fisch, B., 2018, Advances in Cryptology – CRYPTO 2018 - 38th Annual International Cryptology Conference, 2018, Proceedings. Boldyreva, A. & Shacham, H. (eds.). Springer Verlag, p. 757-788 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10991 LNCS).

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

• Verifiable visualization for isosurface extraction

  Etiene, T., Scheidegger, C., Nonato, L. G., Kirby, R. M. & Silva, C. T., Nov 2009, In: IEEE Transactions on Visualization and Computer Graphics. 15, 6, p. 1227-1234 8 p., 5290733.

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

• Verification

  Tavory, I., 2014, Speculation, Now: Essays and Artwork. Rao, V. V., Krishnamurthy, P. & Kuoni, C. (eds.). Durham, N.C.: Duke University Press and the Vera List Center, p. 34-35

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

• Verification and Calibration of Antenna Cross-Polarization Discrimination and Penetration Loss for Millimeter Wave Communications

  Xing, Y., Kanhere, O., Ju, S., Rappaport, T. S. & MacCartney, G. R., Jul 2 2018, 2018 IEEE 88th Vehicular Technology Conference, VTC-Fall 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8690683. (IEEE Vehicular Technology Conference; vol. 2018-August).

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

• Verification and Stability: A Game-Theoretic Analysis

  Brams, S. & Marc Kilgour, D., 1987, Arms and Artificial Intelligence: Weapon and Arms Control Applications of Advanced Computing. Din, A. M. (ed.). Oxford, UK: Oxford University Press, p. 193-213

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

• Verification and validation of renormalization group inspire particle weights for PIC codes

  Luginsland, J. W., Christlieb, A. & Caflisch, R., 2009, 2009 IEEE International Conference on Plasma Science - Abstracts, ICOPS 2009. 5227356. (IEEE International Conference on Plasma Science).

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

• Verification by abstract interpretation

  Cousot, P., 2004, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2772, p. 243-268 26 p.

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

• Verification by abstract interpretation, soundness and abstract induction

  Cousot, P., Jul 14 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc, p. 1-4 4 p. (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015).

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

• Verification by abstract interpretation, Soundness and abstract induction

  Cousot, P., 2015, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Revised Selected Papers. Falaschi, M. (ed.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9527).

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

• Verification code forwarding attack

  Siadati, H., Nguyen, T. & Memon, N., 2016, Technology and Practice of Passwords - 9th International Conference, PASSWORDS 2015, Proceedings. Thorsheim, P., Stajano, F., Jenkinson, G. & Mjolsnes, S. F. (eds.). Springer Verlag, p. 65-71 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9551).

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

• Verification in the Age of Microservices

  Panda, A., Sagiv, M. & Shenker, S., May 7 2017, HotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems. IEEE Computer Society, p. 30-36 7 p. (Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS; vol. Part F129307).

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

• 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