Jeannette M. Wing

According to our database, Jeannette M. Wing authored at least 125 papers between 1982 and 2023.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2023

More Than Just Algorithms.

Peter Norvig, Alfred Z. Spector, Chris Wiggins, Jeannette M. Wing, Ben Fried, Michael Tingley

Commun. ACM, August, 2023

More Than Just Algorithms: A discussion with Alfred Spector, Peter Norvig, Chris Wiggins, Jeannette Wing, Ben Fried, and Michael Tingley.

Alfred Z. Spector, Peter Norvig, Chris Wiggins, Jeannette M. Wing, Ben Fried, Michael Tingley

ACM Queue, 2023

2021

Trustworthy AI.

Jeannette M. Wing

Commun. ACM, 2021

2020

Ten Research Challenge Areas in Data Science.

Jeannette M. Wing

CoRR, 2020

Ensuring Fairness Beyond the Training Data.

Debmalya Mandal, Samuel Deng, Suman Jana, Jeannette M. Wing, Daniel J. Hsu

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Transforming Probabilistic Programs for Model Checking.

Ryan Bernstein, Matthijs Vákár, Jeannette M. Wing

Proceedings of the FODS '20: ACM-IMS Foundations of Data Science Conference, 2020

Data for Good: Ensuring the Responsible Use of Data to Benefit Society.

Jeannette M. Wing

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2018

Data for Good: Abstract.

Jeannette M. Wing

Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2018

Societal Impact of Data Science and Artificial Intelligence.

Foster J. Provost, James Hodson, Jeannette M. Wing, Qiang Yang, Jennifer Neville

Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2018

2017

Embracing Uncertainty.

Jeannette M. Wing

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

2016

Progress in computational thinking, and expanding the HPC community.

Jeannette M. Wing, Dan Stanzione

Commun. ACM, 2016

Inverse privacy.

Yuri Gurevich, Jeannette M. Wing

Commun. ACM, 2016

Opening keynote: Crashing drones and hijacked cameras: Cybertrust meets cyberphysical.

Jeannette M. Wing, Danella Zhao

Proceedings of the 29th IEEE International System-on-Chip Conference, 2016

2015

Inverse Privacy.

Yuri Gurevich, Efim Hudis, Jeannette M. Wing

CoRR, 2015

A Methodology for Information Flow Experiments.

Michael Carl Tschantz, Amit Datta, Anupam Datta, Jeannette M. Wing

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Bootstrapping Privacy Compliance in Big Data Systems.

Shayak Sen, Saikat Guha, Anupam Datta, Sriram K. Rajamani, Janice Y. Tsai, Jeannette M. Wing

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

2013

Encouraging IT usage in future healthcare, quality in CS education.

Jeannette M. Wing, Mark Guzdial

Commun. ACM, 2013

Formal methods: an industrial perspective.

Jeannette M. Wing

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Purpose Restrictions on Information Use.

Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing

Proceedings of the Computer Security - ESORICS 2013, 2013

2012

Formalizing and Enforcing Purpose Restrictions in Privacy Policies.

Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing

Proceedings of the IEEE Symposium on Security and Privacy, 2012

2011

A Formal Model for a System's Attack Surface.

Pratyusa K. Manadhata, Jeannette M. Wing

Proceedings of the Moving Target Defense, 2011

An Attack Surface Metric.

Pratyusa K. Manadhata, Jeannette M. Wing

IEEE Trans. Software Eng., 2011

On the Semantics of Purpose Requirements in Privacy Policies

Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing

CoRR, 2011

Reviewing peer review.

Jeannette M. Wing, Ed H. Chi

Commun. ACM, 2011

Jeannette M. Wing @ PCAST; Barbara Liskov keynote.

Jeannette M. Wing, Valerie Barr

Commun. ACM, 2011

Towards a Theory of Trust in Networks of Humans and Computers.

Virgil D. Gligor, Jeannette M. Wing

Proceedings of the Security Protocols XIX, 2011

2010

Preface.

Edward Seidel, Jeannette M. Wing

J. Comput. Sci., 2010

NSF funding advice: 21st century innovation.

Jeannette M. Wing, Daniel Reed

Commun. ACM, 2010

