World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
49
Citations
8689
World Ranking
5937
National Ranking
2677

Research.com Recognitions

  • 2009 - Fellow of Alfred P. Sloan Foundation

Overview

Steve Zdancewic is affiliated with the University of Pennsylvania in the United States. Their research primarily centers on computer science, with a strong focus on subfields including artificial intelligence, computational theory and mathematics, computer networks and communications, hardware and architecture, and information systems.

Their scholarly output encompasses 73 publications in computer science, addressing topics such as logic, programming, and type systems; formal methods in verification; security and verification in computing; distributed systems and fault tolerance; parallel computing and optimization techniques; logic, reasoning, and knowledge; and software testing and debugging techniques.

  • Logic, programming, and type systems
  • Formal Methods in Verification
  • Security and Verification in Computing
  • Distributed systems and fault tolerance
  • Parallel Computing and Optimization Techniques
  • Logic, Reasoning, and Knowledge
  • Software Testing and Debugging Techniques

Zdancewic's recent published papers illustrate the scope of their research contributions:

  • "Modular, compositional, and executable formal semantics for LLVM IR" (2021), Proceedings of the ACM on Programming Languages
  • "C4: verified transactional objects" (2022), Proceedings of the ACM on Programming Languages
  • "Verifying an HTTP Key-Value Server with Interaction Trees and VST" (2021), Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • "Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq" (2023), Proceedings of the ACM on Programming Languages
  • "Dijkstra monads forever: termination-sensitive specifications for interaction trees" (2021), Proceedings of the ACM on Programming Languages

Their frequent co-authors include Yannick Zakowski, Stephen Mell, Osbert Bastani, Nick Rioux, and Calvin Beck. The collaboration with these colleagues is reflected in multiple publications, contributing to the knowledge base in formal semantics, verification, and programming languages.

  • Yannick Zakowski
  • Stephen Mell
  • Osbert Bastani
  • Nick Rioux
  • Calvin Beck

Publications by Zdancewic are predominantly found in venues such as:

  • Proceedings of the ACM on Programming Languages
  • arXiv (Cornell University)
  • Electronic Proceedings in Theoretical Computer Science
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • OPAL (Open@LaTrobe) (La Trobe University)

Steve Zdancewic has been recognized as a Fellow of the Alfred P. Sloan Foundation in 2009, an accolade marking a notable point in their academic career.

Best Publications

  • SoftBound: highly compatible and complete spatial memory safety for c

    Santosh Nagarakatte;Jianzhou Zhao;Milo M.K. Martin;Steve Zdancewic

  • CETS: compiler enforced temporal safety for C

    Santosh Nagarakatte;Jianzhou Zhao;Milo M.K. Martin;Steve Zdancewic

  • Mechanized metatheory for the masses: the PoplMark challenge

    Brian E. Aydemir;Aaron Bohannon;Matthew Fairbairn;J. Nathan Foster

  • Observational determinism for concurrent program security

    S. Zdancewic;A.C. Myers

  • TALx86: A Realistic Typed Assembly Language∗

    Greg Morrisett;Karl Crary;Neal Glew;Dan Grossman

  • Robust declassification

    S. Zdancewic;A.C. Myers

  • Formalizing the LLVM intermediate representation for verified program transformations

    Jianzhou Zhao;Santosh Nagarakatte;Milo M.K. Martin;Steve Zdancewic

  • Hardbound: architectural support for spatial safety of the C programming language

    Joe Devietti;Colin Blundell;Milo M. K. Martin;Steve Zdancewic

  • Type-and-example-directed program synthesis

    Peter-Michael Osera;Steve Zdancewic

  • Downgrading policies and relaxed noninterference

    Peng Li;Steve Zdancewic

  • Secure program partitioning

    Steve Zdancewic;Lantian Zheng;Nathaniel Nystrom;Andrew C. Myers

  • Run-time principals in information-flow type systems

    Stephen Tse;Steve Zdancewic

  • A theory of aspects

    David Walker;Steve Zdancewic;Jay Ligatti

  • Programming languages for information security

    Stephan Arthur Zdancewic;Andrew Myers

  • SoK: General Purpose Compilers for Secure Multi-Party Computation

    Marcella Hastings;Brett Hemenway;Daniel Noble;Steve Zdancewic

  • Untrusted hosts and confidentiality: secure program partitioning

    Steve Zdancewic;Lantian Zheng;Nathaniel Nystrom;Andrew C. Myers

  • Enforcing robust declassification

    A.C. Myers;A. Sabelfeld;S. Zdancewic

  • Challenges for Information-flow Security

    Steve Zdancewic

  • QWIRE: a core language for quantum circuits

    Jennifer Paykin;Robert Rand;Steve Zdancewic

  • Using replication and partitioning to build secure distributed systems

    Lantian Zheng;S. Chong;A.C. Myers;S. Zdancewic

Frequent Co-Authors

Benjamin C. Pierce
Benjamin C. Pierce University of Pennsylvania
Andrew C. Myers
Andrew C. Myers Cornell University
David Walker
David Walker Princeton University
Milo M. K. Martin
Milo M. K. Martin Google (United States)
Stephanie Weirich
Stephanie Weirich University of Pennsylvania
Dan Grossman
Dan Grossman University of Washington
Peter Sewell
Peter Sewell University of Cambridge
Greg Morrisett
Greg Morrisett Cornell University
Rajeev Alur
Rajeev Alur University of Pennsylvania
Andrei Sabelfeld
Andrei Sabelfeld Chalmers University of Technology

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees is a flexible way to advance your computer science education and career. Many students begin with an associate’s program—some of the associates degrees can be completed fully online, providing a quick and affordable entry into the tech field.

For those seeking advanced qualifications, there are many options among the cheapest online graduate programs offering computer science and related concentrations. These programs can open doors to specialized roles or leadership opportunities in the tech industry.

If your goals include influencing organizations or leading teams, consider a phd in leadership and management online. This degree can prepare you for high-level strategic roles in both technology firms and academia.

Educators looking to shape the future of tech instruction should explore online educational leadership programs. These doctoral programs focus on education administration and policy, equipping graduates to guide curriculum development in computer science.

Best Scientists Citing Steve Zdancewic

Trending Scientists

Recently Published Articles