Using a Verifier: Using a Failed Proof Correctness as a Guide
Moderator: Martin Griss,
Carnegie Mellon University, Silicon Valley
Juan Llorens, Ph.D., Professor
Informatics Department, Universidad Carlos III de
& CTO, The Reuse Company
Frakes, Ph.D., Associate Professor
Department, Virginia Tech
Biggerstaff, Ph.D., Principal
Software Generators, LLC, Austin, Texas
Tullio Vardanega, Ph.D. Associate
Department of Mathematics,
University of Padua,
Generally, industry is receptive to
practical, bottom-up incremental improvements of their current
software development and reuse practices, and have a hard time
accepting new or “revolutionary” technologies. On the other hand,
most academic researchers need to invent and publish “novel”
technologies, and feel they get limited respect for case studies or
detailed analysis of the effectiveness of methods.
As a consequence, many view reuse as not
an exciting and “sexy” area, when compared to more recently
flashy activities such as cloud computing, big data, social media,
internet of things and agile development.
For example in the area of Software
Product Lines, industry typically is not able to absorb proactive,
domain engineered approaches, and prefers incremental, reactive
approaches. How can we improve the uptake of new technologies? Is it
in the way we describe them, or do researchers need to spend more
time on understanding what can be adopted?
In order to make progress on the question
"What does Industry need from reuse researchers” the panel
will explore in detail the complementary questions:
What must reuse researchers propose to
industry so that industry practitioners want to listen?
What do reuse researchers have to know
about industry to identify reuse problems/targets that are relevant
to industry needs?
Is research delivering the results
industry needs to make reuse safe and secure?
Martin Griss (moderator), is
Director of the Silicon Valley Campus, Associate Dean, College of
Engineering, Carnegie Mellon University and previous Director of the
CyLab Mobility Research Center. He has nearly 40 years of academic
and industrial research experience. He currently leads research
into the context-aware mobile companion, disaster management,
systematic software reuse, sensor-enabled smart spaces environments
and the Web of Things, applying mobile technology and context-aware
software agents to improve the mobile user’s experience. He is
co-author with Ivar Jacobson on a well-known UML-based software
is Professor at the Informatics
Department in Carlos III University of Madrid – Spain
as well as CTO in The Reuse Company (www.reusecompany.com).
Dr. Llorens worked as technical director in several companies until
he joined the University. Since 2003 he is Professor at the Carlos
III University of Madrid. His main subject is Knowledge Reuse. Since
2008, based on an agreement with his University, he shares his
academic duties with a position of CTO in The Reuse Company that
commercializes systems engineering quality and reuse technology. His
current research involves the study of Knowledge technologies and
System Engineering techniques integration towards Software and
Information quality measurement and Reuse. He is member of
INCOSE’s (International Council on Systems Engineering,
Requirements Working Group.
Ted Biggerstaff, is the CTO (and
founder) of Software Generators, LLC working on machine architecture
independent generation, which allows two independent domain specific
inputs: (1) an Implementation Neutral Specification (INS) of the
computation and (2) a specification of the machine architecture
optimizations desired. This allows the fully automated generation of
architecturally optimized code as well as the switching between
machine architectures without reprogramming the computation.
Previously, he was Program Manager at Microsoft Research. Before
that he was a research Director at MCC (Microelectronics and
Computer Technology Corporation). He organized with Alan Perlis the
first workshop on software reuse (1983). He has edited (with Alan
Perlis) an early book on reuse and written an early book on PC
Systems Software. He holds five patents and has written many papers
on reuse, design recovery, reengineering, and software tools. He is
a frequent invited or keynote speaker (GCSE, ICSM, KBSE, ASE and
others), and conference panelist. He received a PhD in computer
science from University of Washington.
is an associate professor in the computer science department at
Virginia Tech. He chairs the IEEE TCSE committee on software reuse,
and was an associate editor of IEEE Transactions on Software
Engineering. He has a B.L.S. from the University of Louisville, an
M.S. from the University of Illinois at Urbana-Champaign, and an
M.S. and Ph.D. from Syracuse University.
Tullio Vardanega, is an associate
professor at the Department of Mathematics of the University of
Padua, Italy, which he joined in 2002. He obtained his PhD in
computer science from the Technical University of Delft,
Netherlands, while working at European Space Agency (ESA) at their
Research and Technology Centre. He was with ESA between 1991-2001,
holding responsibilities for research and technology transfer
projects on topics ranging from software engineering methods and
tools to real-time systems theory and technology for use in the
production of the software embedded onboard satellite platforms and
launcher avionics. At Padua he took on teaching and research
responsibilities in the areas of high-integrity real-time systems,
quality of service under real-time constraints and software
engineering methods, including model-driven engineering and
component-based development, and related processes. He has been
running a score of research projects in the areas of his research
interests on funding from international and national organizations.
He has been a member of IEEE for the last 20 years. He is also the
Italian representative in ISO/IEC JTC1/SC22, the international
standardization subcommittee for programming languages, their
environments and system software interfaces, where he is especially
active in WG9 (Ada) and WG23 (Programming Language Vulnerabilities).
Since 2004 he is president of Ada-Europe.
A more energetic format of panel. Rather
than 4-5 short mini talks, each person will briefly introduce
themselves, and I would be an active moderator, bouncing the dialog
back and forth. Maybe we can get some "shills" in the
audience to ask provocative questions, or make radical statements.