2009

An ICT research agenda, HPC and innovation, and why only the developed world lacks women in computing.

Jeannette M. Wing, Daniel Reed, Mark Guzdial

Commun. ACM, 2009

CS woes: deadline-driven research, academic inequality.

Jeannette M. Wing, Mark Guzdial

Commun. ACM, 2009

Formal Methods for Privacy.

Michael Carl Tschantz, Jeannette M. Wing

Proceedings of the FM 2009: Formal Methods, 2009

Report: Measuring the Attack Surfaces of Enterprise Software.

Pratyusa K. Manadhata, Yücel Karabulut, Jeannette M. Wing

Proceedings of the Engineering Secure Software and Systems, 2009

2008

Five deep questions in computing.

Jeannette M. Wing

Commun. ACM, 2008

Extracting Conditional Confidentiality Policies.

Michael Carl Tschantz, Jeannette M. Wing

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Computational thinking and thinking about computing.

Jeannette M. Wing

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007

Software Security.

Jeannette M. Wing

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Computational thinking.

Peter B. Henderson, Thomas J. Cortina, Jeannette M. Wing

Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2006

Computational thinking.

Jeannette M. Wing

Commun. ACM, 2006

Ranking Attack Graphs.

Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing

Proceedings of the Recent Advances in Intrusion Detection, 9th International Symposium, 2006

Attack graph generation and analysis.

Jeannette M. Wing

Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, 2006

Measuring the attack surfaces of two FTP daemons.

Pratyusa K. Manadhata, Jeannette M. Wing, Mark Flynn, Miles McQueen

Proceedings of the 2nd ACM Workshop on Quality of Protection, 2006

2005

Game strategies in network security.

Kong-wei Lye, Jeannette M. Wing

Int. J. Inf. Sec., 2005

Scenario Graphs Applied to Security (Extended Abstract).

Jeannette M. Wing

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

Towards an Algebra for Security Policies.

Jonathan D. Pincus, Jeannette M. Wing

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2003

Platitudes and attitudes.

Jeannette M. Wing

Int. J. Softw. Tools Technol. Transf., 2003

A Call to Action: Look Beyond the Horizon.

Jeannette M. Wing

IEEE Secur. Priv., 2003

Tools for Generating and Analyzing Attack Graphs.

Oleg Sheyner, Jeannette M. Wing

Proceedings of the Formal Methods for Components and Objects, 2003

2002

Vulnerability Analysis of Networked Systems.

Jeannette M. Wing

Proceedings of the 11th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2002), 2002

Automated Generation and Analysis of Attack Graphs.

Oleg Sheyner, Joshua W. Haines, Somesh Jha, Richard Lippmann, Jeannette M. Wing

Proceedings of the 2002 IEEE Symposium on Security and Privacy, 2002

Verifiable Secret Redistribution for Archive System.

Theodore M. Wong, Chenxi Wang, Jeannette M. Wing

Proceedings of the First International IEEE Security in Storage Workshop, 2002

Mathematics in Computer Science Curricula.

Jeannette M. Wing

Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

Two Formal Analys s of Attack Graphs.

Somesh Jha, Oleg Sheyner, Jeannette M. Wing

Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002

2001

Survivability Analysis of Network Systems.

Somesh Jha, Jeannette M. Wing

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Guest Editors' Introduction-Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems.

Jeannette M. Wing, Jim Woodcock

IEEE Trans. Software Eng., 2000

Respectful Type Converters.

Jeannette M. Wing, John Ockerbloom

IEEE Trans. Software Eng., 2000

Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems.

Jeannette M. Wing, Jim Woodcock

Formal Methods Syst. Des., 2000

The First World Congress on Formal Methods in the Development of Computing Systems.

Jeannette M. Wing, Jim Woodcock

Formal Aspects Comput., 2000

Survivability Analysis of Network Specifications.

Somesh Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

Survivability Analysis of Networked Systems .

Jeannette M. Wing

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum.

Jeannette M. Wing

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

NSF workshop on a software research program for the 21st century.

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

ACM SIGSOFT Softw. Eng. Notes, 1999

A Nitpick Analysis of Mobile IPv6.

