Stem keynot$ (all stems)

119 papers:

SANER-2015-Cleland-Huang #on the

On whose shoulders? (Keynote) (JCH), p. 1.

SANER-2015-Debic

Checkpoint alpha (keynote) (BD), p. 2.

MoDELS-2015-Easterbrook #modelling

Modelling the climate system: Is model-based science like model-based engineering? (Keynote) (SME), p. 1.

MoDELS-2015-Murphy

Software supply chains (keynote) (GCM), p. 2.

MoDELS-2015-S #challenge #modelling #named #smarttech

Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote) (RS), p. 3.

GPCE-2015-NarasimhanDTMG #experience

The next-generation in-stadium experience (keynote) (PN, UD, JT, NDM, RG), pp. 1–10.

ICSE-v2-2015-Booch #future of #re-engineering

The Future of Software Engineering (SEIP Keynote) (GB), p. 3.

ASE-2014-Floridi #design #logic

Keynote talk: the logic of information design (LF), pp. 1–2.

ASE-2014-Larsson #case study #experience #industrial #lifecycle

Keynote talk: experiences from developing industrial software systems with long lifecycles (ML), pp. 5–6.

ASE-2014-Voronkov

Keynote talk: EasyChair (AV), pp. 3–4.

CSMR-WCRE-2014-Grosjean #biology #maintenance #using

Using biology and ecology as inspiration for software maintenance? (Keynote abstract) (PG), p. 1.

CSMR-WCRE-2014-KnodelN #architecture #industrial

Mitigating the Risk of software change in practice: Retrospective on more than 50 architecture evaluations in industry (Keynote paper) (JK, MN), pp. 2–17.

CSMR-WCRE-2014-RoyZK #past present future

The vision of software clone management: Past, present, and future (Keynote paper) (CKR, MFZ, RK), pp. 18–33.

ICPC-2014-Cutrell #constraints #design

Innovating in india: designing for constraint, computing for inclusion (keynote) (EC), p. 1.

MSR-2014-Mockus #mining #repository

Is mining software repositories data science? (keynote) (AM), p. 1.

RE-2014-Anton #privacy #security

Now more than ever: Privacy and security are required (keynote) (AIA), p. 2.

RE-2014-Wasserman #requirements

Startups and requirements (keynote) (AIW), p. 1.

ASE-2013-Frank #automation #challenge #validation #verification

The challenges of verification and validation of automated planning systems (keynote) (JF), p. 2.

ASE-2013-Hellerstein #case study #design #distributed #experience #named

BOOM: Experiences in language and tool design for distributed systems (keynote) (JMH), p. 1.

ICPC-2013-Myers #comprehension

Improving program comprehension by answering questions (keynote) (BAM), pp. 1–2.

MSR-2013-Murphy #development #what

What is software development productivity, anyway? (keynote) (GCM), p. 1.

PLDI-2013-Schneider #programming language #security

Programming languages in security: keynote (FBS), pp. 139–140.

VISSOFT-2013-Wijk #case study #experience #lessons learnt #visualisation

Keynote talk: Information visualization: Experiences and lessons learned (JJvW), p. 1.

RE-2013-Cousins #architecture #challenge #industrial #requirements

Starchitects and Jack-Hammers: Requirements engineering challenges and practices in the construction industry (keynote) (FC), p. 2.

RE-2013-Maiden #idea #information management #requirements

Requirements engineering as information search and idea discovery (keynote) (NAMM), p. 1.

ESEC-FSE-2013-Gonthier #re-engineering

Software engineering for mathematics (keynote) (GG), p. 13.

ESEC-FSE-2013-InverardiARPT #challenge #integration #research

Producing software by integration: challenges and research directions (keynote) (PI, MA, DDR, PP, MT), pp. 2–12.

ESEC-FSE-2013-Vardi #logic

A logical revolution (keynote) (MYV), p. 1.

ICSE-2013-DeRose #development

The connection between movie making and software development (keynote) (TD), p. 856.

ICSE-2013-Northrop #case study #matter #scalability #years after

Does scale really matter? ultra-large-scale systems seven years after the study (keynote) (LMN), p. 857.

