BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
address (31)
softwar (31)
system (15)
engin (14)
model (13)

Stem keynot$ (all stems)

119 papers:

SANERSANER-2015-Cleland-Huang #on the
On whose shoulders? (Keynote) (JCH), p. 1.
SANERSANER-2015-Debic
Checkpoint alpha (keynote) (BD), p. 2.
MoDELSMoDELS-2015-Easterbrook #modelling
Modelling the climate system: Is model-based science like model-based engineering? (Keynote) (SME), p. 1.
MoDELSMoDELS-2015-Murphy
Software supply chains (keynote) (GCM), p. 2.
MoDELSMoDELS-2015-S #challenge #modelling #named #smarttech
Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote) (RS), p. 3.
GPCEGPCE-2015-NarasimhanDTMG #experience
The next-generation in-stadium experience (keynote) (PN, UD, JT, NDM, RG), pp. 1–10.
ICSEICSE-v2-2015-Booch #future of #re-engineering
The Future of Software Engineering (SEIP Keynote) (GB), p. 3.
ASEASE-2014-Floridi #design #logic
Keynote talk: the logic of information design (LF), pp. 1–2.
ASEASE-2014-Larsson #case study #experience #industrial #lifecycle
Keynote talk: experiences from developing industrial software systems with long lifecycles (ML), pp. 5–6.
ASEASE-2014-Voronkov
Keynote talk: EasyChair (AV), pp. 3–4.
SANERCSMR-WCRE-2014-Grosjean #biology #maintenance #using
Using biology and ecology as inspiration for software maintenance? (Keynote abstract) (PG), p. 1.
SANERCSMR-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.
SANERCSMR-WCRE-2014-RoyZK #past present future
The vision of software clone management: Past, present, and future (Keynote paper) (CKR, MFZ, RK), pp. 18–33.
ICPCICPC-2014-Cutrell #constraints #design
Innovating in india: designing for constraint, computing for inclusion (keynote) (EC), p. 1.
MSRMSR-2014-Mockus #mining #repository
Is mining software repositories data science? (keynote) (AM), p. 1.
RERE-2014-Anton #privacy #security
Now more than ever: Privacy and security are required (keynote) (AIA), p. 2.
RERE-2014-Wasserman #requirements
Startups and requirements (keynote) (AIW), p. 1.
ASEASE-2013-Frank #automation #challenge #validation #verification
The challenges of verification and validation of automated planning systems (keynote) (JF), p. 2.
ASEASE-2013-Hellerstein #case study #design #distributed #experience #named
BOOM: Experiences in language and tool design for distributed systems (keynote) (JMH), p. 1.
ICPCICPC-2013-Myers #comprehension
Improving program comprehension by answering questions (keynote) (BAM), pp. 1–2.
MSRMSR-2013-Murphy #development #what
What is software development productivity, anyway? (keynote) (GCM), p. 1.
PLDIPLDI-2013-Schneider #programming language #security
Programming languages in security: keynote (FBS), pp. 139–140.
VISSOFTVISSOFT-2013-Wijk #case study #experience #lessons learnt #visualisation
Keynote talk: Information visualization: Experiences and lessons learned (JJvW), p. 1.
RERE-2013-Cousins #architecture #challenge #industrial #requirements
Starchitects and Jack-Hammers: Requirements engineering challenges and practices in the construction industry (keynote) (FC), p. 2.
RERE-2013-Maiden #idea #information management #requirements
Requirements engineering as information search and idea discovery (keynote) (NAMM), p. 1.
ESEC-FSEESEC-FSE-2013-Gonthier #re-engineering
Software engineering for mathematics (keynote) (GG), p. 13.
ESEC-FSEESEC-FSE-2013-InverardiARPT #challenge #integration #research
Producing software by integration: challenges and research directions (keynote) (PI, MA, DDR, PP, MT), pp. 2–12.
ESEC-FSEESEC-FSE-2013-Vardi #logic
A logical revolution (keynote) (MYV), p. 1.
ICSEICSE-2013-DeRose #development
The connection between movie making and software development (keynote) (TD), p. 856.
ICSEICSE-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.
ICSEICSE-2013-Samuelson
Are software patents bad? (keynote) (PS), p. 855.
ASEASE-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.
ASEASE-2012-JacobsonSJK #re-engineering
Re-founding software engineering — SEMAT at the age of three (keynote abstract) (IJ, IS, PJ, MKM), pp. 15–19.
CSMRCSMR-2012-Gall #debugging #smell
Keynote 1: LGTM — Software Sensing and Bug Smelling (HCG), pp. 3–4.
CSMRCSMR-2012-Varro #maintenance #model transformation
Keynote 2: A Bridge Over Troubled Water — Synergies between Model Transformation and Software Maintenance Techniques (DV), pp. 5–6.
ICPCICPC-2012-DeLine #developer
Studying developers for fun and profit: (Keynote abstract) (RD), p. 11.
MSRMSR-2012-Storey #evolution #social
MSR 2012 keynote: The evolution of the social programmer (MADS), p. 140.
MSRMSR-2012-Zhang #case study #experience
MSR 2012 keynote: Software analytics in practice — Approaches and experiences (DZ), p. 1.
HILTHILT-2012-Liskov #programming #turing machine
Keynote presentation: Programming the turing machine (BL), pp. 23–24.
SEKESEKE-2012-Devanbu #on the
On the Naturalness of Software (keynote) (PTD).
ICSEICSE-2012-Clesle #industrial
Supporting sustainability with software — An industrial perspective (Keynote) (FDC), p. 962.
ICSEICSE-2012-Kramer #architecture
Whither software architecture? (Keynote) (JK), p. 963.
ICSEICSE-2012-Sassen
Digital formations of the powerful and the powerless (Keynote) (SS), p. 961.
MSRMSR-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.
MSRMSR-2011-Zhou #debugging #detection #problem
Connecting technology with real-world problems — from copy-paste detection to detecting known bugs: (keynote abstract) (YZ), p. 2.
SEKESEKE-2011-Iyengar #realtime
Sustainable Software Systems for Real Time Applications (keynote) (SSI).
SEKESEKE-2011-Lin #mobile
Applications & Services Exploration for the Broadband Mobile Systems (keynote) (BSL).
ICSEICSE-2011-Nakakoji #experience #sketching
Interactivity, continuity, sketching, and experience: (keynote abstract) (KN), p. 621.
ASEASE-2010-Bosch #composition #re-engineering #towards
Keynote address: toward compositional software engineering (JB), pp. 1–2.
ASEASE-2010-Green #implementation #specification
Keynote address: the actual implementation will be derived from the formal specification — KBSA, 1983 (CG), pp. 183–184.
ASEASE-2010-Lamsweerde #modelling
Keynote address: model engineering for model-driven engineering (AvL), pp. 365–366.
REFSQREFSQ-2010-Alexander #requirements
Keynote Talk Piecing Together the Requirements Jigsaw-Puzzle (IA), p. 1.
ESEC-FSEESEC-FSE-2009-Zeller #debugging
Debugging debugging: acm sigsoft impact paper award keynote (AZ), pp. 263–264.
SOFTVISSOFTVIS-2008-Stasko #analysis #visualisation
Visualization for information exploration and analysis: keynote presentation (JTS), pp. 7–8.
DATEDATE-2007-Furuyama #challenge #mobile #question
Keynote address: Challenges of digital consumer and mobile SoC’s: more Moore possible? (TF), p. 1.
DATEDATE-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.
CSMRCSMR-2007-Herweijer #speech
Keynote Speech (JPH), p. 3.
SCAMSCAM-2007-MoorVHAEOST #analysis #source code
Keynote Address: .QL for Source Code Analysis (OdM, MV, EH, PA, TE, NO, DS, JT), pp. 3–16.
WCREWCRE-2007-Baxter #re-engineering #tool support
Reengineering Tools: A Perspective from the Trenches (keynote) (IDB).
WCREWCRE-2007-Reifer #reverse engineering
The Dark Side of Software Reverse Engineering (keynote) (DJR).
SEKESEKE-2006-Chang
AAIEPESE Keynote: Artificial Intelligence and Environmental Systems Engineering (NBC), pp. 613–618.
HPDCHPDC-2006-Druschel #distributed
Keynote The Renaissance of Decentralized Systems (PD), pp. 1–4.
MODELSMoDELS-2005-Tolvanen #modelling
Keynote Address II: Domain-Specific Modeling: No One Size Fits All (JPT), p. 279.
MODELSMoDELS-2005-Tolvanen #modelling
Keynote Address II: Domain-Specific Modeling: No One Size Fits All (JPT), p. 279.
SOSPSOSP-2005-Tanenbaum #speech
Keynote speech (AST).
SACSAC-2004-Bracha #programming language #towards
Keynote address: towards secure systems programming languages (GB), pp. 1–2.
VISSOFTVISSOFT-2003-Ware #interactive #tutorial #visualisation
Thinking with Interactive Visualization (Tutorial/Keynote) (CW), pp. 2–28.
SIGIRSIGIR-2003-Broder #graph #modelling #using #web
Keynote Address — exploring, modeling, and using the web graph (AZB), p. 1.
ASPLOSASPLOS-2002-Estrin #architecture #challenge #network #research
Keynote address: Sensor network research: emerging challenges for architecture, systems, and languages (DE), pp. 1–4.
SATSAT-2002-Clarke #abstraction #logic #model checking #refinement #satisfiability
SAT based abstraction refinement in temporal logic model checking (Keynote Talk) (EC), p. 26.
SATSAT-2002-Marques-Silva #reasoning #satisfiability
Hypothetical reasoning in propositional satisfiability (Keynote Talk) (JMS), p. 14.
SATSAT-2002-Schoening #bound #satisfiability
New worst case bounds on k-SAT (Keynote Talk) (US), p. 1.
CBSECBSE-2001-Garlan #architecture
Software Architecture (keynote) (DG), p. 3.
CBSECBSE-2001-Szyperski #component
Component Technology (keynote) (CS), p. 2.
CBSECBSE-2001-Voas #certification #component #trust
Component Trust and Certification (keynote) (JV), p. 1.
AdaSIGAda-2001-Carlisle #ada
Keynote address: confessions of an academic Ada zealot (MCC), pp. 71–72.
AdaSIGAda-2001-Dewar #ada #development
Keynote address: future development of the Ada language (RD), pp. 1–2.
AdaSIGAda-2001-Taft01a
Keynote address: fixing software before it breaks (STT), pp. 97–98.
LSOLSO-2001-Lehner #how
Keynote Address: How do Companies Learn? Selected Applications from the IT Sector (FL), p. 17.
VLDBVLDB-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.
CAVCAV-2000-Pnueli #abstraction #composition #deduction #explosion #symmetry
Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion (AP), p. 1.
ICALPICALP-1999-Hartmanis
Observations about the Nature and State of Computer Science (Keynote Address) (JH), p. 105.
AdaSIGAda-1999-Boehm #future of #predict #re-engineering
Predicting the future of computer systems and software engineering (keynote address) (BWB), p. 227.
AdaSIGAda-1999-McCormick #ada #education #re-engineering #realtime
Ada, model railroading, and real-time software engineering education (keynote address) (JWM), pp. 111–112.
AdaSIGAda-1999-Selic #design pattern #realtime
Architectural patterns for complex real-time systems (abstract of keynote address) (BS), p. 1.
SIGIRSIGIR-1998-Kirsch #future of #internet
The Future of Internet Search (Keynote Address) (SK), p. 1.
SACSAC-1998-Sterling #clustering
Beowulf PC clusters: breaking the cost barrier to high end application computing (keynote address — abstract) (TLS), p. 1.
ICLPJICSLP-1998-Milner #π-calculus
The π Calculus and Its Applications (Keynote Address) (RM), pp. 3–4.
HTHT-1997-Marshall #hypermedia
Looking Forward: Five Practices for Safer Hypertext (Keynote) (CCM), p. 241.
HTHT-1997-Smith
The King is Dead; Long Live the King (Keynote) (JBS), p. 240.
TOOLSTOOLS-USA-1997-PotterS #eiffel #java #named #question
Keynotes: Java and Eiffel: A de facto relationship? (JP, RS), p. 3.
ASEKBSE-1996-Biggerstaff #generative #reuse
A 15 Year Perspective on Reuse and Generation (Keynote) (TB), p. 4.
ASEKBSE-1996-Smith
The Truth about KIDS (Keynote) (DS), p. 11.
CIKMCIKM-1996-Mulder #collaboration #generative #industrial
Educating the Next Generation of Information and Knowledge Experts, in Collaboration with Industry (Keynote Address) (MCM), p. 3.
SIGMODSIGMOD-1995-Ellison
Keynote Address (LE), p. 437.
SIGMODSIGMOD-1995-Epstein
Keynote Address (RSE), p. 438.
CSEETCSEE-1995-Browning
Keynote Address: Endangered Species? The Single-Skilled Information Worker (MFB), pp. 265–276.
CSEETCSEE-1995-Waddoups #education
Keynote Address: Education — The World’s Best Investment (ROW), p. 119.
TOOLSTOOLS-EUROPE-1994-Allard #named #object-oriented #programming
Keynote: Object-Oriented Programming at the European Space Agency (FA), p. 7.
TOOLSTOOLS-EUROPE-1994-Meyer #inheritance #named
Keynote: Uses and Misuses of Inheritance (BM), p. 9.
TOOLSTOOLS-EUROPE-1994-Osmond #experience #named #scalability
Keynote: Large Project Experience (RO), p. 5.
ASEKBSE-1993-Jr. #development #research #scalability
A researcher’s view of life in a large software development environment (Keynote) (ESJ), p. 4.
ASEKBSE-1993-Myloupolos #modelling #process
Modeling Processes (Keynote) (JM), p. 11.
TOOLSTOOLS-EUROPE-1993-Cox #named #robust
Keynote: Taming the Electronic Frontier: Robust Economics for Information Age Goods (BC), pp. 13–14.
TOOLSTOOLS-EUROPE-1993-Goguen #named
Keynote: On Notation (JAG), pp. 5–10.
TOOLSTOOLS-EUROPE-1993-Kanegaard #development #named #roadmap
Keynote: Software Development Trends and the Importance of the Workgroup (JK), pp. 11–12.
TOOLSTOOLS-PACIFIC-1993-Firesmith93b #elicitation #named #object-oriented #requirements
Keynote: Object-oriented Requirements Elicitation (DF), p. 4.
TOOLSTOOLS-PACIFIC-1993-Henderson-Sellers93b #named #question
Keynote: Object Technology: W(h)ither the Future? (BHS), p. 3.
TOOLSTOOLS-USA-1993-Osmond #development #named
Keynote: Software Development Realities (RO), p. 5.
ASEKBSE-1992-Fischer #design
Domain Oriented Design Environments (Keynote) (GF), p. 32.
ASEKBSE-1992-Kant #knowledge base #programming
Knowledge Based Support for Scientific Programming (Keynote) (EK), p. 3.
TOOLSTOOLS-USA-1992-Deutsch #challenge #named
Keynote: Objects: Challenges Beyond Languages and Applications (LPD), p. 7.
TOOLSTOOLS-USA-1992-Kim92a #approach #multi #named #object-oriented
Keynote: Object-Oriented Approach to Multimedia Management (WK), p. 5.
CSEETSEI-1991-Shafer #physics
Keynote Address: Soft Ware for Hard Physics (SS), pp. 1–2.
TOOLSTOOLS-USA-1991-Goldberg #named #object-oriented #question #using
Keynote: Can a Manager Be Successful Using Object-Oriented Technology? (AG), p. 5.
TOOLSTOOLS-USA-1991-Walling #named
Keynote: Getting Started (KW), p. 6.
DACDAC-1986-Williams #automation #design #industrial
IBM perspectives on the electrical design automation industry (keynote address) (RMW), p. 1.
DACDAC-1980-Haddad
Keynote speaker (JAH), p. 2.
ICSEICSE-1978-Hoare #re-engineering
Software Engineering: A Keynote Address (CARH), pp. 1–4.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.