Daniel Jackson, Yu-Chung Ng, Jeannette M. Wing

Formal Aspects Comput., 1999

1998

Protective Interface Specifications.

Gary T. Leavens, Jeannette M. Wing

Formal Aspects Comput., 1998

Proving Correctness of a Controller Algorithm for the RAID Level 5 System.

Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing

Proceedings of the Digest of Papers: FTCS-28, 1998

Formal Methods: Past, Present, and Future (Abstract).

Jeannette M. Wing

Proceedings of the Advances in Computing Science, 1998

1997

Specification Matching of Software Components.

Amy Moormann Zaremski, Jeannette M. Wing

ACM Trans. Softw. Eng. Methodol., 1997

A Case study in Model Checking Software Systems.

Jeannette M. Wing, Mandana Vaziri

Sci. Comput. Program., 1997

1996

Tools and Partial Analysis.

Edmund M. Clarke, Jeannette M. Wing

ACM Comput. Surv., 1996

Formal Methods: State of the Art and Future Directions.

Edmund M. Clarke, Jeannette M. Wing

ACM Comput. Surv., 1996

An Invitation to Formal Methods.

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

Computer, 1996

1995

Signature Matching: A Tool for Using Software Libraries.

Amy Moormann Zaremski, Jeannette M. Wing

ACM Trans. Softw. Eng. Methodol., 1995

Hints for Writing Specifications.

Jeannette M. Wing

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Model Checking Software Systems: A Case Study.

Jeannette M. Wing, Mandana Vaziri

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

Specifying Weak Sets.

Jeannette M. Wing, David C. Steere

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

The CMU Master of Software Engineering Core Curriculum.

David Garlan, Alan W. Brown, Daniel Jackson, James E. Tomayko, Jeannette M. Wing

Proceedings of the Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29, 1995

Teaching Mathematics to Software Engineers.

Jeannette M. Wing

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

A Behavioral Notion of Subtyping.

Barbara Liskov, Jeannette M. Wing

ACM Trans. Program. Lang. Syst., 1994

Composing First-Class Transactions.

Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott Nettles, Jeannette M. Wing

ACM Trans. Program. Lang. Syst., 1994

Dynamic Sets for Search.

David C. Steere, Mahadev Satyanarayanan, Jeannette M. Wing

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

Using Belief to Reason about Cache Coherence.

Lily B. Mummert, Jeannette M. Wing, Mahadev Satyanarayanan

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1993

Larch: Languages and Tools for Formal Specification

John V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-2704-5, 1993

Testing and Verifying Concurrent Objects.

Jeannette M. Wing, Chun Gong

J. Parallel Distributed Comput., 1993

Signature Matching: A Key to Reuse.

Amy Moormann Zaremski, Jeannette M. Wing

Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993

Specifications and Their Use in Defining Subtypes.

Barbara Liskov, Jeannette M. Wing

Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993

Decomposing and Recomposing Transactional Concepts.

Jeannette M. Wing

Proceedings of the Object-Based Distributed Programming, 1993

A New Definition of the Subtype Relation.

Barbara Liskov, Jeannette M. Wing

Proceedings of the ECOOP'93, 1993

1992

Revisiting Abstraction Functions For Reasoning About Concurrency.

Jeannette M. Wing

Proceedings of the 5th Refinement Workshop, 1992

Specification in Software Development

Jeannette M. Wing

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Thoughts on a Larch/ML and a New Application for LP.

Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski

Proceedings of the First International Workshop on Larch, 1992

1991

Specifying Graceful Degradation.

Maurice Herlihy, Jeannette M. Wing

IEEE Trans. Parallel Distributed Syst., 1991

A formal specification of a visual language editor.

Jeannette M. Wing, Amy Moormann Zaremski

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Specifications as Search Keys for Software Libraries.

Eugene J. Rollins, Jeannette M. Wing

Proceedings of the Logic Programming, 1991

Unintrusive Ways to Integrate Formal Specifications in Practice.

Jeannette M. Wing, Amy Moormann Zaremski

Proceedings of the VDM '91, 1991

1990

Using Larch to Specify Avalon/C++ Objects.

Jeannette M. Wing

IEEE Trans. Software Eng., 1990