ICSE-2013-Samuelson

Are software patents bad? (keynote) (PS), p. 855.

ASE-2012-HarmanLJWAC #challenge #programming #search-based #source code #using

The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper) (MH, WBL, YJ, DRW, AA, JAC), pp. 1–14.

ASE-2012-JacobsonSJK #re-engineering

Re-founding software engineering — SEMAT at the age of three (keynote abstract) (IJ, IS, PJ, MKM), pp. 15–19.

CSMR-2012-Gall #debugging #smell

Keynote 1: LGTM — Software Sensing and Bug Smelling (HCG), pp. 3–4.

CSMR-2012-Varro #maintenance #model transformation

Keynote 2: A Bridge Over Troubled Water — Synergies between Model Transformation and Software Maintenance Techniques (DV), pp. 5–6.

ICPC-2012-DeLine #developer

Studying developers for fun and profit: (Keynote abstract) (RD), p. 11.

MSR-2012-Storey #evolution #social

MSR 2012 keynote: The evolution of the social programmer (MADS), p. 140.

MSR-2012-Zhang #case study #experience

MSR 2012 keynote: Software analytics in practice — Approaches and experiences (DZ), p. 1.

HILT-2012-Liskov #programming #turing machine

Keynote presentation: Programming the turing machine (BL), pp. 23–24.

SEKE-2012-Devanbu #on the

On the Naturalness of Software (keynote) (PTD).

ICSE-2012-Clesle #industrial

Supporting sustainability with software — An industrial perspective (Keynote) (FDC), p. 962.

ICSE-2012-Kramer #architecture

Whither software architecture? (Keynote) (JK), p. 963.

ICSE-2012-Sassen

Digital formations of the powerful and the powerless (Keynote) (SS), p. 961.

MSR-2011-Whitehead #data mining #game studies #mining #what

Fantasy, farms, and freemium: what game data mining teaches us about retention, conversion, and virality (keynote abstract) (JW), p. 1.

MSR-2011-Zhou #debugging #detection #problem

Connecting technology with real-world problems — from copy-paste detection to detecting known bugs: (keynote abstract) (YZ), p. 2.

SEKE-2011-Iyengar #realtime

Sustainable Software Systems for Real Time Applications (keynote) (SSI).

SEKE-2011-Lin #mobile

Applications & Services Exploration for the Broadband Mobile Systems (keynote) (BSL).

ICSE-2011-Nakakoji #experience #sketching

Interactivity, continuity, sketching, and experience: (keynote abstract) (KN), p. 621.

ASE-2010-Bosch #composition #re-engineering #towards

Keynote address: toward compositional software engineering (JB), pp. 1–2.

ASE-2010-Green #implementation #specification

Keynote address: the actual implementation will be derived from the formal specification — KBSA, 1983 (CG), pp. 183–184.

ASE-2010-Lamsweerde #modelling

Keynote address: model engineering for model-driven engineering (AvL), pp. 365–366.

REFSQ-2010-Alexander #requirements

Keynote Talk Piecing Together the Requirements Jigsaw-Puzzle (IA), p. 1.

ESEC-FSE-2009-Zeller #debugging

Debugging debugging: acm sigsoft impact paper award keynote (AZ), pp. 263–264.

SOFTVIS-2008-Stasko #analysis #visualisation

Visualization for information exploration and analysis: keynote presentation (JTS), pp. 7–8.

DATE-2007-Furuyama #challenge #mobile #question

Keynote address: Challenges of digital consumer and mobile SoC’s: more Moore possible? (TF), p. 1.

DATE-2007-Naumann #design #evolution #question

Keynote address: Was Darwin wrong? Has design evolution stopped at the RTL level... or will software and custom processors (or system-level design) extend Moore’s law? (AN), p. 2.

CSMR-2007-Herweijer #speech

Keynote Speech (JPH), p. 3.

SCAM-2007-MoorVHAEOST #analysis #source code

Keynote Address: .QL for Source Code Analysis (OdM, MV, EH, PA, TE, NO, DS, JT), pp. 3–16.

