Steve Zdancewic
Orcid: 0000-0002-3516-1512Affiliations:
- University of Pennsylvania, Philadelphia, PA, USA
According to our database1,
Steve Zdancewic
authored at least 102 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on github.com
-
on andrej.com
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., January, 2024
An Opportunistically Parallel Lambda Calculus for Performant Composition of Large Language Models.
CoRR, 2024
2023
Proc. ACM Program. Lang., January, 2023
Proc. ACM Program. Lang., January, 2023
Dagstuhl Artifacts Ser., 2023
Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
Proceedings of the Proceedings Twelfth International Workshop on Computing with Terms and Graphs, 2022
Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2022
2021
Proc. ACM Program. Lang., 2021
Proc. ACM Program. Lang., 2021
A type system for extracting functional specifications from memory-safe imperative programs.
Proc. ACM Program. Lang., 2021
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021
2020
Proc. ACM Program. Lang., 2020
An equational theory for weak bisimulation via generalized parameterized coinduction.
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
2019
Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress).
CoRR, 2019
Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
2018
Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
2017
Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017
2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the A List of Successes That Can Change the World, 2016
2015
Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015
Proceedings of the 1st Summit on Advances in Programming Languages, 2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Sci. Ann. Comput. Sci., 2014
Proceedings of the Proceedings Third International Workshop on Linearity, 2014
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014
Proceedings of the Programming Languages and Systems, 2014
Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014
2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
2012
Formalizing the LLVM intermediate representation for verified program transformations.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012
Watchdog: Hardware for safe and secure manual memory management and full memory safety.
Proceedings of the 39th International Symposium on Computer Architecture (ISCA 2012), 2012
Proceedings of the Certified Programs and Proofs - Second International Conference, 2012
2011
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
2010
Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010
Proceedings of the 9th International Symposium on Memory Management, 2010
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010
2009
ACM SIGPLAN Notices, 2009
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009
Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009
Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009
Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009
2008
Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06).
Inf. Comput., 2008
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008
Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008
Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008
2007
ACM Trans. Program. Lang. Syst., 2007
Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), 2007
Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007
Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
2006
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006
Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006
Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006
2005
Proceedings of the Verified Software: Theories, 2005
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005
Proceedings of the Programming Languages and Systems, 2005
Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005
2004
Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, 2004
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004
Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004
2003
Proceedings of the Third Workshop on Run-time Verification, 2003
Proceedings of the 2003 IEEE Symposium on Security and Privacy (S&P 2003), 2003
Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, 2003
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003
Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003
2002
Programming Languages for Information Security.
PhD thesis, 2002
2001
Proceedings of the 18th ACM Symposium on Operating System Principles, 2001
Proceedings of the Programming Languages and Systems, 2001
Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001
2000
1999
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999