Miró: Visual Specification of Security.

Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski

IEEE Trans. Software Eng., 1990

Linearizability: A Correctness Condition for Concurrent Objects.

Maurice Herlihy, Jeannette M. Wing

ACM Trans. Program. Lang. Syst., 1990

A Specifier's Introduction to Formal Methods.

Jeannette M. Wing

Computer, 1990

Reliable Distributed Computing with Avalon/Common Lisp.

Stewart M. Clamen, Linda D. Leibengood, Scott Nettles, Jeannette M. Wing

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

A Language for Distributed Applications.

Mario Barbacci, Jeannette M. Wing

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

Experience with the Larch Prover.

Jeannette M. Wing, Chun Gong

Proceedings of the Conference proceedings on Formal methods in software development, 1990

1989

Extending Ina Jo with Temporal Logic.

Jeannette M. Wing, Mark R. Nixon

IEEE Trans. Software Eng., 1989

Verifying atomic data types.

Jeannette M. Wing

Int. J. Parallel Program., 1989

Developing Applications for Heterogeneous Machine Networks: The Durra Network.

Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Jeannette M. Wing

Comput. Syst., 1989

Micro tools.

Allan Heydon, Mark W. Maimone, J. Doug Tygar, Jeannette M. Wing, Amy Moormann Zaremski

Proceedings of the IEEE Workshop on Visual Languages, 1989

Specifying Avalon Objects in Larch.

Jeannette M. Wing

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Panel on Transactions in Object-Oriented Systems.

Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing

Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

Constraining Pictures with Pictures.

Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

Specifying Security Constraints with Relaxation Lattices.

Maurice Herlihy, Jeannette M. Wing

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1988

A Study of 12 Specifications of the Library Problem.

Jeannette M. Wing

IEEE Softw., 1988

Linearizable concurrent objects.

Maurice Herlihy, Jeannette M. Wing

Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

Inheritance of Synchronization and Recovery Properties in Avalon/C++.

David Detlefs, Maurice Herlihy, Jeannette M. Wing

Computer, 1988

Miro semantics for security.

Mark W. Maimone, J. Doug Tygar, Jeannette M. Wing

Proceedings of the IEEE Workshop on Visual Languages, 1988

Programming at the Processor-Memory-Switch Level.

Mario Barbacci, Charles B. Weinstock, Jeannette M. Wing

Proceedings of the Proceedings, 1988

Reasoning about Atomic Objects.

Maurice Herlihy, Jeannette M. Wing

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1987

Writing Larch Interface Language Specifications.

Jeannette M. Wing

ACM Trans. Program. Lang. Syst., 1987

Axioms for Concurrent Objects.

Maurice Herlihy, Jeannette M. Wing

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

Specifying Graceful Degradation in Distributed Systems.

Maurice Herlihy, Jeannette M. Wing

Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987

Specifying Functional and Timing Behavior for Real-Time Applications.

Mario Barbacci, Jeannette M. Wing

Proceedings of the PARLE, 1987

DURRA : A Task-Level Description Language.

Mario Barbacci, Jeannette M. Wing

Proceedings of the International Conference on Parallel Processing, 1987

Avalon/C++.

David Detlefs, Maurice Herlihy, K. Kietzke, Jeannette M. Wing

Proceedings of the C++ Workshop. Santa Fe, NM, USA, November 1987, 1987

1986

Abstracts in software engineering.

John V. Guttag, James J. Horning, Jeannette M. Wing

ACM SIGSOFT Softw. Eng. Notes, 1986

1985

The Larch Family of Specification Languages.

John V. Guttag, James J. Horning, Jeannette M. Wing

IEEE Softw., 1985

Beyond functional behavior: combining methods to specify different classes of properties of large systems.

Jeannette M. Wing

ACM SIGSOFT Softw. Eng. Notes, 1985

Specification and Prototyping: Some Thoughts on Why They Are Successful.

Daniel M. Berry, Jeannette M. Wing

Proceedings of the Mathematical Foundations of Software Development, 1985

1982

Some Notes on Putting Formal Specifications to Productive Use.

John V. Guttag, James J. Horning, Jeannette M. Wing

Sci. Comput. Program., 1982