17 papers:
- ICPC-2015-MinelliML15a
- The plague doctor: a promising cure for the window plague (RM, AM, ML), pp. 182–185.
- ESEC-FSE-2015-SmithBGB #automation #program repair
- Is the cure worse than the disease? overfitting in automated program repair (EKS, ETB, CLG, YB), pp. 532–543.
- DAC-2013-KrishnaswamyBP #question
- Can CAD cure cancer? (SK, BB, DP), p. 2.
- HPCA-2013-ZebchukCTSM #named
- RECAP: A region-based cure for the common cold (cache) (JZ, HWC, XT, VS, AM), pp. 83–94.
- DAC-2012-LinK #comprehension #logic #search-based #synthesis
- Application of logic synthesis to the understanding and cure of genetic diseases (PCKL, SPK), pp. 734–740.
- DAC-2012-WangBDS #memory management #metadata #named #reliability
- Meta-Cure: a reliability enhancement strategy for metadata in NAND flash memory storage systems (YW, LADB, NDD, ZS), pp. 214–219.
- ITiCSE-2009-GunionMS #recursion
- Curing recursion aversion (KG, TM, US), pp. 124–128.
- WCRE-1999-RothlisbergerND99a #ide
- Autumn Leaves: Curing the Window Plague in IDEs (DR, ON, SD), pp. 237–246.
- HCD-2009-CaratozzoloMPZ #analysis
- Caring and Curing by Mixing Information and Emotions in Orphan Diseases Websites: A Twofold Analysis (MCC, EM, OP, MZ), pp. 661–670.
- SAT-2007-Prestwich #dependence
- Variable Dependency in Local Search: Prevention Is Better Than Cure (SDP), pp. 107–120.
- VLDB-2006-MorfoniosI #using
- CURE for Cubes: Cubing Using a ROLAP Engine (KM, YEI), pp. 379–390.
- PLDI-2003-ConditHMNW
- CCured in the real world (JC, MH, SM, GCN, WW), pp. 232–244.
- POPL-2002-NeculaMW #legacy #named #type safety
- CCured: type-safe retrofitting of legacy code (GCN, SM, WW), pp. 128–139.
- ICSM-2000-Kajko-MattssonBNSL
- Prevention Is Better Than Cure (MKM, GB, IN, AS, PEL), p. 184–?.
- HCI-CCAD-1999-Siemer-Matravers #collaboration #learning
- Collaborative learning — a cure for intelligent tutoring systems (JSM), pp. 652–656.
- SIGMOD-1998-GuhaRS #algorithm #clustering #database #named #performance #scalability
- CURE: An Efficient Clustering Algorithm for Large Databases (SG, RR, KS), pp. 73–84.
- CADE-1994-Slaney #automation #finite #reasoning
- The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure (JKS), pp. 1–13.