杰里米·康迪特；布莱恩·哈克特；Shuvendu K.拉希里。；沙兹·卡迪尔 统一低级代码的类型检查和属性检查。 （英语） Zbl 1315.68086号 2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。302-314 (2009).MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Condit}等人，摘自：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。302-314（2009；Zbl 1315.68086） 全文： 内政部
Shuvendu K.拉希里。；沙兹·卡迪尔 单项式和子句谓词抽象的复杂性和算法。 （英语） Zbl 1250.68194号 Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲义5663。《人工智能课堂讲稿》，214-229（2009）。MSC公司：60年第68季度 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Lahiri}和\textit{S.Qadeer}，莱克特。票据计算。科学。5663、214--229（2009年；Zbl 1250.68194） 全文： 内政部
舒文杜·拉希里；沙兹·卡迪尔 回到未来，使用SMT求解器重新访问精确的程序验证。 （英语） Zbl 1295.68087号 第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2008年1月7日至12日，美国加利福尼亚州旧金山，POPL'08。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-689-9）。171-182（2008年）。MSC公司：68号30 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lahiri}和\textit{S.Qadeer}，摘自：第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机协会（ACM）。171-182（2008年；Zbl 1295.68087） 全文： 内政部