Search results for "SMT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Daniel El Ouraoui	Méthodes pour le raisonnement d'ordre supérieur dans SMT. (Methods for Higher-Order reasoning in SMT).		2021	RDF
25	Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett	Smt-Switch: a solver-agnostic C++ API for SMT Solving.	CoRR	2020	DBLP BibTeX RDF
25	Xiaohui Wu, Yeping He, Qiming Zhou, Hengtai Ma, Liang He, Wenhao Wang 0001, Liheng Chen	Partial-SMT: Core-scheduling Protection Against SMT Contention-based Attacks.	TrustCom	2020	DBLP DOI BibTeX RDF
25	Saket Dingliwal, Ronak Agarwal, Happy Mittal, Parag Singla	CVC4-SymBreak: Derived SMT solver at SMT Competition 2019.	CoRR	2019	DBLP BibTeX RDF
25	Daniel Townley, Dmitry Ponomarev 0001	SMT-COP: Defeating Side-Channel Attacks on Execution Units in SMT Processors.	PACT	2019	DBLP DOI BibTeX RDF
25	Albin Coquereau	[ErgoFast] Amélioration de performances du solveur SMT Alt-Ergo grâce à l'intégration d'un solveur SAT efficace. ([ErgoFast] Improving performance of the SMT solver Alt-Ergo with a better integration of efficient SAT solver).		2019	RDF
25	Guillaume Bury	Integrating rewriting, tableau and superposition into SMT. (Intégrer la réecriture, la méthode des tableaux et la superposition dans les solveurs SMT).		2019	RDF
25	Samuel Kolb, Stefano Teso, Andrea Passerini, Luc De Raedt	Learning SMT(LRA) Constraints using SMT Solvers.	IJCAI	2018	DBLP DOI BibTeX RDF
25	Haniel Barbosa	New techniques for instantiation and proof production in SMT solving. (Nouvelles techniques pour l'instanciation et la production des preuves dans SMT).		2017	RDF
25	Emilien Kofman	Low power application architecture adaptation using SMT solvers. (Adéquation algorithme architecture automatisée par solveur SMT).		2017	RDF
25	David R. Cok, Aaron Stump, Tjark Weber	The 2013 Evaluation of SMT-COMP and SMT-LIB.	J. Autom. Reason.	2015	DBLP DOI BibTeX RDF
25	Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám	SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving.	SAT	2015	DBLP DOI BibTeX RDF
25	Yidong Chen, Ling Xiao Wang, Christian Boitet, Xiaodong Shi	On-going Cooperative Research towards Developing Economy-Oriented Chinese-French SMT Systems with a New SMT Framework.	TALN (2)	2014	DBLP BibTeX RDF
25	Pranav Tendulkar	Mapping and Scheduling on Multi-core Processors using SMT Solvers. (placement et ordonnancement sur les processeurs multi-core en utilisant un solveur SMT).		2014	RDF
25	Mohamed Iguernelala	Strengthening the heart of an SMT-solver : Design and implementation of efficient decision procedures. (Renforcement du noyau d'un démonstrateur SMT : Conception et implantation de procédures de décisions efficaces).		2013	RDF
25	Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám	SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation).	SAT	2012	DBLP DOI BibTeX RDF
25	Andrew D. Hilton, Amir Roth	SMT-Directory: Efficient Load-Load Ordering for SMT.	IEEE Comput. Archit. Lett.	2010	DBLP DOI BibTeX RDF
25	Clark W. Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli	The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk).	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
25	Josep Maria Crego, Aurélien Max, François Yvon	Local lexical adaptation in Machine Translation through triangulation: SMT helping SMT.	COLING	2010	DBLP BibTeX RDF
24	Joseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh	Goose: A Meta-Solver for Deep Neural Network Verification.	SMT	2022	DBLP BibTeX RDF
24	Alessandro Cimatti, Alberto Griggio, Stefano Tonetta	The VMT-LIB Language and Tools.	SMT	2022	DBLP BibTeX RDF
24	Lucas Clemente Vella, Leonardo Alt	On Satisfiability of Polynomial Equations over Large Prime Fields.	SMT	2022	DBLP BibTeX RDF
24	Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar	CDSAT for Nondisjoint Theories with Shared Predicates: Arrays With Abstract Length.	SMT	2022	DBLP BibTeX RDF
24	David Déharbe, Antti E. J. Hyvärinen (eds.)	Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022.	SMT	2022	DBLP BibTeX RDF
24	Aina Niemetz	Invited Talk: Local Search for Bit-Precise Reasoning and Beyond.	SMT	2022	DBLP BibTeX RDF
24	Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais	Abstract: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant.	SMT	2021	DBLP BibTeX RDF
24	Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler	Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality.	SMT	2021	DBLP BibTeX RDF
24	Chad E. Brown, Mikolás Janota	First-Order Instantiation using Discriminating Terms.	SMT	2021	DBLP BibTeX RDF
24	François Bobot, Tjark Weber (eds.)	Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (initially located in Paris, France), July 5-6, 2020.	SMT	2021	DBLP BibTeX RDF
24	Alexander Nadel, Aina Niemetz (eds.)	Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021.	SMT	2021	DBLP BibTeX RDF
24	José Abel Castellanos Joo, Silvio Ghilardi, Alessandro Gianola, Deepak Kapur	AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff.	SMT	2021	DBLP BibTeX RDF
24	Fabian Zaiser, Luke Ong	Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes.	SMT	2021	DBLP BibTeX RDF
24	Karem A. Sakallah	Invited Talk: AVR: Word-Level Verification by Equality Abstraction of Data State.	SMT	2021	DBLP BibTeX RDF
24	Martin Brain	Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication.	SMT	2021	DBLP BibTeX RDF
24	Bruno Dutertre	An Empirical Evaluation of SAT Solvers on Bit-vector Problems.	SMT	2020	DBLP BibTeX RDF
24	Philipp Rümmer	Invited Talk: Solving String Constraints, Starting from the Beginning and from the End.	SMT	2020	DBLP BibTeX RDF
24	Sophie Tourret, Pascal Fontaine, Daniel El Ouraoui, Haniel Barbosa	Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding.	SMT	2020	DBLP BibTeX RDF
24	Seonmo Kim, Stephen McCamant	Structural Bit-vector Model Counting.	SMT	2020	DBLP BibTeX RDF
24	Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson	Bayesian Optimisation of Solver Parameters in CBMC.	SMT	2020	DBLP BibTeX RDF
24	Dejan Jovanovic, Bruno Dutertre	LibPoly: A Library for Reasoning about Polynomials.	SMT	2017	DBLP BibTeX RDF
24	Yakir Vizel, Alexander Nadel, Sharad Malik	Solving Constraints over Bit-Vectors with SAT-based Model Checking.	SMT	2017	DBLP BibTeX RDF
24	François Bobot, Zakaria Chihani, Bruno Marre	Real Behavior of Floating Point.	SMT	2017	DBLP BibTeX RDF
24	Andrew Reynolds 0001	Quantifier Instantiation Beyond E-Matching.	SMT	2017	DBLP BibTeX RDF
24	Gergely Kovásznai, Csaba Biró, Balazs Erdelyi	Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers.	SMT	2017	DBLP BibTeX RDF
24	Martin Brain, Liana Hadarean (eds.)	Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017.	SMT	2017	DBLP BibTeX RDF
24	Jochen Hoenicke, Tanja Schindler	Efficient Interpolation for the Theory of Arrays.	SMT	2017	DBLP BibTeX RDF
24	Stéphane Graham-Lengrand, Dejan Jovanovic	An MCSAT treatment of Bit-Vectors.	SMT	2017	DBLP BibTeX RDF
23	Karthik Visweswariah, Ananthakrishnan Ramanathan, Mitesh M. Khapra (eds.)	Proceedings of the Workshop on Reordering for Statistical Machine Translation@COLING 2012, Mumbai, India, December 9, 2012	SMT@COLING	2012	DBLP BibTeX RDF
23	Jacob Dlougach, Irina Galinskaya	Building a reordering system using tree-to-string hierarchical model.	SMT@COLING	2012	DBLP BibTeX RDF
23	Anoop Kunchukuttan, Pushpak Bhattacharyya	Partially modelling word reordering as a sequence labelling problem.	SMT@COLING	2012	DBLP BibTeX RDF
23	Mitesh M. Khapra, Ananthakrishnan Ramanathan, Karthik Visweswariah	Report of the Shared Task on Learning Reordering from Word Alignments at RSMT 2012.	SMT@COLING	2012	DBLP BibTeX RDF
23	Mitesh M. Khapra, Ananthakrishnan Ramanathan, Karthik Visweswariah	Whitepaper for Shared Task on Learning Reordering from Word Alignments at RSMT 2012.	SMT@COLING	2012	DBLP BibTeX RDF
22	Alessandro Armando, Jacopo Mantovani, Lorenzo Platania	Bounded model checking of software using SMT solvers instead of SAT solvers.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
22	Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric	Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers.	CAV	2009	DBLP DOI BibTeX RDF
22	Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura	A Concurrent Portfolio Approach to SMT Solving.	CAV	2009	DBLP DOI BibTeX RDF
22	Saurabh Srivastava 0001, Sumit Gulwani, Jeffrey S. Foster	VS3: SMT Solvers for Program Verification.	CAV	2009	DBLP DOI BibTeX RDF
22	Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen	Interaction Coverage Meets Path Coverage by SMT Constraint Solving.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
22	Rafael Ubal, Julio Sahuquillo, Salvador Petit, Pedro López 0001	Paired ROBs: A Cost-Effective Reorder Buffer Sharing Strategy for SMT Processors.	Euro-Par	2009	DBLP DOI BibTeX RDF
22	Thomas Bouton, Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine	veriT: An Open, Trustable and Efficient SMT-Solver.	CADE	2009	DBLP DOI BibTeX RDF
22	Qing Chen, Tianshun Yao	Flattened Syntactical Phrase-Based Translation Model for SMT.	ICCPOL	2009	DBLP DOI BibTeX RDF	flattened syntactical phrase, synchronous grammar, syntactical structure
22	Jörg Mische, Sascha Uhrig, Florian Kluge, Theo Ungerer	IPC Control for Multiple Real-Time Threads on an In-Order SMT Processor.	HiPEAC	2009	DBLP DOI BibTeX RDF
22	Huaping Wang, Israel Koren, C. Mani Krishna 0001	An adaptive resource partitioning algorithm for SMT processors.	PACT	2008	DBLP DOI BibTeX RDF	simultaneous multithreading, resource partitioning
22	Xin Fu, Tao Li, José A. B. Fortes	Combined circuit and microarchitecture techniques for effective soft error robustness in SMT processors.	DSN	2008	DBLP DOI BibTeX RDF
22	Malay K. Ganai, Aarti Gupta	Completeness in SMT-based BMC for Software Programs.	DATE	2008	DBLP DOI BibTeX RDF
22	Carlos Boneti, Francisco J. Cazorla, Roberto Gioiosa, Mateo Valero	Soft Real-Time Scheduling on SMT Processors with Explicit Resource Allocation.	ARCS	2008	DBLP DOI BibTeX RDF
22	Christopher Lynch, Yuefeng Tang	Interpolants for Linear Arithmetic in SMT.	ATVA	2008	DBLP DOI BibTeX RDF
22	Malay K. Ganai, Weihong Li	d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
22	Jörg Mische, Sascha Uhrig, Florian Kluge, Theo Ungerer	Exploiting spare resources of in-order SMT processors executing hard real-time threads.	ICCD	2008	DBLP DOI BibTeX RDF
22	Mingxuan Yuan, Xiuqiang He 0001, Zonghua Gu 0001	Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF
22	Margus Veanes, Nikolaj S. Bjørner, Alexander Raschke	An SMT Approach to Bounded Reachability Analysis of Model Programs.	FORTE	2008	DBLP DOI BibTeX RDF
22	George Hagen, Cesare Tinelli	Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques.	FMCAD	2008	DBLP DOI BibTeX RDF
22	Jason Loew, Dmitry Ponomarev 0001	Two-Level Reorder Buffers: Accelerating Memory-Bound Applications on SMT Architectures.	ICPP	2008	DBLP DOI BibTeX RDF
22	Sonia López, Steven G. Dropsho, David H. Albonesi, Oscar Garnica, Juan Lanchares	Rate-Driven Control of Resizable Caches for Highly Threaded SMT Processors.	PACT	2007	DBLP DOI BibTeX RDF
22	Ethan Schuchman, T. N. Vijaykumar	BlackJack: Hard Error Detection with Redundant Threads on SMT.	DSN	2007	DBLP DOI BibTeX RDF
22	Francisco J. Cazorla, Enrique Fernández, Peter M. W. Knijnenburg, Alex Ramírez, Rizos Sakellariou, Mateo Valero	On the Problem of Minimizing Workload Execution Time in SMT Processors.	ICSAMOS	2007	DBLP DOI BibTeX RDF
22	Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani	A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.	CAV	2007	DBLP DOI BibTeX RDF
22	Emre Özer 0001, Stuart Biles	Thread Priority-Aware Random Replacement in TLBs for a High-Performance Real-Time SMT Processor.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF
22	Joseph J. Sharkey, Deniz Balkan, Dmitry Ponomarev 0001	Adaptive reorder buffers for SMT processors.	PACT	2006	DBLP DOI BibTeX RDF	simultaneous multithreading, reorder buffer
22	Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras	SMT Techniques for Fast Predicate Abstraction.	CAV	2006	DBLP DOI BibTeX RDF
22	Shi-Wu Lo	Data sharing protocols for SMT processors.	SAC	2006	DBLP DOI BibTeX RDF	scheduling, real-time, simultaneously multithreading
22	Alessandro Armando, Jacopo Mantovani, Lorenzo Platania	Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers.	SPIN	2006	DBLP DOI BibTeX RDF
22	Caixia Sun, Hong-Wei Tang, Minxuan Zhang	Enhancing ICOUNT2.8 Fetch Policy with Better Fairness for SMT Processors.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF
22	Wei Huang 0032, Jiang Lin, Zhao Zhang 0010, J. Morris Chang	Towards Pairing Java Applications on SMT Processors.	MASCOTS	2005	DBLP DOI BibTeX RDF
22	Shinpei Kato, Hidenori Kobayashi, Nobuyuki Yamasaki	U-Link Scheduling: Bounding Execution Time of Real-Time Tasks with Multi-Case Execution Time on SMT Processors.	RTCSA	2005	DBLP DOI BibTeX RDF
22	Evangelia Athanasaki, Kornilios Kourtis, Nikos Anastopoulos, Nectarios Koziris	Tuning Blocked Array Layouts to Exploit Memory Hierarchy in SMT Architectures.	Panhellenic Conference on Informatics	2005	DBLP DOI BibTeX RDF
22	Hua Yang, Gang Cui, Xiaozong Yang	Eliminating Inter-Thread Interference in Register File for SMT Processors.	PDCAT	2005	DBLP DOI BibTeX RDF
22	Mladen Berekovic, Sören Moch, Peter Pirsch	A scalable, clustered SMT processor for digital signal processing.	SIGARCH Comput. Archit. News	2004	DBLP DOI BibTeX RDF
22	Francisco J. Cazorla, Alex Ramírez, Mateo Valero, Enrique Fernández	DCache Warn: An I-Fetch Policy to Increase SMT Efficiency.	IPDPS	2004	DBLP DOI BibTeX RDF
19	Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman	Continuity analysis of programs.	POPL	2010	DBLP DOI BibTeX RDF	stability, robustness, uncertainty, program analysis, continuity, errors, sensitivity, perturbations, proof rules
19	Patrice Godefroid, Johannes Kinder	Proving memory safety of floating-point computations by combining static and dynamic program analysis.	ISSTA	2010	DBLP DOI BibTeX RDF	static and dynamic program analysis, program verification
19	Petar Radojkovic, Vladimir Cakarevic, Javier Verdú, Alex Pajuelo, Francisco J. Cazorla, Mario Nemirovsky, Mateo Valero	Thread to strand binding of parallel network applications in massive multi-threaded systems.	PPoPP	2010	DBLP DOI BibTeX RDF	ultrasparc t2, simultaneous multithreading, process scheduling, cmt
19	Swen Jacobs	Incremental Instance Generation in Local Reasoning.	CAV	2009	DBLP DOI BibTeX RDF
19	Yeting Ge, Leonardo Mendonça de Moura	Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories.	CAV	2009	DBLP DOI BibTeX RDF
19	Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev	Computing Stable Models via Reductions to Difference Logic.	LPNMR	2009	DBLP DOI BibTeX RDF
19	Pradipta De, Vijay Mann, Umang Mittaly	Handling OS jitter on multicore multithreaded systems.	IPDPS	2009	DBLP DOI BibTeX RDF
19	Jason Belt, Robby, Xianghua Deng	Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	program analysis, symbolic execution, decision procedure
19	Amit Goel, Sava Krstic, Cesare Tinelli	Ground Interpolation for Combined Theories.	CADE	2009	DBLP DOI BibTeX RDF
19	Feifei Ma, Sheng Liu, Jian Zhang 0001	Volume Computation for Boolean Combination of Linear Arithmetic Constraints.	CADE	2009	DBLP DOI BibTeX RDF
19	Konstantin Korovin	Instantiation-Based Automated Reasoning: From Theory to Practice.	CADE	2009	DBLP DOI BibTeX RDF
19	Maria Paola Bonacina, Christopher Lynch, Leonardo Mendonça de Moura	On Deciding Satisfiability by DPLL(G+T) and Unsound Theorem Proving.	CADE	2009	DBLP DOI BibTeX RDF