Scaling Relational Inference Using Proofs and Refutations
暂无分享,去创建一个
[1] Isil Dillig,et al. Automated Inference of Library Specifications for Source-Sink Property Verification , 2013, APLAS.
[2] Yannis Smaragdakis,et al. Using Datalog for Fast and Easy Program Analysis , 2010, Datalog.
[3] Matthew Richardson,et al. Markov logic networks , 2006, Machine Learning.
[4] Daniel Larraz,et al. Proving termination of imperative programs using Max-SMT , 2013, 2013 Formal Methods in Computer-Aided Design.
[5] Xin Zhang,et al. On abstraction refinement for program analyses in Datalog , 2014, PLDI 2014.
[6] Heiner Stuckenschmidt,et al. RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models , 2013, AAAI.
[7] Daniel Larraz,et al. Proving Non-termination Using Max-SMT , 2014, CAV.
[8] Xin Zhang,et al. A user-guided approach to program analysis , 2015, ESEC/SIGSOFT FSE.
[9] Lise Getoor,et al. A short introduction to probabilistic soft logic , 2012, NIPS 2012.
[10] Dawson R. Engler,et al. A Factor Graph Model for Software Bug Finding , 2007, IJCAI.
[11] Andrew C. Myers,et al. JFlow: practical mostly-static information flow control , 1999, POPL '99.
[12] Matthew Richardson,et al. The Alchemy System for Statistical Relational AI: User Manual , 2007 .
[13] Sebastian Riedel. Improving the Accuracy and Efficiency of MAP Inference for Markov Logic , 2008, UAI.
[14] Leslie Pack Kaelbling,et al. Lifted Probabilistic Inference with Counting Formulas , 2008, AAAI.
[15] Joao Marques-Silva,et al. Literal-Based MCS Extraction , 2015, IJCAI.
[16] Monica S. Lam,et al. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams , 2004, PLDI '04.
[17] Pedro M. Domingos,et al. Memory-Efficient Inference in Relational Domains , 2006, AAAI.
[18] Christos H. Papadimitriou,et al. Computational complexity , 1993 .
[19] Benjamin Livshits,et al. Finding Security Vulnerabilities in Java Applications with Static Analysis , 2005, USENIX Security Symposium.
[20] Alexander Aiken,et al. Interactively verifying absence of explicit information flows in Android apps , 2015, OOPSLA.
[21] Pedro M. Domingos,et al. A General Method for Reducing the Complexity of Relational Inference and its Application to MCMC , 2008, AAAI.
[22] Sriram K. Rajamani,et al. Combining Relational Learning with SMT Solvers Using CEGAR , 2013, CAV.
[23] Andrew McCallum,et al. Automating the Construction of Internet Portals with Machine Learning , 2000, Information Retrieval.
[24] Pedro M. Domingos,et al. Discriminative Training of Markov Logic Networks , 2005, AAAI.
[25] Pedro M. Domingos,et al. Markov Logic: An Interface Layer for Artificial Intelligence , 2009, Markov Logic: An Interface Layer for Artificial Intelligence.
[26] Aditya V. Nori,et al. Probabilistic, modular and scalable inference of typestate specifications , 2011, PLDI '11.
[27] Dawson R. Engler,et al. From uncertainty to belief: inferring the specification within , 2006, OSDI '06.
[28] Christopher Ré,et al. Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS , 2011, Proc. VLDB Endow..
[29] Sebastian Riedel. Cutting Plane MAP Inference for Markov Logic , 2009 .
[30] Isil Dillig,et al. Automated error diagnosis using abductive inference , 2012, PLDI.
[31] Yannis Smaragdakis,et al. Strictly declarative specification of sophisticated points-to analyses , 2009, OOPSLA.
[32] Letizia Tanca,et al. What you Always Wanted to Know About Datalog (And Never Dared to Ask) , 1989, IEEE Trans. Knowl. Data Eng..
[33] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[34] Dan Roth,et al. Lifted First-Order Probabilistic Inference , 2005, IJCAI.
[35] Benjamin Livshits,et al. Merlin: specification inference for explicit information flow problems , 2009, PLDI '09.
[36] Monica S. Lam,et al. Using Datalog with Binary Decision Diagrams for Program Analysis , 2005, APLAS.
[37] David Poole,et al. First-order probabilistic inference , 2003, IJCAI.