Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Practical dynamic software updating for C
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Classifying integrity checking methods with regard to inconsistency tolerance
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Ksplice: automatic rebootless kernel updates
Proceedings of the 4th ACM European conference on Computer systems
Dynamic software updates: a VM-centric approach
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Safe and timely updates to multi-threaded programs
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Second ACM workshop on hot topics in software upgrades (HotSWUp 2009)
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Efficient systematic testing for dynamically updatable software
Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades
Worry-free database upgrades: automated model-driven evolution of schemas and complex mappings
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Immediate multi-threaded dynamic software updates using stack reconstruction
USENIX'09 Proceedings of the 2009 conference on USENIX Annual technical conference
Toward a uniform cause-based approach to inconsistency-tolerant database semantics
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
Automated co-evolution of conceptual models, physical databases, and mappings
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Inconsistency-Tolerant Integrity Checking
IEEE Transactions on Knowledge and Data Engineering
Formal reasoning about runtime code update
ICDEW '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering Workshops
Towards a categorical framework to ensure correct software evolutions
ICDEW '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering Workshops
Predicting upgrade failures using dependency analysis
ICDEW '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering Workshops
Schema evolution analysis for embedded databases
ICDEW '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering Workshops
Causes for inconsistency-tolerant schema update management
ICDEW '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering Workshops
Propagating evolution events in data-centric software artifacts
ICDEW '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering Workshops
Hot updates for Java based smart cards
ICDEW '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering Workshops
Non-disruptive large-scale component updates for real-time controllers
ICDEW '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering Workshops
State transfer for clear and efficient runtime updates
ICDEW '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering Workshops
Hi-index | 0.00 |
Report on the third workshop on hot topics in software upgrades (HotSWUp'11). The workshop combined presentations of peer-reviewed research papers with a keynote speech on the practical issues related to performing large-scale upgrades. The audience included researchers and practitioners from academia, industry, and government. In addition to the technical presentations, the program allowed ample time for discussions, which were driven by debate questions provided in advance by the presenters. HotSWUp provides a premier forum for discussing problems that are often considered niche topics in the established research communities. For example, the technical discussions at HotSWUp'11 covered dynamic software updates, package management tools, database schema upgrades, upgrades of systems with real-time constraints, upgrading satellite software, and highlighted many synergies among these and other topics.