Jeannette M. Wing

143 papers A* 12A 12B 6C 3Misc 1Journal 58Unranked 44

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. CoRR David Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark, Sanjit A. Seshia, Steve Omohundro, Christian Szegedy, Ben Goldhaber, Nora Ammann, Alessandro Abate, Joe Halpern, Clark W. Barrett, Ding Zhao, Tan Zhi-Xuan, Jeannette M. Wing, Joshua B. Tenenbaum
2023	J	`jnl`	More Than Just Algorithms. Commun. ACM Peter Norvig, Alfred Z. Spector, Chris Wiggins, Jeannette M. Wing, Ben Fried, Michael Tingley
2023	J	`jnl`	More Than Just Algorithms: A discussion with Alfred Spector, Peter Norvig, Chris Wiggins, Jeannette Wing, Ben Fried, and Michael Tingley. ACM Queue Alfred Z. Spector, Peter Norvig, Chris Wiggins, Jeannette M. Wing, Ben Fried, Michael Tingley
2021	J	`jnl`	Trustworthy AI. Commun. ACM Jeannette M. Wing
2020	—	`conf`	Data for Good: Ensuring the Responsible Use of Data to Benefit Society. IEEE BigData Jeannette M. Wing
2020	A*	`conf`	Ensuring Fairness Beyond the Training Data. NeurIPS Debmalya Mandal, Samuel Deng, Suman Jana, Jeannette M. Wing, Daniel J. Hsu
2020	J	`jnl`	Ensuring Fairness Beyond the Training Data. CoRR Debmalya Mandal, Samuel Deng, Suman Jana, Jeannette M. Wing, Daniel Hsu
2020	—	`ed.`	FODS '20: ACM-IMS Foundations of Data Science Conference, Virtual Event, USA, October 19-20, 2020 FODS Jeannette M. Wing, David Madigan
2020	J	`jnl`	Ten Research Challenge Areas in Data Science. CoRR Jeannette M. Wing
2020	—	`conf`	Transforming Probabilistic Programs for Model Checking. FODS Ryan Bernstein, Matthijs Vákár, Jeannette M. Wing
2020	J	`jnl`	Transforming Probabilistic Programs for Model Checking. CoRR Ryan Bernstein, Matthijs Vákár, Jeannette M. Wing
2020	J	`jnl`	Trustworthy AI. CoRR Jeannette M. Wing
2018	A*	`conf`	Data for Good: Abstract. KDD Jeannette M. Wing
2018	A*	`conf`	Societal Impact of Data Science and Artificial Intelligence. KDD Foster J. Provost, James Hodson, Jeannette M. Wing, Qiang Yang, Jennifer Neville
2017	A	`conf`	Embracing Uncertainty. SIGCSE Jeannette M. Wing
2016	J	`jnl`	Inverse privacy. Commun. ACM Yuri Gurevich, Jeannette M. Wing
2016	—	`conf`	Opening keynote: Crashing drones and hijacked cameras: Cybertrust meets cyberphysical. SoCC Jeannette M. Wing, Danella Zhao
2016	J	`jnl`	Progress in computational thinking, and expanding the HPC community. Commun. ACM Jeannette M. Wing, Dan Stanzione
2015	A	`conf`	A Methodology for Information Flow Experiments. CSF Michael Carl Tschantz, Amit Datta, Anupam Datta, Jeannette M. Wing
2015	J	`jnl`	Inverse Privacy. CoRR Yuri Gurevich, Efim Hudis, Jeannette M. Wing
2014	J	`jnl`	A Methodology for Information Flow Experiments. CoRR Michael Carl Tschantz, Amit Datta, Anupam Datta, Jeannette M. Wing
2014	A*	`conf`	Bootstrapping Privacy Compliance in Big Data Systems. IEEE Symposium on Security and Privacy Shayak Sen, Saikat Guha, Anupam Datta, Sriram K. Rajamani, Janice Y. Tsai, Jeannette M. Wing
2013	J	`jnl`	Encouraging IT usage in future healthcare, quality in CS education. Commun. ACM Jeannette M. Wing, Mark Guzdial
2013	—	`conf`	Formal methods: an industrial perspective. HILT Jeannette M. Wing
2013	A	`conf`	Purpose Restrictions on Information Use. ESORICS Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
2012	A*	`conf`	Formalizing and Enforcing Purpose Restrictions in Privacy Policies. IEEE Symposium on Security and Privacy Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
2011	—	`ch.`	A Formal Model for a System's Attack Surface. Moving Target Defense Pratyusa K. Manadhata, Jeannette M. Wing
2011	J	`jnl`	An Attack Surface Metric. IEEE Trans. Software Eng. Pratyusa K. Manadhata, Jeannette M. Wing
2011	B	`conf`	Computational thinking. VL/HCC Jeannette M. Wing
2011	J	`jnl`	Jeannette M. Wing @ PCAST; Barbara Liskov keynote. Commun. ACM Jeannette M. Wing, Valerie Barr
2011	J	`jnl`	On the Semantics of Purpose Requirements in Privacy Policies CoRR Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
2011	J	`jnl`	Reviewing peer review. Commun. ACM Jeannette M. Wing, Ed H. Chi
2011	—	`conf`	Towards a Theory of Trust in Networks of Humans and Computers. Security Protocols Workshop Virgil D. Gligor, Jeannette M. Wing
2010	J	`jnl`	NSF funding advice: 21st century innovation. Commun. ACM Jeannette M. Wing, Daniel Reed
2010	J	`jnl`	Preface. J. Comput. Sci. Edward Seidel, Jeannette M. Wing
2009	J	`jnl`	An ICT research agenda, HPC and innovation, and why only the developed world lacks women in computing. Commun. ACM Jeannette M. Wing, Daniel Reed, Mark Guzdial
2009	J	`jnl`	CS woes: deadline-driven research, academic inequality. Commun. ACM Jeannette M. Wing, Mark Guzdial
2009	J	`jnl`	Computational thinking. J. Comput. Sci. Coll. Jeannette M. Wing
2009	B	`conf`	Formal Methods for Privacy. FM Michael Carl Tschantz, Jeannette M. Wing
2009	—	`conf`	Report: Measuring the Attack Surfaces of Enterprise Software. ESSoS Pratyusa K. Manadhata, Yücel Karabulut, Jeannette M. Wing
2008	A	`conf`	Computational thinking and thinking about computing. IPDPS Jeannette M. Wing
2008	B	`conf`	Extracting Conditional Confidentiality Policies. SEFM Michael Carl Tschantz, Jeannette M. Wing
2008	J	`jnl`	Five deep questions in computing. Commun. ACM Jeannette M. Wing
2007	A	`conf`	Computational thinking. SIGCSE Peter B. Henderson, Thomas J. Cortina, Jeannette M. Wing
2007	Misc	`conf`	Software Security. TASE Jeannette M. Wing
2006	A	`conf`	Attack graph generation and analysis. AsiaCCS Jeannette M. Wing
2006	J	`jnl`	Computational thinking. Commun. ACM Jeannette M. Wing
2006	—	`conf`	Measuring the attack surfaces of two FTP daemons. QoP Pratyusa K. Manadhata, Jeannette M. Wing, Mark Flynn, Miles McQueen
2006	A	`conf`	Ranking Attack Graphs. RAID Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing
2005	J	`jnl`	Game strategies in network security. Int. J. Inf. Sec. Kong-wei Lye, Jeannette M. Wing
2005	—	`conf`	Scenario Graphs Applied to Security (Extended Abstract). VISSAS Jeannette M. Wing
2005	—	`conf`	Towards an Algebra for Security Policies. ICATPN Jonathan D. Pincus, Jeannette M. Wing
2003	J	`jnl`	A Call to Action: Look Beyond the Horizon. IEEE Secur. Priv. Jeannette M. Wing
2003	J	`jnl`	Platitudes and attitudes. Int. J. Softw. Tools Technol. Transf. Jeannette M. Wing
2003	—	`conf`	Tools for Generating and Analyzing Attack Graphs. FMCO Oleg Sheyner, Jeannette M. Wing
2002	—	`conf`	Automated Generation and Analysis of Attack Graphs. S&P Oleg Sheyner, Joshua W. Haines, Somesh Jha, Richard Lippmann, Jeannette M. Wing
2002	B	`conf`	Mathematics in Computer Science Curricula. MPC Jeannette M. Wing
2002	—	`conf`	Two Formal Analys s of Attack Graphs. CSFW Somesh Jha, Oleg Sheyner, Jeannette M. Wing
2002	—	`conf`	Verifiable Secret Redistribution for Archive System. IEEE Security in Storage Workshop Theodore M. Wong, Chenxi Wang, Jeannette M. Wing
2002	C	`conf`	Vulnerability Analysis of Networked Systems. WETICE Jeannette M. Wing
2001	A*	`conf`	Survivability Analysis of Network Systems. ICSE Somesh Jha, Jeannette M. Wing
2001	C	`conf`	Survivability Analysis of Networked Systems. FORTE Jeannette M. Wing
2000	J	`jnl`	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. Jeannette M. Wing, Jim Woodcock
2000	J	`jnl`	Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods Syst. Des. Jeannette M. Wing, Jim Woodcock
2000	—	`conf`	Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum. AMAST Jeannette M. Wing
2000	J	`jnl`	Respectful Type Converters. IEEE Trans. Software Eng. Jeannette M. Wing, John Ockerbloom
2000	A	`conf`	Survivability Analysis of Network Specifications. DSN Somesh Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff
2000	C	`conf`	Survivability Analysis of Networked Systems . APSEC Jeannette M. Wing
2000	J	`jnl`	The First World Congress on Formal Methods in the Development of Computing Systems. Formal Aspects Comput. Jeannette M. Wing, Jim Woodcock
1999	J	`jnl`	A Nitpick Analysis of Mobile IPv6. Formal Aspects Comput. Daniel Jackson, Yu-Chung Ng, Jeannette M. Wing
1999	—	`ed.`	FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I World Congress on Formal Methods Jeannette M. Wing, Jim Woodcock, Jim Davies
1999	—	`ed.`	FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II World Congress on Formal Methods Jeannette M. Wing, Jim Woodcock, Jim Davies
1999	J	`jnl`	NSF workshop on a software research program for the 21st century. ACM SIGSOFT Softw. Eng. Notes 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
1998	—	`conf`	Formal Methods: Past, Present, and Future (Abstract). ASIAN Jeannette M. Wing
1998	J	`jnl`	Protective Interface Specifications. Formal Aspects Comput. Gary T. Leavens, Jeannette M. Wing
1998	—	`conf`	Proving Correctness of a Controller Algorithm for the RAID Level 5 System. FTCS Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
1997	J	`jnl`	A Case study in Model Checking Software Systems. Sci. Comput. Program. Jeannette M. Wing, Mandana Vaziri
1997	—	`conf`	Protective Interface Specifications. TAPSOFT Gary T. Leavens, Jeannette M. Wing
1997	J	`jnl`	Specification Matching of Software Components. ACM Trans. Softw. Eng. Methodol. Amy Moormann Zaremski, Jeannette M. Wing
1996	J	`jnl`	An Invitation to Formal Methods. Computer 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
1996	J	`jnl`	Formal Methods: State of the Art and Future Directions. ACM Comput. Surv. Edmund M. Clarke, Jeannette M. Wing
1996	J	`jnl`	Tools and Partial Analysis. ACM Comput. Surv. Edmund M. Clarke, Jeannette M. Wing
1995	—	`conf`	Hints for Writing Specifications. ZUM Jeannette M. Wing
1995	—	`conf`	Model Checking Software Systems: A Case Study. SIGSOFT FSE Jeannette M. Wing, Mandana Vaziri
1995	J	`jnl`	Signature Matching: A Tool for Using Software Libraries. ACM Trans. Softw. Eng. Methodol. Amy Moormann Zaremski, Jeannette M. Wing
1995	—	`conf`	Specification Matching of Software Components. SIGSOFT FSE Amy Moormann Zaremski, Jeannette M. Wing
1995	—	`conf`	Specifications and Their Use in Defining Subtypes. ZUM Barbara Liskov, Jeannette M. Wing
1995	A	`conf`	Specifying Weak Sets. ICDCS Jeannette M. Wing, David C. Steere
1995	—	`conf`	Teaching Mathematics to Software Engineers. AMAST Jeannette M. Wing
1995	—	`conf`	The CMU Master of Software Engineering Core Curriculum. CSEE David Garlan, Alan W. Brown, Daniel Jackson, James E. Tomayko, Jeannette M. Wing
1994	J	`jnl`	A Behavioral Notion of Subtyping. ACM Trans. Program. Lang. Syst. Barbara Liskov, Jeannette M. Wing
1994	J	`jnl`	Composing First-Class Transactions. ACM Trans. Program. Lang. Syst. Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott Nettles, Jeannette M. Wing
1994	A*	`conf`	Dynamic Sets for Search. PODC David C. Steere, Mahadev Satyanarayanan, Jeannette M. Wing
1994	—	`ed.`	Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994 IDL Jeannette M. Wing, Richard L. Wexelblat
1994	A*	`conf`	Using Belief to Reason about Cache Coherence. PODC Lily B. Mummert, Jeannette M. Wing, Mahadev Satyanarayanan
1993	A	`conf`	A New Definition of the Subtype Relation. ECOOP Barbara Liskov, Jeannette M. Wing
1993	—	`conf`	Decomposing and Recomposing Transactional Concepts. ECOOP Workshop Jeannette M. Wing
1993	—	`ed.`	First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 Larch Ursula Martin, Jeannette M. Wing
1993	—	`book`	Larch: Languages and Tools for Formal Specification John V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing
1993	—	`conf`	Signature Matching: A Key to Reuse. SIGSOFT FSE Amy Moormann Zaremski, Jeannette M. Wing
1993	A	`conf`	Specifications and Their Use in Defining Subtypes. OOPSLA Barbara Liskov, Jeannette M. Wing
1993	J	`jnl`	Testing and Verifying Concurrent Objects. J. Parallel Distributed Comput. Jeannette M. Wing, Chun Gong
1992	—	`conf`	Revisiting Abstraction Functions For Reasoning About Concurrency. Refine Jeannette M. Wing
1992	A*	`conf`	Specification in Software Development LICS Jeannette M. Wing
1992	—	`conf`	Thoughts on a Larch/ML and a New Application for LP. Larch Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski
1991	—	`conf`	A formal specification of a visual language editor. IWSSD Jeannette M. Wing, Amy Moormann Zaremski
1991	B	`conf`	Specifications as Search Keys for Software Libraries. ICLP Eugene J. Rollins, Jeannette M. Wing
1991	J	`jnl`	Specifying Graceful Degradation. IEEE Trans. Parallel Distributed Syst. Maurice Herlihy, Jeannette M. Wing
1991	—	`conf`	Unintrusive Ways to Integrate Formal Specifications in Practice. VDM Europe (1) Jeannette M. Wing, Amy Moormann Zaremski
1990	—	`conf`	A Language for Distributed Applications. ICCL Mario Barbacci, Jeannette M. Wing
1990	J	`jnl`	A Specifier's Introduction to Formal Methods. Computer Jeannette M. Wing
1990	—	`conf`	Experience with the Larch Prover. Formal Methods in Software Development Jeannette M. Wing, Chun Gong
1990	J	`jnl`	Linearizability: A Correctness Condition for Concurrent Objects. ACM Trans. Program. Lang. Syst. Maurice Herlihy, Jeannette M. Wing
1990	J	`jnl`	Miró: Visual Specification of Security. IEEE Trans. Software Eng. Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski
1990	—	`conf`	Reliable Distributed Computing with Avalon/Common Lisp. ICCL Stewart M. Clamen, Linda D. Leibengood, Scott Nettles, Jeannette M. Wing
1990	J	`jnl`	Using Larch to Specify Avalon/C++ Objects. IEEE Trans. Software Eng. Jeannette M. Wing
1989	—	`conf`	Constraining Pictures with Pictures. IFIP Congress Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski
1989	J	`jnl`	Developing Applications for Heterogeneous Machine Networks: The Durra Network. Comput. Syst. Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Jeannette M. Wing
1989	J	`jnl`	Extending Ina Jo with Temporal Logic. IEEE Trans. Software Eng. Jeannette M. Wing, Mark R. Nixon
1989	—	`conf`	Micro tools. VL Allan Heydon, Mark W. Maimone, J. Doug Tygar, Jeannette M. Wing, Amy Moormann Zaremski
1989	A	`conf`	Panel on Transactions in Object-Oriented Systems. OOPSLA Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing
1989	—	`conf`	Specifying Avalon Objects in Larch. TAPSOFT, Vol.2 Jeannette M. Wing
1989	—	`conf`	Specifying Security Constraints with Relaxation Lattices. CSFW Maurice Herlihy, Jeannette M. Wing
1989	—	`conf`	Verifying Atomic Data Types. REX Workshop Jeannette M. Wing
1989	J	`jnl`	Verifying atomic data types. Int. J. Parallel Program. Jeannette M. Wing
1988	J	`jnl`	A Study of 12 Specifications of the Library Problem. IEEE Softw. Jeannette M. Wing
1988	J	`jnl`	Inheritance of Synchronization and Recovery Properties in Avalon/C++. Computer David Detlefs, Maurice Herlihy, Jeannette M. Wing
1988	—	`conf`	Linearizable concurrent objects. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming Maurice Herlihy, Jeannette M. Wing
1988	—	`conf`	Miro semantics for security. VL Mark W. Maimone, J. Doug Tygar, Jeannette M. Wing
1988	A*	`conf`	Programming at the Processor-Memory-Switch Level. ICSE Mario Barbacci, Charles B. Weinstock, Jeannette M. Wing
1988	—	`conf`	Reasoning about Atomic Objects. FTRTFT Maurice Herlihy, Jeannette M. Wing
1987	—	`conf`	Avalon/C++. C++ Workshop David Detlefs, Maurice Herlihy, K. Kietzke, Jeannette M. Wing
1987	A*	`conf`	Axioms for Concurrent Objects. POPL Maurice Herlihy, Jeannette M. Wing
1987	B	`conf`	DURRA : A Task-Level Description Language. ICPP Mario Barbacci, Jeannette M. Wing
1987	—	`conf`	Specifying Functional and Timing Behavior for Real-Time Applications. PARLE (2) Mario Barbacci, Jeannette M. Wing
1987	A*	`conf`	Specifying Graceful Degradation in Distributed Systems. PODC Maurice Herlihy, Jeannette M. Wing
1987	J	`jnl`	Writing Larch Interface Language Specifications. ACM Trans. Program. Lang. Syst. Jeannette M. Wing
1986	J	`jnl`	Abstracts in software engineering. ACM SIGSOFT Softw. Eng. Notes John V. Guttag, James J. Horning, Jeannette M. Wing
1986	—	`conf`	Extending Ina Jo with Temporal Logic. S&P Jeannette M. Wing, Mark R. Nixon
1985	J	`jnl`	Beyond functional behavior: combining methods to specify different classes of properties of large systems. ACM SIGSOFT Softw. Eng. Notes Jeannette M. Wing
1985	—	`conf`	Specification and Prototyping: Some Thoughts on Why They Are Successful. TAPSOFT, Vol.2 Daniel M. Berry, Jeannette M. Wing
1985	J	`jnl`	The Larch Family of Specification Languages. IEEE Softw. John V. Guttag, James J. Horning, Jeannette M. Wing
1982	J	`jnl`	Some Notes on Putting Formal Specifications to Productive Use. Sci. Comput. Program. John V. Guttag, James J. Horning, Jeannette M. Wing