Programming languages & software engineering

Jiri Simsa, Satnam Singh

ACM/SIGA International Symposium on Field Programmable Gate Arrays (FPGA) | February 2010

ACM/SIGA International Symposium on Field Programmable Gate Arrays (FPGA)

Nathaniel Ayewah, Jason Yang, David Sielaff

MSR-TR-2010-17 | February 2010

Kuansan Wang, Nikolas Gloy, Xiaolong(Shiao-Long) Li

Proceedings of the 3rd ACM International Conference on Web Search and Data Mining (WSDM’2010), New York, NY | February 2010

Proceedings of the 3rd ACM International Conference on Web Search and Data Mining (WSDM’2010), New York, NY

Sascha Bohme, Michal Moskal, Wolfram Schulte, Burkhart Wolff

Journal of Automated Reasoning | February 2010

Patrice Godefroid, Shuvendu Lahiri, Cindy Rubio-Gonzalez

MSR-TR-2010-11 | February 2010

Revised in October 2010

Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies

Computer Aided Verification, 22st International Conference, CAV 20010 | January 2010

Computer Aided Verification, 22st International Conference, CAV 20010

Project

Paruj Ratanaworabhan, Ben Livshits, David Simmons, Ben Zorn,

MSR-TR-2010-8 | January 2010

Project