<a href="https://program-transformation.org/GPCE11" target="_blank">
<img title="Generative Programming and Component Engineering 2011" src="https://program-transformation.org/pub/GPCE11/Banner/gpce2011-banner.png" alt="GPCE2011" width="176" height="218"/>
</a>
8.00 | Breakfast (outside conference room) |
8.30 | Welcome (Ewen Denney) |
8.45 | Keynote by Matthias Felleisen: Multilingual Component Programming in Racket (Slides)? (chair: Ulrik Pagh Schultz) |
9.45 | Break |
10.15 | Session: Software product lines part 1, Software components (chairs: Jaakko Jaarvi, Eelco Visser) |
|
|
|
|
|
|
|
|
11.55 | Lunch |
14.00 | Session: Applications (chair: Bernd Fischer) |
|
|
|
|
|
|
15.15 | Break |
15.45 | Session: Software product lines, part 2 (chair: Jaakko Jaarvi) |
|
|
|
|
16.35 | Tech talk by Olivier Danvy: Pragmatics for Formal Semantics Hands-on talk, bring your laptop! (Slides)? (chair: Ulrik Pagh Schultz) |
17.35 | End of day |
8.00 | Breakfast (outside conference room) |
8.45 | Keynote talk by Gary Shubert: Application of Model Based Development to Flexible Code Generation (Slides)? (chair: Ewen Denney) |
9.45 | Break |
10.15 | Session: Runtime (chair: Julia Lawall) |
|
|
|
|
|
|
|
|
11.55 | Lunch |
14.00 | Session: Programming (chair: Walter Binder) |
|
|
|
|
|
|
15.15 | Break |
15.45 | Session: Theory (chair: Don Batory) |
|
|
|
|
16.35 | Tech talk by John Launchbury: Theorem-based Circuit Derivation in Cryptol (Slides)? (chair: Ewen Denney) |
17.35 | PC chair report, closing remarks (Ulrik Pagh Schultz) |
17.50 | End of day |
19.30 | Social event at Rogue Public House |
See hotel website for more information. |
Matthias Felleisen is a Trustee Professor of Computer Science at Northeastern University, Boston, and the founder of PLT, a distributed research group. His research covers all aspects of programming languages and the systematic design of programs. One major theme concerns the connection between untyped languages and type systems, another one the development of languages for creating domain-specific languages. Felleisen works with his colleagues in PLT to make these goals concrete with the design and implementation of Racket. Invited talk: Multilingual Component Programming in Racket |
Gary Shubert is currently a Senior Software Manager for Lockheed Martin Space Systems Company and leads systems and software model based engineering process development and demonstration activities for the Military Support Program - System Evolution Test Bed and for the Space Vehicle Integration Laboratory. Gary joined Lockheed Martin in 1989 and has served in roles as an embedded flight software developer, flight software architect, and flight software manager, for launch vehicle, uncrewed and crewed spacecraft systems. Gary served as the software manager for the Orion proposal activities and as the flight software manager for the Orion development program. Gary has served as an avionics lead, software lead, and software architect, for the Space Based Radar, Reusable Space Transportation System, Evolved Expendable Launch Vehicle (Atlas V), and Space Common Data Link programs, and as a flight software engineer for the Titan IV and Advanced Interceptor Technologies programs. Gary has been a practitioner and a champion of model based software engineering and transformational automated code generation since 1989. He is the architect for three generations of Lockheed Martin developed automated code generators used on multiple production programs. Gary is an instructor for Lockheed Martin’s Object Centric Modeling and Ada programming language courses. His background prior to Lockheed Martin includes being a flight software engineer in the Control Systems Advanced Development department of Northrop Aircraft, and an independent verification and validation engineer and ground software engineer for the Mission Software department of TRW Defense Systems. He holds a bachelor’s degree in Aeronautical/Astronautical Engineering from the University of Illinois, and a master’s degree in Aeronautical/Astronautical Engineering from the University of Southern California. Invited talk: Application of Model Based Development to Flexible Code Generation |
Poster (46 x 61 cm or 18 x 24 inches) for display. |
Flyer (22 x 28 cm or 8.5 x 11 inches) for hand out. |
web="all"
search: (Set to on
for hidden webs)
6 spaces * Set NAME = value
%WEBBGCOLOR%
, it gets expanded to #D0D0D0
.
WEBCOPYRIGHT
before WIKIWEBMASTER
since %WEBCOPYRIGHT%
uses the %WIKIWEBMASTER%
variable.
%VARIABLES%
.
Month: | Topic views: | Topic saves: | File uploads: | Most popular topic views: | Top contributors for topic save and uploads: |
---|---|---|---|---|---|
Apr 2005 | 6648 | 36 | 0 | 2409 WebHome 975 CallForPapers 638 ElectronicSubmission? 298 GpceTutorialsAndWorkshops? 242 ImportantDates 181 ConferenceOrganization 148 CallForDemonstrations? 130 CallForWorkshops? 110 YoungResearchers? 102 GraphModelTransformations? 93 CallForTechTalks | 23 AndrewMalton 10 EugenioMoggi 2 RobertGlueck 1 EelcoVisser |
Apr 2006 | 15023 | 8 | 0 | 3330 WebHome 1250 CallForPapers 781 WebStatistics 571 ImportantDates 504 ConferenceOrganization 486 CallForTechTalks 468 CallForDemonstrations? 443 CallForWorkshops? 414 WebNews 397 ElectronicSubmission? 393 WebChanges | 8 ToddVeldhuizen |
Apr 2007 | 4460 | 0 | 0 | 606 WebHome 358 WebStatistics 172 PEPMProgram? 135 ProgramCommittee? 121 WebNews 121 PEPMPublicity? 121 ToolPaperAdvice? 119 PreviousMeetings? 115 CallForPapers 109 PaperSubmission? 105 WebChanges | |
Aug 2005 | 1526 | 32 | 1 | 481 WebHome 147 WebStatistics 94 ConferenceHeader 86 WebIndex 84 WebNews 75 WebPreferences 69 WebChanges 59 PEPMNews? 51 WebNotify 49 WebLeftBar 43 WebSearch | 20 EelcoVisser 7 MartinBravenboer 5 StanJarzabek 1 PradeepikaIrangani |
Aug 2006 | 4938 | 0 | 0 | 786 WebHome 268 CallForPapers 213 WebStatistics 195 ProgramCommittee? 176 PaperSubmission? 171 WebChanges 155 ImportantDates 151 PEPMPublicity? 148 PreviousMeetings? 131 WebNotify 124 PEPMProgram? | |
Aug 2007 | 12282 | 74 | 10 | 2082 WebHome 833 ProgramCommittee? 744 WebStatistics 741 CallForPapers 573 ImportantDates 513 PEPMPublicity? 433 PaperSubmission? 416 PEPMProgram? 409 PreviousMeetings? 383 ResearchPaperAdvice? 341 ConferenceOrganization | 81 RobertGlueck 3 OegeDeMoor |
Dec 2004 | 1546 | 68 | 0 | 707 WebHome 125 ImportantDates 92 ConferenceOrganization 67 ConferenceVenue 60 CallForWorkshops? 37 WebIndex 36 CallForTechTalks 34 WebPreferences 33 WebNews 32 PEPMNews? 25 WebChanges | 43 EugenioMoggi 13 JeffGray 10 EelcoVisser 2 MartinBravenboer |
Dec 2005 | 5873 | 38 | 0 | 1603 WebHome 535 WebStatistics 292 WebNews 246 CallForPapers 230 WebLeftBar 204 WebPreferences 194 ImportantDates 179 ConferenceHeader 166 WebIndex 160 CallForTechTalks 156 PEPMNews? | 37 EmirPasalic 1 ChristaSchwanninger |
Dec 2006 | 4452 | 17 | 0 | 1122 WebHome 398 PEPMProgram? 164 ProgramCommittee? 140 AcceptedPapers 134 RegistrationAndAccomodation? 126 ResearchPaperAdvice? 118 WebStatistics 115 ImportantDates 114 CallForPapers 101 WebNews 98 ToolPaperAdvice? | 17 EelcoVisser |
Dec 2007 | 7197 | 33 | 0 | 1314 WebHome 573 PEPMProgram? 329 WebStatistics 304 ProgramCommittee? 267 WebNews 254 PEPMPublicity? 233 AcceptedPapers 213 PaperSubmission? 204 InvitedTalks? 201 RegistrationAndAccomodation? 195 PreviousMeetings? | 32 RobertGlueck 1 OegeDeMoor |
Feb 2005 | 2975 | 7 | 0 | 1164 WebHome 364 CallForPapers 140 ImportantDates 137 ConferenceOrganization 95 CallForWorkshops? 84 CallForDemonstrations? 72 CallForTechTalks 50 PEPMNews? 39 WebNews 39 WebChanges 38 WebNotify | 7 EugenioMoggi |
Feb 2006 | 6534 | 0 | 0 | 1541 WebHome 550 CallForPapers 397 WebStatistics 258 ImportantDates 235 CallForTechTalks 226 ConferenceOrganization 215 CallForDemonstrations? 212 CallForWorkshops? 200 WebNews 139 WebLeftBar 129 WebPreferences | |
Feb 2007 | 4464 | 0 | 0 | 661 WebHome 344 WebStatistics 261 PEPMProgram? 158 WebNews 158 ProgramCommittee? 128 PaperSubmission? 123 AffiliatedMeetings? 119 ResearchPaperAdvice? 118 CallForPapers 116 PEPMPublicity? 108 ToolPaperAdvice? | |
Feb 2008 | 2643 | 0 | 0 | 512 WebStatistics 302 WebHome 103 WebPreferences 102 WebNews 102 PEPMPublicity? 102 PEPMProgram? 75 ProgramCommittee? 70 CallForPapers 63 PaperSubmission? 63 ImportantDates 63 PreviousMeetings? | |
Jan 2005 | 2719 | 19 | 0 | 1375 WebHome 211 CallForPapers 169 ConferenceOrganization 135 ImportantDates 98 CallForWorkshops? 74 CallForTechTalks 59 PEPMNews? 45 WebIndex 42 WebChanges 35 WebNews 30 CallForDemonstrations? | 12 EugenioMoggi 7 EelcoVisser |
Jan 2006 | 6593 | 129 | 5 | 1553 WebHome 494 CallForPapers 422 WebStatistics 315 ImportantDates 240 WebNews 223 ConferenceOrganization 219 CallForTechTalks 197 WebPreferences 191 CallForWorkshops? 187 WebLeftBar 152 WebChanges | 116 EmirPasalic 17 ToddVeldhuizen 1 ChristaSchwanninger |
Jan 2007 | 5169 | 7 | 0 | 1040 WebHome 612 WebStatistics 462 PEPMProgram? 188 ProgramCommittee? 148 WebNews 133 PEPMPublicity? 123 AffiliatedMeetings? 114 CallForPapers 113 AcceptedPapers 112 PaperSubmission? 111 ResearchPaperAdvice? | 7 EelcoVisser |
Jan 2008 | 9554 | 0 | 0 | 1433 WebHome 786 WebStatistics 660 PEPMProgram? 433 ProgramCommittee? 361 PEPMPublicity? 291 WebNews 283 PreviousMeetings? 283 RegistrationAndAccomodation? 265 PaperSubmission? 265 ImportantDates 260 InvitedTalks? | |
Jul 2005 | 1191 | 0 | 0 | 389 WebHome 102 WebNews 74 WebIndex 73 WebChanges 68 WebStatistics 67 PEPMNews? 57 ConferenceHeader 52 WebSearch 50 WebNotify 50 WebChanges500? 49 WebChanges200? | |
Jul 2006 | 7014 | 0 | 0 | 868 WebHome 350 ProgramCommittee? 337 WebStatistics 334 CallForPapers 235 PaperSubmission? 213 PreviousMeetings? 206 PEPMPublicity? 194 ImportantDates 189 WebChanges 180 WebNotify 175 RegistrationAndAccomodation? | |
Jul 2007 | 3115 | 144 | 0 | 405 WebHome 216 ProgramCommittee? 159 PreviousMeetings? 154 CallForPapers 150 WebStatistics 132 ImportantDates 117 PEPMNews? 112 WebIndex 99 PEPMPublicity? 96 ConferenceOrganization 80 ResearchPaperAdvice? | 144 RobertGlueck |
Jun 2005 | 923 | 0 | 0 | 375 WebHome 86 WebNews 68 WebStatistics 57 WebChanges 46 PEPMNews? 45 WebNotify 42 WebIndex 39 WebSearch 37 ConferenceHeader 26 WebLeftBar 24 WebChanges500? | |
Jun 2006 | 4150 | 29 | 2 | 827 WebHome 261 CallForPapers 233 ProgramCommittee? 164 WebStatistics 159 ImportantDates 136 PreviousMeetings? 125 ResearchPaperAdvice? 119 PaperSubmission? 116 WebChanges 114 PEPMPublicity? 104 RegistrationAndAccomodation? | 31 EelcoVisser |
Jun 2007 | 5518 | 0 | 0 | 673 WebHome 316 WebStatistics 235 PEPMProgram? 172 PreviousMeetings? 154 WebNews 153 WorkshopVenue? 146 ProgramCommittee? 142 PaperSubmission? 134 PEPMPublicity? 131 AffiliatedMeetings? 130 AcceptedPapers | |
Mar 2005 | 4848 | 35 | 1 | 2091 WebHome 696 CallForPapers 202 ImportantDates 178 ElectronicSubmission? 153 ConferenceOrganization 152 CallForDemonstrations? 132 CallForWorkshops? 131 GpceTutorialsAndWorkshops? 106 CallForTechTalks 55 PEPMNews? 52 WebIndex | 29 EugenioMoggi 5 RobertGlueck 2 EelcoVisser |
Mar 2006 | 10528 | 1 | 0 | 2345 WebHome 871 CallForPapers 667 WebStatistics 376 ImportantDates 343 CallForTechTalks 325 CallForWorkshops? 325 ConferenceOrganization 310 WebNews 263 CallForDemonstrations? 255 WebChanges 244 WebPreferences | 1 EelcoVisser |
Mar 2007 | 4825 | 0 | 0 | 593 WebHome 454 WebStatistics 202 PEPMProgram? 152 ProgramCommittee? 128 WebNews 118 PublicityList06? 116 PaperSubmission? 110 AffiliatedMeetings? 109 ResearchPaperAdvice? 108 WebChanges 103 PreviousMeetings? | |
May 2005 | 848 | 7 | 0 | 371 WebHome 53 WebNews 51 WebStatistics 45 ConferenceHeader 42 PEPMNews? 38 WebChanges 33 WebIndex 31 WebSearch 26 WebPreferences 24 WebNotify 24 WebLeftBar | 7 EelcoVisser |
May 2006 | 2620 | 80 | 0 | 427 WebHome 138 ProgramCommittee? 138 CallForPapers 103 PreviousMeetings? 103 ImportantDates 78 WorkshopVenue? 77 ResearchPaperAdvice? 74 WebChanges 72 WebLeftBar 69 WebNotify 69 AffiliatedMeetings? | 80 EelcoVisser |
May 2007 | 4489 | 0 | 0 | 530 WebHome 524 WebStatistics 202 PEPMProgram? 126 PEPMPublicity? 116 WebNews 115 PreviousMeetings? 113 ProgramCommittee? 110 PaperSubmission? 107 RegistrationAndAccomodation? 98 AffiliatedMeetings? 98 WorkshopVenue? | |
Nov 2004 | 836 | 18 | 0 | 407 WebHome 77 ImportantDates 66 ConferenceOrganization 38 ConferenceVenue 31 PEPMNews 28 CallForPapers 25 WebNews 20 ForOrganizers? 19 WebIndex 9 CallForWorkshops? 8 ElectronicSubmission? | 11 EelcoVisser 7 EugenioMoggi |
Nov 2005 | 3943 | 0 | 0 | 868 WebStatistics 849 WebHome 147 WebLeftBar 144 WebNews 127 ImportantDates 126 WebPreferences 116 WebChanges 114 CallForPapers 109 ConferenceOrganization 105 WebNotify 92 PEPMNews? | |
Nov 2006 | 3436 | 5 | 0 | 782 WebHome 223 WebStatistics 154 ProgramCommittee? 141 ImportantDates 136 ResearchPaperAdvice? 125 CallForPapers 106 ToolPaperAdvice? 97 PEPMProgram? 88 AffiliatedMeetings? 88 InvitedTalks? 83 PEPMPublicity? | 5 EelcoVisser |
Nov 2007 | 8164 | 17 | 0 | 1673 WebHome 430 WebStatistics 374 AcceptedPapers 344 ImportantDates 335 ProgramCommittee? 300 WebNews 275 PEPMProgram? 267 RegistrationAndAccomodation? 266 PaperSubmission? 255 InvitedTalks? 247 PEPMPublicity? | 17 RobertGlueck |
Oct 2004 | 400 | 30 | 0 | 206 WebHome 50 ConferenceOrganization 38 ImportantDates 27 ConferenceVenue 17 ConferenceHeader 14 WebIndex 11 WebContents? 5 PrintCall? 4 WebNews 4 CallForPapers 2 GpceTutorials? | 27 EugenioMoggi 2 MoggiE 1 RobertGlueck |
Oct 2005 | 3209 | 33 | 0 | 932 WebHome 175 WebNews 127 WebChanges 126 WebPreferences 118 PEPMNews? 115 WebLeftBar 111 ImportantDates 110 WebNotify 105 WebStatistics 101 ConferenceHeader 99 WebIndex | 31 ChristaSchwanninger 2 EugenioMoggi |
Oct 2006 | 3880 | 8 | 0 | 1065 WebHome 262 ImportantDates 252 CallForPapers 201 PaperSubmission? 162 ProgramCommittee? 134 ResearchPaperAdvice? 121 WebStatistics 111 PEPMPublicity? 101 PreviousMeetings? 91 ToolPaperAdvice? 91 AffiliatedMeetings? | 8 EelcoVisser |
Oct 2007 | 8900 | 21 | 1 | 2412 WebHome 822 PaperSubmission? 709 ImportantDates 565 CallForPapers 440 ProgramCommittee? 369 ResearchPaperAdvice? 232 ToolPaperAdvice? 217 PEPMPublicity? 197 InvitedTalks? 196 WebNews 196 PreviousMeetings? | 22 RobertGlueck |
Sep 2005 | 1290 | 18 | 2 | 361 WebHome 73 WebNews 55 WebIndex 46 WebNotify 46 WebChanges 41 PEPMNews? 39 WebChanges500? 38 WebSearch 38 CallForPapers 37 WebPreferences 36 WebChanges100? | 17 EelcoVisser 3 PradeepikaIrangani |
Sep 2006 | 2926 | 5 | 0 | 650 WebHome 176 CallForPapers 146 ImportantDates 136 WebStatistics 116 ProgramCommittee? 95 ResearchPaperAdvice? 82 PEPMPublicity? 76 InvitedTalks? 72 PaperSubmission? 69 PreviousMeetings? 67 ToolPaperAdvice? | 5 EelcoVisser |
Sep 2007 | 7368 | 3 | 0 | 1582 WebHome 443 CallForPapers 404 ImportantDates 375 PaperSubmission? 358 ProgramCommittee? 332 WebStatistics 254 PEPMPublicity? 236 PreviousMeetings? 228 ResearchPaperAdvice? 200 InvitedTalks? 198 RegistrationAndAccomodation? | 3 RobertGlueck |