OPIUM: Optimal Package Install/Uninstall Manager

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 178-187

  Tucker, Chris ^a   Shuffelton, David ^a   Jhala, Ranjit ^a   Lerner, Sorin ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTION EVALUATION; INTEGER PROGRAMMING; LINEAR PROGRAMMING; PROBLEM SOLVING;

PACKAGE INSTALLATIONS; UNINSTALL MANAGER;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 34548759075     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2007.59     Document Type: Conference Paper

References (17)

1. fink, http://fink.sourceforge.net.
2. FWGrid Project. http://fwgrid.ucsd.edu.
3. GLPK (GNU Linear Programming Kit), http://www.gnu.org/software/glpk.
4. Yum: Yellow dog Updater, Modified, http://linux. duke.edu/projects/yum.
5. J. Aldrich, C. Chambers, and D. Notkin. Archjava: connecting software architecture to implementation. In ICSE, pages 187-197, 2002.
6. C. Flanagan, K. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In PLDI02: Programming Language Design and Implementation, pages 234-245. ACM, 2002.
7. A. V. Gelder. Extracting (easily) checkable proofs from a satisfiability solver that employs both preorder and postorder resolution. In 7th International Symposium on Artificial Intelligence and Mathematics(AMAI), 2002.
8. J. N. Hooker. Generalized resolution and cutting planes. Annals of Operations Research, 12(1):217-239, 1988.
9. D. B. MacQueen. Modules for standard ml. In LISP and Functional Programming, pages 198-207, 1984.
10. E Mancinelli, J. Boender, R. di Cosmo, J. Vouillon, B. Durak, X. Leroy, and R. Treinen. Managing the complexity of large free and open source package-based software distributions. In Proceedings of the International Conference on Automated Software Engineering (ASE 06), 2006.
11. K. L. McMillan. An interpolating theorem prover. In TACAS: Tools and Algorithms for the Construction and Analysis of Systems, pages 16-30, 2004.
12. G. Niemeyer. Smart package manager, http://labix.org/smart, 2006.
13. H. M. Sheini and K. A. Sakallah. Pueblo: A hybrid pseudoboolean sat solver. Journal on Satisfiability, Boolean Modeling and Computation, 2:61-96, 2006.
14. G.N.Silva. APT Howto. http://www.debian.org/doc/manuals/apt-howto, 2005.
15. J. A. Stafford and A. L.Wolf. Architecture-level dependence analysis in support of software maintenance. In Proceedings of the third international workshop on Software architecture (ISAW 98), 1998.
16. M. Vieira and D. Richardson. Analyzing dependencies in large component-based systems. In Proceedings of the International Conference of Automated Software Engineering (ASE 02), 2002.
17. L. Zhang and S. Malik. Validating sat solvers using an independent resolution-based checker: Practical implementations and other applications. In DATE: Design Automation and Test Europe, pages 10880-10885, 2003.