Systematic energy characterization of CMP/SMT processor systems via automated micro-benchmarksRamon BertranAlper Buyuktosunogluet al.2012MICRO 2012
Scalable and fully self-aligned n-type carbon nanotube transistors with gate-all-aroundAaron D. FranklinSiyuranga O. Koswattaet al.2012IEDM 2012
Composition of flow-based applications with HTN planningShirin SohrabiOctavian Udreaet al.2012AAAI 2012
InAs-Si heterojunction nanowire tunnel diodes and tunnel FETsHeike RielK. Moselundet al.2012IEDM 2012
Sub-30nm scaling and high-speed operation of fully-confined Access-Devices for 3D crosspoint memory based on mixed-ionic-electronic-conduction (MIEC) materialsK. VirwaniG.W. Burret al.2012IEDM 2012
Using automated model analysis for reasoning about security of web protocolsApurva Kumar2012ACSAC 2012
Adaptive learning of smoothing functions: Application to electricity load forecastingAmadou BaMathieu Sinnet al.2012NeurIPS 2012
Temperature dependence of TDDB voltage acceleration in high-κ/ SiO2 bilayers and SiO2 gate dielectricsErnest WuJordi Suñéet al.2012IEDM 2012