Jeannette M. Wing
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
23
Active years
1986–2018
Best venue rank
A*
Where they publish
- A*SP4 papers
- A*PODC3 papers
- A*KDD2 papers
- ASIGCSE2 papers
- BFM2 papers
- A*CCS2 papers
- A*ICSE2 papers
- AOOPSLA2 papers
- AESORICS1 paper
- BSEFM1 paper
- NationalTASE1 paper
- ARAID1 paper
- BMPC1 paper
- CWETICE1 paper
- CFORTE1 paper
- CAPSEC1 paper
- ADSN1 paper
- AICDCS1 paper
- AECOOP1 paper
- A*LICS1 paper
- BICLP1 paper
- BICPP1 paper
- A*POPL1 paper
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | KDD | Societal Impact of Data Science and Artificial Intelligence. | Foster J. Provost, James Hodson, Jeannette M. Wing, Qiang Yang, Jennifer Neville |
| 2018 | KDD | Data for Good: Abstract. | Jeannette M. Wing |
| 2017 | SIGCSE | Embracing Uncertainty. | Jeannette M. Wing |
| 2014 | SP | Bootstrapping Privacy Compliance in Big Data Systems. | Shayak Sen, Saikat Guha, Anupam Datta, Sriram K. Rajamani, Janice Y. Tsai, Jeannette M. Wing |
| 2013 | ESORICS | Purpose Restrictions on Information Use. | Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing |
| 2012 | SP | Formalizing and Enforcing Purpose Restrictions in Privacy Policies. | Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing |
| 2009 | FM | Formal Methods for Privacy. | Michael Carl Tschantz, Jeannette M. Wing |
| 2008 | SEFM | Extracting Conditional Confidentiality Policies. | Michael Carl Tschantz, Jeannette M. Wing |
| 2007 | SIGCSE | Computational thinking. | Peter B. Henderson, Thomas J. Cortina, Jeannette M. Wing |
| 2007 | TASE | Software Security. | Jeannette M. Wing |
| 2006 | CCS | Measuring the attack surfaces of two FTP daemons. | Pratyusa K. Manadhata, Jeannette M. Wing, Mark Flynn, Miles McQueen |
| 2006 | CCS | Attack graph generation and analysis. | Jeannette M. Wing |
| 2006 | RAID | Ranking Attack Graphs. | Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing |
| 2002 | MPC | Mathematics in Computer Science Curricula. | Jeannette M. Wing |
| 2002 | SP | Automated Generation and Analysis of Attack Graphs. | Oleg Sheyner, Joshua W. Haines, Somesh Jha, Richard Lippmann, Jeannette M. Wing |
| 2002 | WETICE | Vulnerability Analysis of Networked Systems. | Jeannette M. Wing |
| 2001 | FORTE | Survivability Analysis of Networked Systems. | Jeannette M. Wing |
| 2001 | ICSE | Survivability Analysis of Network Systems. | Somesh Jha, Jeannette M. Wing |
| 2000 | APSEC | Survivability Analysis of Networked Systems . | Jeannette M. Wing |
| 2000 | DSN | Survivability Analysis of Network Specifications. | Somesh Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff |
| 1995 | ICDCS | Specifying Weak Sets. | Jeannette M. Wing, David C. Steere |
| 1994 | PODC | Using Belief to Reason about Cache Coherence. | Lily B. Mummert, Jeannette M. Wing, Mahadev Satyanarayanan |
| 1994 | PODC | Dynamic Sets for Search. | David C. Steere, Mahadev Satyanarayanan, Jeannette M. Wing |
| 1993 | ECOOP | A New Definition of the Subtype Relation. | Barbara Liskov, Jeannette M. Wing |
| 1993 | OOPSLA | Specifications and Their Use in Defining Subtypes. | Barbara Liskov, Jeannette M. Wing |
| 1992 | LICS | Specification in Software Development | Jeannette M. Wing |
| 1991 | FM | Unintrusive Ways to Integrate Formal Specifications in Practice. | Jeannette M. Wing, Amy Moormann Zaremski |
| 1991 | ICLP | Specifications as Search Keys for Software Libraries. | Eugene J. Rollins, Jeannette M. Wing |
| 1989 | OOPSLA | Panel on Transactions in Object-Oriented Systems. | Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing |
| 1988 | ICSE | Programming at the Processor-Memory-Switch Level. | Mario Barbacci, Charles B. Weinstock, Jeannette M. Wing |
| 1987 | ICPP | DURRA : A Task-Level Description Language. | Mario Barbacci, Jeannette M. Wing |
| 1987 | PODC | Specifying Graceful Degradation in Distributed Systems. | Maurice Herlihy, Jeannette M. Wing |
| 1987 | POPL | Axioms for Concurrent Objects. | Maurice Herlihy, Jeannette M. Wing |
| 1986 | SP | Extending Ina Jo with Temporal Logic. | Jeannette M. Wing, Mark R. Nixon |