WCRE-2007-Baxter #re-engineering #tool support

Reengineering Tools: A Perspective from the Trenches (keynote) (IDB).

WCRE-2007-Reifer #reverse engineering

The Dark Side of Software Reverse Engineering (keynote) (DJR).

SEKE-2006-Chang

AAIEPESE Keynote: Artificial Intelligence and Environmental Systems Engineering (NBC), pp. 613–618.

HPDC-2006-Druschel #distributed

Keynote The Renaissance of Decentralized Systems (PD), pp. 1–4.

MoDELS-2005-Tolvanen #modelling

Keynote Address II: Domain-Specific Modeling: No One Size Fits All (JPT), p. 279.

MoDELS-2005-Tolvanen #modelling

Keynote Address II: Domain-Specific Modeling: No One Size Fits All (JPT), p. 279.

SOSP-2005-Tanenbaum #speech

Keynote speech (AST).

SAC-2004-Bracha #programming language #towards

Keynote address: towards secure systems programming languages (GB), pp. 1–2.

VISSOFT-2003-Ware #interactive #tutorial #visualisation

Thinking with Interactive Visualization (Tutorial/Keynote) (CW), pp. 2–28.

SIGIR-2003-Broder #graph #modelling #using #web

Keynote Address — exploring, modeling, and using the web graph (AZB), p. 1.

ASPLOS-2002-Estrin #architecture #challenge #network #research

Keynote address: Sensor network research: emerging challenges for architecture, systems, and languages (DE), pp. 1–4.

SAT-2002-Clarke #abstraction #logic #model checking #refinement #satisfiability

SAT based abstraction refinement in temporal logic model checking (Keynote Talk) (EC), p. 26.

SAT-2002-Marques-Silva #reasoning #satisfiability

Hypothetical reasoning in propositional satisfiability (Keynote Talk) (JMS), p. 14.

SAT-2002-Schoening #bound #satisfiability

New worst case bounds on k-SAT (Keynote Talk) (US), p. 1.

CBSE-2001-Garlan #architecture

Software Architecture (keynote) (DG), p. 3.

CBSE-2001-Szyperski #component

Component Technology (keynote) (CS), p. 2.

CBSE-2001-Voas #certification #component #trust

Component Trust and Certification (keynote) (JV), p. 1.

SIGAda-2001-Carlisle #ada

Keynote address: confessions of an academic Ada zealot (MCC), pp. 71–72.

SIGAda-2001-Dewar #ada #development

Keynote address: future development of the Ada language (RD), pp. 1–2.

SIGAda-2001-Taft01a

Keynote address: fixing software before it breaks (STT), pp. 97–98.

LSO-2001-Lehner #how

Keynote Address: How do Companies Learn? Selected Applications from the IT Sector (FL), p. 17.

VLDB-2000-LaneEN #agile #challenge #database #development #scalability

Biodiversity Informatics: The Challenge of Rapid Development, Large Databases, and Complex Data (Keynote) (MAL, JLE, EN), pp. 729–732.

CAV-2000-Pnueli #abstraction #composition #deduction #explosion #symmetry

Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion (AP), p. 1.

ICALP-1999-Hartmanis

Observations about the Nature and State of Computer Science (Keynote Address) (JH), p. 105.

SIGAda-1999-Boehm #future of #predict #re-engineering

Predicting the future of computer systems and software engineering (keynote address) (BWB), p. 227.

SIGAda-1999-McCormick #ada #education #re-engineering #realtime

Ada, model railroading, and real-time software engineering education (keynote address) (JWM), pp. 111–112.

SIGAda-1999-Selic #design pattern #realtime

Architectural patterns for complex real-time systems (abstract of keynote address) (BS), p. 1.

SIGIR-1998-Kirsch #future of #internet

The Future of Internet Search (Keynote Address) (SK), p. 1.

SAC-1998-Sterling #clustering

Beowulf PC clusters: breaking the cost barrier to high end application computing (keynote address — abstract) (TLS), p. 1.

JICSLP-1998-Milner #π-calculus

The π Calculus and Its Applications (Keynote Address) (RM), pp. 3–4.

