Jeannette M. Wing

Publication Activity (10 Years)

Years Active: 1982-2023
Publications (10 Years): 14

Top Venues

CoRR

Commun. ACM

KDD

HILT

Publications

Alfred Z. Spector, Peter Norvig, Chris Wiggins, Jeannette M. Wing, Ben Fried, Michael Tingley
More Than Just Algorithms: A discussion with Alfred Spector, Peter Norvig, Chris Wiggins, Jeannette Wing, Ben Fried, and Michael Tingley. ACM Queue 21 (1) (2023)
Peter Norvig, Alfred Z. Spector, Chris Wiggins, Jeannette M. Wing, Ben Fried, Michael Tingley
More Than Just Algorithms. Commun. ACM 66 (8) (2023)
Jeannette M. Wing
Trustworthy AI. Commun. ACM 64 (10) (2021)
Debmalya Mandal, Samuel Deng, Suman Jana, Jeannette M. Wing, Daniel Hsu
Ensuring Fairness Beyond the Training Data. CoRR (2020)
Jeannette M. Wing
Trustworthy AI. CoRR (2020)
Jeannette M. Wing
Data for Good: Ensuring the Responsible Use of Data to Benefit Society. IEEE BigData (2020)
Jeannette M. Wing
Ten Research Challenge Areas in Data Science. CoRR (2020)
Debmalya Mandal, Samuel Deng, Suman Jana, Jeannette M. Wing, Daniel J. Hsu
Ensuring Fairness Beyond the Training Data. NeurIPS (2020)
Foster J. Provost, James Hodson, Jeannette M. Wing, Qiang Yang, Jennifer Neville
Societal Impact of Data Science and Artificial Intelligence. KDD (2018)
Jeannette M. Wing
Data for Good: Abstract. KDD (2018)
Jeannette M. Wing
Embracing Uncertainty. SIGCSE (2017)
Yuri Gurevich, Jeannette M. Wing
Inverse privacy. Commun. ACM 59 (7) (2016)
Jeannette M. Wing, Dan Stanzione
Progress in computational thinking, and expanding the HPC community. Commun. ACM 59 (7) (2016)
Jeannette M. Wing, Danella Zhao
Opening keynote: Crashing drones and hijacked cameras: Cybertrust meets cyberphysical. SoCC (2016)
Michael Carl Tschantz, Amit Datta, Anupam Datta, Jeannette M. Wing
A Methodology for Information Flow Experiments. CSF (2015)
Yuri Gurevich, Efim Hudis, Jeannette M. Wing
Inverse Privacy. CoRR (2015)
Michael Carl Tschantz, Amit Datta, Anupam Datta, Jeannette M. Wing
A Methodology for Information Flow Experiments. CoRR (2014)
Shayak Sen, Saikat Guha, Anupam Datta, Sriram K. Rajamani, Janice Y. Tsai, Jeannette M. Wing
Bootstrapping Privacy Compliance in Big Data Systems. IEEE Symposium on Security and Privacy (2014)
Jeannette M. Wing
Formal methods: an industrial perspective. HILT (2013)
Jeannette M. Wing, Mark Guzdial
Encouraging IT usage in future healthcare, quality in CS education. Commun. ACM 56 (5) (2013)
Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
Purpose Restrictions on Information Use. ESORICS (2013)
Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
Formalizing and Enforcing Purpose Restrictions in Privacy Policies. IEEE Symposium on Security and Privacy (2012)
Jeannette M. Wing, Valerie Barr
Jeannette M. Wing @ PCAST; Barbara Liskov keynote. Commun. ACM 54 (9) (2011)
Jeannette M. Wing, Ed H. Chi
Reviewing peer review. Commun. ACM 54 (7) (2011)
Pratyusa K. Manadhata, Jeannette M. Wing
An Attack Surface Metric. IEEE Trans. Software Eng. 37 (3) (2011)
Virgil D. Gligor, Jeannette M. Wing
Towards a Theory of Trust in Networks of Humans and Computers. Security Protocols Workshop (2011)
Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
On the Semantics of Purpose Requirements in Privacy Policies CoRR (2011)
Jeannette M. Wing
Computational thinking. VL/HCC (2011)
Jeannette M. Wing, Daniel Reed
NSF funding advice: 21st century innovation. Commun. ACM 53 (5) (2010)
Edward Seidel, Jeannette M. Wing
Preface. J. Comput. Sci. 1 (1) (2010)
Jeannette M. Wing, Mark Guzdial
CS woes: deadline-driven research, academic inequality. Commun. ACM 52 (12) (2009)
Jeannette M. Wing, Daniel Reed, Mark Guzdial
An ICT research agenda, HPC and innovation, and why only the developed world lacks women in computing. Commun. ACM 52 (8) (2009)
Pratyusa K. Manadhata, Yücel Karabulut, Jeannette M. Wing
Report: Measuring the Attack Surfaces of Enterprise Software. ESSoS (2009)
Michael Carl Tschantz, Jeannette M. Wing
Formal Methods for Privacy. FM (2009)
Jeannette M. Wing
Computational thinking and thinking about computing. IPDPS (2008)
Michael Carl Tschantz, Jeannette M. Wing
Extracting Conditional Confidentiality Policies. SEFM (2008)
Jeannette M. Wing
Five deep questions in computing. Commun. ACM 51 (1) (2008)
Peter B. Henderson, Thomas J. Cortina, Jeannette M. Wing
Computational thinking. SIGCSE (2007)
Jeannette M. Wing
Software Security. TASE (2007)
Jeannette M. Wing
Computational thinking. Commun. ACM 49 (3) (2006)
Pratyusa K. Manadhata, Jeannette M. Wing, Mark Flynn, Miles McQueen
Measuring the attack surfaces of two FTP daemons. QoP (2006)
Jeannette M. Wing
Attack graph generation and analysis. AsiaCCS (2006)
Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing
Ranking Attack Graphs. RAID (2006)
Jonathan D. Pincus, Jeannette M. Wing
Towards an Algebra for Security Policies. ICATPN (2005)
Kong-wei Lye, Jeannette M. Wing
Game strategies in network security. Int. J. Inf. Sec. 4 (1-2) (2005)
Jeannette M. Wing
Scenario Graphs Applied to Security (Extended Abstract). VISSAS (2005)
Jeannette M. Wing
A Call to Action: Look Beyond the Horizon. IEEE Secur. Priv. 1 (6) (2003)
Oleg Sheyner, Jeannette M. Wing
Tools for Generating and Analyzing Attack Graphs. FMCO (2003)
Jeannette M. Wing
Platitudes and attitudes. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Somesh Jha, Oleg Sheyner, Jeannette M. Wing
Two Formal Analys s of Attack Graphs. CSFW (2002)
Theodore M. Wong, Chenxi Wang, Jeannette M. Wing
Verifiable Secret Redistribution for Archive System. IEEE Security in Storage Workshop (2002)
Jeannette M. Wing
Vulnerability Analysis of Networked Systems. WETICE (2002)
Jeannette M. Wing
Mathematics in Computer Science Curricula. MPC (2002)
Oleg Sheyner, Joshua W. Haines, Somesh Jha, Richard Lippmann, Jeannette M. Wing
Automated Generation and Analysis of Attack Graphs. IEEE Symposium on Security and Privacy (2002)
Jeannette M. Wing
Survivability Analysis of Networked Systems. FORTE (2001)
Somesh Jha, Jeannette M. Wing
Survivability Analysis of Network Systems. ICSE (2001)
Jeannette M. Wing
Survivability Analysis of Networked Systems . APSEC (2000)
Somesh Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff
Survivability Analysis of Network Specifications. DSN (2000)
Jeannette M. Wing, Jim Woodcock
The First World Congress on Formal Methods in the Development of Computing Systems. Formal Aspects Comput. 12 (3) (2000)
Jeannette M. Wing, Jim Woodcock
Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods Syst. Des. 17 (3) (2000)
Jeannette M. Wing, John Ockerbloom
Respectful Type Converters. IEEE Trans. Software Eng. 26 (7) (2000)
Jeannette M. Wing
Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum. AMAST (2000)
Jeannette M. Wing, Jim Woodcock
Guest Editors' Introduction-Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems. IEEE Trans. Software Eng. 26 (8) (2000)
Daniel Jackson, Yu-Chung Ng, Jeannette M. Wing
A Nitpick Analysis of Mobile IPv6. Formal Aspects Comput. 11 (6) (1999)
Victor R. Basili, Laszlo A. Belady, Barry W. Boehm, Frederick P. Brooks Jr., James Browne, Richard A. DeMillo, Stuart I. Feldman, Cordell Green, Butler W. Lampson, Duncan H. Lawrie, Nancy G. Leveson, Nancy A. Lynch, Mark D. Weiser, Jeannette M. Wing
NSF workshop on a software research program for the 21st century. ACM SIGSOFT Softw. Eng. Notes 24 (3) (1999)
Gary T. Leavens, Jeannette M. Wing
Protective Interface Specifications. Formal Aspects Comput. 10 (1) (1998)
Jeannette M. Wing
Formal Methods: Past, Present, and Future (Abstract). ASIAN (1998)
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
Proving Correctness of a Controller Algorithm for the RAID Level 5 System. FTCS (1998)
Jeannette M. Wing, Mandana Vaziri
A Case study in Model Checking Software Systems. Sci. Comput. Program. 28 (2-3) (1997)
Amy Moormann Zaremski, Jeannette M. Wing
Specification Matching of Software Components. ACM Trans. Softw. Eng. Methodol. 6 (4) (1997)
Gary T. Leavens, Jeannette M. Wing
Protective Interface Specifications. TAPSOFT (1997)
Edmund M. Clarke, Jeannette M. Wing
Tools and Partial Analysis. ACM Comput. Surv. 28 (4es) (1996)
Edmund M. Clarke, Jeannette M. Wing
Formal Methods: State of the Art and Future Directions. ACM Comput. Surv. 28 (4) (1996)
Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave
An Invitation to Formal Methods. Computer 29 (4) (1996)
Jeannette M. Wing, Mandana Vaziri
Model Checking Software Systems: A Case Study. SIGSOFT FSE (1995)
Jeannette M. Wing, David C. Steere
Specifying Weak Sets. ICDCS (1995)
Amy Moormann Zaremski, Jeannette M. Wing
Specification Matching of Software Components. SIGSOFT FSE (1995)
Amy Moormann Zaremski, Jeannette M. Wing
Signature Matching: A Tool for Using Software Libraries. ACM Trans. Softw. Eng. Methodol. 4 (2) (1995)
Jeannette M. Wing
Hints for Writing Specifications. ZUM (1995)
Barbara Liskov, Jeannette M. Wing
Specifications and Their Use in Defining Subtypes. ZUM (1995)
Jeannette M. Wing
Teaching Mathematics to Software Engineers. AMAST (1995)
David Garlan, Alan W. Brown, Daniel Jackson, James E. Tomayko, Jeannette M. Wing
The CMU Master of Software Engineering Core Curriculum. CSEE (1995)
Lily B. Mummert, Jeannette M. Wing, Mahadev Satyanarayanan
Using Belief to Reason about Cache Coherence. PODC (1994)
David C. Steere, Mahadev Satyanarayanan, Jeannette M. Wing
Dynamic Sets for Search. PODC (1994)
Barbara Liskov, Jeannette M. Wing
A Behavioral Notion of Subtyping. ACM Trans. Program. Lang. Syst. 16 (6) (1994)
Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott Nettles, Jeannette M. Wing
Composing First-Class Transactions. ACM Trans. Program. Lang. Syst. 16 (6) (1994)
Barbara Liskov, Jeannette M. Wing
Specifications and Their Use in Defining Subtypes. OOPSLA (1993)
Jeannette M. Wing, Chun Gong
Testing and Verifying Concurrent Objects. J. Parallel Distributed Comput. 17 (1-2) (1993)
Barbara Liskov, Jeannette M. Wing
A New Definition of the Subtype Relation. ECOOP (1993)
Amy Moormann Zaremski, Jeannette M. Wing
Signature Matching: A Key to Reuse. SIGSOFT FSE (1993)
Jeannette M. Wing
Decomposing and Recomposing Transactional Concepts. ECOOP Workshop (1993)
Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski
Thoughts on a Larch/ML and a New Application for LP. Larch (1992)
Jeannette M. Wing
Specification in Software Development LICS (1992)
Jeannette M. Wing
Revisiting Abstraction Functions For Reasoning About Concurrency. Refine (1992)
Jeannette M. Wing, Amy Moormann Zaremski
A formal specification of a visual language editor. IWSSD (1991)
Maurice Herlihy, Jeannette M. Wing
Specifying Graceful Degradation. IEEE Trans. Parallel Distributed Syst. 2 (1) (1991)
Jeannette M. Wing, Amy Moormann Zaremski
Unintrusive Ways to Integrate Formal Specifications in Practice. VDM Europe (1) (1991)
Eugene J. Rollins, Jeannette M. Wing
Specifications as Search Keys for Software Libraries. ICLP (1991)
Mario Barbacci, Jeannette M. Wing
A Language for Distributed Applications. ICCL (1990)
Stewart M. Clamen, Linda D. Leibengood, Scott Nettles, Jeannette M. Wing
Reliable Distributed Computing with Avalon/Common Lisp. ICCL (1990)

Jeannette M. Wing.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jeannette M. Wing