林立信 0001
人员信息
附属: 滑铁卢大学 附属: 麻省理工学院,美国剑桥
其他同名人员
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元9年] 穆罕默德·罗巴蒂·希尔扎德 , 林立信 :
Rust中常见错误修复模式的研究。 恩皮尔。 柔和。 工程师。 29 ( 2 ) : 44 ( 2024 ) 2022 [公元35年] 斯鲁西·文卡塔纳拉亚南 , 延斯·迪特里希 , 克雷格·安斯洛 , 林立信 :
VizAPI:可视化Java库和客户端之间的交互。 VISSOFT公司 2022 : 172-176 [i3] 达科塔·黄 , 奥斯汀·科提格 , 林立信 :
探索GitHub Copilot生成的代码的可验证性。 CoRR公司 abs/2209.01766 ( 2022 ) 2020 [公元34年] 钱亮 , 林立信 :
SiblingClassTestDetector:查找未测试的同级函数。 国际中小企业联合会 2020 : 697-701 [公元33年] 林立信 , 延斯·迪特里希 , 大卫·J·皮尔斯 :
将语义置于语义版本中。 向前的! 2020 : 157-179 [i2] 林立信 , 延斯·迪特里希 , 大卫·J·皮尔斯 :
将语义置于语义版本中。 CoRR公司 abs/2008.07069 ( 2020 )
2010 – 2019
2019 [公元32年] 乔纳森·伊奥尔森 , 林立信 :
C++开发人员如何使用不变性声明:一项实证研究。 ICSE公司 2019 : 362-372 2016 [j8] 乔恩·艾奥尔森 , 林立信 :
C++常量和不变性:Writes-Through-const(工件)的实证研究。 Dagstuhl Artifacts爵士。 2 ( 1 ) : 03:1-03:2 ( 2016 ) [公元31年] 乔恩·伊奥尔森 , 林立信 :
C++常量和不可变性:通过常量写入的实证研究。 ECOOP公司 2016 : 8:1-8:25 [c30] 安德烈·玛丽安·丹 , 林立信 , 托尔斯滕·霍夫勒 , 马丁·T·韦切夫 :
远程内存访问编程的建模和分析。 OOPSLA公司 2016 : 129-144 2015 [公元29年] 布莱恩·德姆斯基 , 林立信 :
SATCheck:针对SC和TSO的SAT定向无状态模型检查。 OOPSLA公司 2015 : 20-36 [公元28年] 郑菲利克斯·方 , 林立信 :
使用断言指纹识别测试重构候选对象。 PPPJ 2015 : 125-137 2014 [j7] 乔恩·伊奥尔森 , 林丹 , 林立信 :
错误性和基于时间的提交特征之间的关联。 恩皮尔。 柔和。 工程师。 19 ( 4 ) : 1009-1039 ( 2014 ) [公元27年] 奎因·哈南 , 林丹 , 里德·霍姆斯 , 林立信 :
在静态分析警报中查找模式:改进可操作警报排名。 汽水分离再热器 2014 : 152-161 2013 [j6] 布莱恩·德姆斯基 , 林立信 :
视图:合成细粒度并发控制。 ACM变速器。 柔和。 工程方法。 22 ( 1 ) : 4:1-4:33 ( 2013 ) [e2] 林立信 , 埃琳娜·谢尔曼 :
2013年6月20日于美国华盛顿州西雅图举行的第二届ACM SIGPLAN Java程序分析最新技术国际研讨会论文集,SOAP 2013。 ACM公司 2013 ,国际标准图书编号 978-1-4503-2201-0 [目录] 2012 [j5] 埃里克·博登 , 林立信 , 劳里·J·亨德伦 :
提前部分评估有限状态运行时监视器。 ACM事务处理。 程序。 语言系统。 34 ( 2 ) : 7:1-7:52 ( 2012 ) [公元26年] 杭楚 , 林立信 :
集合不相交性分析。 SOAP@PLDI 2012 : 45-50 [公元25年] 乔恩·伊奥尔森 , 林立信 :
使用动态二进制翻译检测未读内存。 RV汽车 2012 : 49-63 [电子1] 埃里克·博登 , 劳里·J·亨德伦 , 林立信 , 埃琳娜·谢尔曼 :
《ACM SIGPLAN Java程序分析最新技术国际研讨会论文集》,SOAP 2012,中国北京,2012年6月14日。 ACM公司 2012 ,国际标准图书编号 978-1-4503-1490-9 [目录] 2011 [c24] 乔恩·伊奥尔森 , 林丹 , 林立信 :
一天中的时间和开发人员的经验是否会影响提交错误。 汽水分离再热器 2011 : 153-162 2010 【j4】 埃里克·博登 , 劳里·J·亨德伦 , 林立信 , Ondrej Lhoták , Nomair A.Naeem公司 :
使用Tracematches进行协作运行时验证。 J.日志。 计算。 20 ( 三 ) : 707-723 ( 2010 ) [j3] 塞巴斯蒂安·费奇梅斯特 , 林立信 :
实时程序的Time-aware Instrumentation。 IEEE传输。 工业信息学 6 ( 4 ) : 652-663 ( 2010 ) 【c23】 布莱恩·德姆斯基 , 林立信 :
视图:基于对象的并发控制。 ICSE(1) 2010 : 395-404 [公元22年] 埃里克·博登 , 林立信 :
克拉拉:编译时部分评估运行时监视器-教程补充。 RV汽车 2010 : 74-88 【c21】 埃里克·博登 , 林立信 , 劳里·J·亨德伦 :
Clara:提前部分评估Finite-State运行时监控器的框架。 RV汽车 2010 : 183-197 [公元20年] 杰夫·扎内特 , 马赫什·V·特里普尼塔拉 , 林立信 :
Java中基于角色的访问控制(RBAC)通过使用注释的代理对象实现。 SACMAT公司 2010 : 79-88
2000 – 2009
2009 [第19条] 杰夫·扎内特 , 林立信 , 马赫什·V·特里普尼塔拉 :
使用注释通过RMI代理对象进行特定于方法的Java访问控制。 ICISS公司 2009 : 301-309 [c18] 塞巴斯蒂安·费奇梅斯特 , 林立信 :
程序的实时检测。 IEEE实时和嵌入式技术及应用研讨会 2009 : 305-314 2008 [第17条] 埃里克·博登 , 林立信 , 劳里·J·亨德伦 :
对象表示:指针信息的统一抽象。 BCS国际学院。 Conf.公司。 2008 : 391-405 [c16] 埃里克·博登 , 林立信 , 劳里·J·亨德伦 :
通过提前评估运行时监控器,提前发现编程错误。 SIGSOFT FSE公司 2008 : 36-47 2007 【b1】 林立信 :
用于验证软件设计属性的滚刀系统。 麻省理工学院,剑桥,马萨诸塞州,美国, 2007 [第15条] 林立信 , 马丁·里纳德 :
滚刀系统中设计约束和软件正确性的静态验证。 IPDPS公司 2007 : 1-6 [第14条] 埃里克·博登 , 劳里·J·亨德伦 , 林立信 , Ondrej Lhoták , Nomair A.Naeem公司 :
使用Tracematches进行协作运行时验证。 RV汽车 2007 : 22-37 2006 [注2] 维克托·昆卡 , 林立信 , 凯伦·泽 , 马丁·里纳德 :
数据结构一致性的模块化可插入分析。 IEEE传输。 软件工程。 32 ( 12 ) : 988-1005 ( 2006 ) [第13条] 托马斯·维斯 , 维克托·昆卡 , 林立信 , 安德烈亚斯·波德尔斯基 , 马丁·里纳德 :
字段约束分析。 VMCAI公司 2006 : 157-173 2005 [第12条] 林立信 , 维克托·昆卡 , 马丁·里纳德 :
程序规范和分析中的横切技术。 AOSD公司 2005 : 169-180 [第11条] 林立信 , 维克托·昆卡 , 马丁·里纳德 :
Hob:验证数据结构一致性的工具。 科科斯群岛 2005 : 237-241 [第10条] 林立信 , 维克托·昆卡 , 马丁·里纳德 :
数据结构一致性的通用类型状态检查。 VMCAI公司 2005 : 430-447 【c9】 维克托·昆恰克 , 林立信 , 凯伦·泽 , 马丁·里纳德 :
数据结构一致性检查系统的含义。 VSTTE公司 2005 : 214-226 2004 [j1] 林立信 , 维克托·昆卡 , 马丁·里纳德 :
使用集合接口和可插入分析进行广义类型状态检查。 ACM SIGPLAN通知 39 ( 三 ) : 46-55 ( 2004 ) [i1] 维克托·昆卡 , 林立信 , 马丁·里纳德 :
角色真的很棒! CoRR公司 反恐精英。 PL/0408013 ( 2004 ) 2003 【c8】 林立信 , 马丁·里纳德 :
设计信息自动提取与执行的类型系统与分析。 ECOOP公司 2003 : 275-302 2002 【c7】 维克托·昆卡 , 林立信 , 马丁·里纳德 :
角色分析。 POPL公司 2002 : 17-32 2001 【c6】 维克托·昆卡 , 林立信 , 马丁·里纳德 :
角色规范语言。 LCPC公司 2001 : 366-382 2000 【c5】 拉贾·瓦莱·雷 , 艾蒂安·加格农 , 劳里·J·亨德伦 , 林立信 , 帕特里斯·波明维尔 , Vijay Sundaresan公司 :
使用Soot框架优化Java字节码:可行吗? 科科斯群岛 2000 : 18-34 【c4】 拉贾·瓦莱·雷 , 林立信 , 克拉克·维尔布鲁奇 , 帕特里斯·波明维尔 , 冯倩 :
Soot(海报会话):一个Java字节码优化和注释框架。 OOPSLA补遗 2000 : 113-114 【c3】 卡雷尔·德利森 , 林立信 , 杰罗姆·米奇尼科夫斯基 , 冯倩 , 德里克·雷赛德 :
Java字节码的可预测性(摘要)(海报会话)。 OOPSLA补遗 2000 : 127-128 【c2】 Vijay Sundaresan公司 , 劳里·J·亨德伦 , 克里斯兰·拉扎菲马赫法 , 拉贾·瓦莱·雷 , 林立信 , 艾蒂安·加格农 , 查尔斯·戈丁 :
Java的实用虚拟方法调用解析。 OOPSLA公司 2000 : 264-280
1990 – 1999
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)