HT-1997-Marshall #hypermedia

Looking Forward: Five Practices for Safer Hypertext (Keynote) (CCM), p. 241.

HT-1997-Smith

The King is Dead; Long Live the King (Keynote) (JBS), p. 240.

TOOLS-USA-1997-PotterS #eiffel #java #named #question

Keynotes: Java and Eiffel: A de facto relationship? (JP, RS), p. 3.

KBSE-1996-Biggerstaff #generative #reuse

A 15 Year Perspective on Reuse and Generation (Keynote) (TB), p. 4.

KBSE-1996-Smith

The Truth about KIDS (Keynote) (DS), p. 11.

CIKM-1996-Mulder #collaboration #generative #industrial

Educating the Next Generation of Information and Knowledge Experts, in Collaboration with Industry (Keynote Address) (MCM), p. 3.

SIGMOD-1995-Ellison

Keynote Address (LE), p. 437.

SIGMOD-1995-Epstein

Keynote Address (RSE), p. 438.

CSEE-1995-Browning

Keynote Address: Endangered Species? The Single-Skilled Information Worker (MFB), pp. 265–276.

CSEE-1995-Waddoups #education

Keynote Address: Education — The World’s Best Investment (ROW), p. 119.

TOOLS-EUROPE-1994-Allard #named #object-oriented #programming

Keynote: Object-Oriented Programming at the European Space Agency (FA), p. 7.

TOOLS-EUROPE-1994-Meyer #inheritance #named

Keynote: Uses and Misuses of Inheritance (BM), p. 9.

TOOLS-EUROPE-1994-Osmond #experience #named #scalability

Keynote: Large Project Experience (RO), p. 5.

KBSE-1993-Jr. #development #research #scalability

A researcher’s view of life in a large software development environment (Keynote) (ESJ), p. 4.

KBSE-1993-Myloupolos #modelling #process

Modeling Processes (Keynote) (JM), p. 11.

TOOLS-EUROPE-1993-Cox #named #robust

Keynote: Taming the Electronic Frontier: Robust Economics for Information Age Goods (BC), pp. 13–14.

TOOLS-EUROPE-1993-Goguen #named

Keynote: On Notation (JAG), pp. 5–10.

TOOLS-EUROPE-1993-Kanegaard #development #named #roadmap

Keynote: Software Development Trends and the Importance of the Workgroup (JK), pp. 11–12.

TOOLS-PACIFIC-1993-Firesmith93b #elicitation #named #object-oriented #requirements

Keynote: Object-oriented Requirements Elicitation (DF), p. 4.

TOOLS-PACIFIC-1993-Henderson-Sellers93b #named #question

Keynote: Object Technology: W(h)ither the Future? (BHS), p. 3.

TOOLS-USA-1993-Osmond #development #named

Keynote: Software Development Realities (RO), p. 5.

KBSE-1992-Fischer #design

Domain Oriented Design Environments (Keynote) (GF), p. 32.

KBSE-1992-Kant #knowledge base #programming

Knowledge Based Support for Scientific Programming (Keynote) (EK), p. 3.

TOOLS-USA-1992-Deutsch #challenge #named

Keynote: Objects: Challenges Beyond Languages and Applications (LPD), p. 7.

TOOLS-USA-1992-Kim92a #approach #multi #named #object-oriented

Keynote: Object-Oriented Approach to Multimedia Management (WK), p. 5.

SEI-1991-Shafer #physics

Keynote Address: Soft Ware for Hard Physics (SS), pp. 1–2.

TOOLS-USA-1991-Goldberg #named #object-oriented #question #using

Keynote: Can a Manager Be Successful Using Object-Oriented Technology? (AG), p. 5.

TOOLS-USA-1991-Walling #named

Keynote: Getting Started (KW), p. 6.

DAC-1986-Williams #automation #design #industrial

IBM perspectives on the electrical design automation industry (keynote address) (RMW), p. 1.

DAC-1980-Haddad

Keynote speaker (JAH), p. 2.

ICSE-1978-Hoare #re-engineering

Software Engineering: A Keynote Address (CARH), pp. 1–4.