Learn More
We study the orbits, tidal heating and mass loss from satellites around close-in gas giant exoplanets. The focus is on large satellites which are potentially observable by their transit signature. We argue that even Earth-size satellites around hot Jupiters may be immune to destruction by orbital decay; detection of such a massive satellite would strongly(More)
Concurrent programming poses a unique set of problems for quality assurance. These difficulties include the complexities of deadlock, livelock and divergence, which can be extremely difficult to detect and debug. A variety of tools have been developed to assist designers and developers of concurrent applications. Some of these tools, such as VeriSoft, are(More)
[1] The evolution of the surfaces of bodies unprotected by either strong magnetic fields or thick atmospheres in the solar system is caused by various processes, induced by photons, energetic ions, and micrometeoroids. Among these processes, the continuous bombardment of the solar wind or energetic magnetospheric ions onto the bodies may significantly(More)
Porous materials are ubiquitous in the universe and weathering of porous surfaces plays an important role in the evolution of planetary and interstellar materials. Sputtering of porous solids in particular can influence atmosphere formation, surface reflectivity, and the production of the ambient gas around materials in space. Several previous studies and(More)
  • 1