Advances in Lifted Importance Sampling Vibhav Gogate Abhay Jha Deepak Venugopal

Source URL: www.hlt.utdallas.edu

Retargeting Android Applications to Java Bytecode Damien Octeau Somesh Jha Patrick McDaniel

Source URL: siis.cse.psu.edu

• Computing
• Android
• Java virtual machine
• Java platform
• Cross-platform software
• Object-oriented programming languages
• Dalvik
• Java bytecode
• Bytecode
• Java
• Android Runtime
• Instruction set

SPEAKERS’
LIST
2009
 Abhay
Sardesai,
Art India Magazine

 Alka
Pande,
Consultant Arts Advisor & Curator, Visual Arts Gallery, India Habitat Centre
 Amar
Kanwar,
Artist  Amrita
Jha

Source URL: www.indiaartfair.in

Semantics-Aware Malware Detection Mihai Christodorescu∗ Somesh Jha∗ University of Wisconsin, Madison {mihai, jha}@cs.wisc.edu Sanjit A. Seshia† Dawn Song Randal E. Bryant†

Source URL: uclid.eecs.berkeley.edu

To appear at ICSE’05 Automatic Discovery of API-Level Exploits Vinod Ganapathy , Sanjit A. Seshia , Somesh Jha , Thomas W. Reps , Randal E. Bryant

Source URL: uclid.eecs.berkeley.edu

Priority-Based PlaybookTM Tasking for Unmanned System Teams David J. Musliner, Robert P. Goldman, Josh Hamell, Chris Miller Smart Information Flow Technologies (SIFT) Minneapolis, MNEmail: {dmusliner,rpgoldman,jha

Source URL: musliner.com

Lifted Inference Seen from the Other Side : The Tractable Features Abhay Jha Vibhav Gogate Alexandra Meliou Dan Suciu Computer Science & Engineering University of Washington Washington, WA 98195

Source URL: www.hlt.utdallas.edu

F IE on Firmware: Finding Vulnerabilities in Embedded Systems using Symbolic Execution Drew Davidson Benjamin Moench Somesh Jha Thomas Ristenpart

Source URL: rist.tech.cornell.edu

JHA NEWS  ౫  ሰ  ᅠ᫘⒅ ʶⅺ᰷ࡐᗕ͆ ᫘⒅͆ࠉJHAࠉƷƷƷƷƷᅠቊᗁ᪭‫ٴ‬Ή

Source URL: www.jha-shugi.jp

JHA NEWS  ౫  ሰ  ᅠ᫘⒅ ʶⅺ᰷ࡐᗕ͆ ᫘⒅͆ࠉJHAࠉƷƷƷƷƷᅠቊᗁ᪭‫ٴ‬Ή

Source URL: www.jha-shugi.jp