William Mansky

Cited by

	All	Since 2018
Citations	360	244
h-index	11	9
i10-index	12	9

20082009201020112012201320142015201620172018201920202021202220232 1 4 13 12 17 20 17 28 26 36 53 51 57 20

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignVerified email at illinois.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Joseph DeviettiAssistant Professor of Computer & Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Yuanfeng PengGoogle / UPennVerified email at cis.upenn.edu
Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerified email at princeton.edu
Lennart BeringerPrinceton UniversityVerified email at cs.princeton.edu
Karen M. FeighProfessor of Cognitive Engineering, Georgia Institute of TechnologyVerified email at gatech.edu
Matthew L. BoltonAssociate Professor of Systems Engineering at the University of VirginiaVerified email at buffalo.edu
Ellen J. BassProfessor, Drexel UniversityVerified email at drexel.edu
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Jeehoon KangAssistant Professor of KAIST School of ComputingVerified email at kaist.ac.kr
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Yao LiPortland State UniversityVerified email at pdx.edu
Li-yao XiaUniversity of EdinburghVerified email at ed.ac.uk
Yishuai LiEngineer II, Alibaba GroupVerified email at alibaba-inc.com
Aleksey NoginHead of Research, Red Balloon SecurityVerified email at redballoonsecurity.com
Michael D. AdamsUniversity of UtahVerified email at utah.edu
santiago cuellarPhD, Princeton UniversityVerified email at princeton.edu
Nick GiannarakisAmazon Web ServicesVerified email at wisc.edu

William Mansky

Assistant Professor, University of Illinois at Chicago

Verified email at uic.edu - Homepage

Formal Methods Programming Languages Concurrency


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A formal C memory model supporting integer-pointer casts J Kang, CK Hur, W Mansky, D Garbuzov, S Zdancewic, V Vafeiadis Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	63	2015
From C to interaction trees: specifying, verifying, and testing a networked server N Koh, Y Li, Y Li, L Xia, L Beringer, W Honoré, W Mansky, BC Pierce, ... Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019	47	2019
A framework for formal verification of compiler optimizations W Mansky, E Gunter International Conference on Interactive Theorem Proving, 371-386, 2010	44	2010
Toward a multi-method approach to formalizing human-automation interaction and human-human communications EJ Bass, ML Bolton, K Feigh, D Griffith, E Gunter, W Mansky, J Rushby 2011 IEEE International Conference on Systems, Man, and Cybernetics, 1817-1824, 2011	40	2011
BARRACUDA: binary-level analysis of runtime RAces in CUDA programs A Eizenberg, Y Peng, T Pigli, W Mansky, J Devietti Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017	34	2017
A verified messaging system W Mansky, AW Appel, A Nogin Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017	22	2017
Verifying an HTTP key-value server with Interaction Trees and VST H Zhang, W Honoré, N Koh, Y Li, Y Li, LY Xia, L Beringer, W Mansky, ... 12th International Conference on Interactive Theorem Proving (ITP 2021), 2021	16	2021
Connecting Higher-Order Separation Logic to a First-Order Outside World W Mansky, W Honoré, AW Appel European Symposium on Programming, 428-455, 2020	14	2020
An axiomatic specification for sequential memory models W Mansky, D Garbuzov, S Zdancewic International Conference on Computer Aided Verification, 413-428, 2015	14	2015
Verifying dynamic race detection W Mansky, Y Peng, S Zdancewic, J Devietti Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017	13	2017
Specifying and verifying program transformations with PTRANS W Mansky University of Illinois at Urbana-Champaign, 2014	11	2014
SLIMFAST: Reducing Metadata Redundancy in Sound and Complete Dynamic Data Race Detection Y Peng, C DeLozier, A Eizenberg, W Mansky, J Devietti 2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS …, 2018	10	2018
Compiler Correctness for Concurrency: from concurrent separation logic to shared-memory assembly language S Cuellar, N Giannarakis, JM Madiot, W Mansky, L Beringer, Q Cao, ... Technical Report TBD, Department of Computer Science, Princeton University, 2020	6	2020
Specifying and executing optimizations for generalized control flow graphs W Mansky, EL Gunter, D Griffith, MD Adams Science of Computer Programming 130, 2-23, 2016	6	2016
Verifying optimizations for concurrent programs W Mansky, EL Gunter First International Workshop on Rewriting Techniques for Program …, 2014	6	2014
Using locales to define a rely-guarantee temporal logic W Mansky, EL Gunter International Conference on Interactive Theorem Proving, 299-314, 2012	4	2012
Automating separation logic for Concurrent C minor W Mansky Undergraduate thesis (May 2008), 2008	4	2008
Specifying and executing optimizations for parallel programs W Mansky, D Griffith, EL Gunter arXiv preprint arXiv:1407.7932, 2014	3	2014
A cross-language framework for verifying compiler optimizations W Mansky, E Gunter Proc. of the 5th Workshop on Syntax and Semantics of Low-Level Languages, 2014	3	2014
Structural Operational Semantics for Control Flow Graph Machines D Garbuzov, W Mansky, C Rizkallah, S Zdancewic arXiv preprint arXiv:1805.05400, 2018		2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors