March 16, 2013
Proceedings of the 22nd International Conference on Compiler Construction (CC 2013), Rome, Italy
Dynamic information flow tracking is a well-known dynamic software analysis technique with a wide variety of applications that range from making systems more secure, to helping developers and analysts better understand the code that systems are executing. In this paper, we present a general approach to information flow tracking that allows us to support multiple ISAs without mastering the intricate details of each ISA we support, and without extensive verification.
April 30, 1988
Lincoln Laboratory Journal - Volume 1, Number 1
Microbursts - powerful downdrafts generally associated with thunderstorms that occur in hot, humid weather - have caused a number of aircraft crashes. To prevent future accidents, air traffic controllers must be able to detect, and predict, microburst events. All microbursts are not alike, however; several distinct weather patterns can produce micro bursts. Thus a categorization of the different types of micro bursts is an essential part of understanding these hazardous phenomena Using this categorization, the relative hazard to aviation of the various types of micro bursts can be assessed.