Name Card

Full name Familienname, Vorname
Rungta, Neha
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 45 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kaivola-2022-Timed Causal Fanin Analysis for Symbolic Circuit Simulation-vor.pdf.jpgKaivola, Roope ; Bar Kama, Neta Timed Causal Fanin Analysis for Symbolic Circuit SimulationKonferenzbeitrag Inproceedings Oct-2022
2Nair-2022-Proof-StitchProof Combination for Divide-and-Conquer SAT Solvers-vor.pdf.jpgNair, Abhishek ; Chattopadhyay, Saranyu ; Wu, Haoze ; Ozdemir, Alex ; Barrett, Clark Proof-Stitch_Proof Combination for Divide-and-Conquer SAT SolversKonferenzbeitrag Inproceedings Oct-2022
3Lohn-2022-Compact Symmetry Breaking for Tournaments-vor.pdf.jpgLohn, Evan ; Lambert, Chris ; Heule, Marijn Compact Symmetry Breaking for TournamentsKonferenzbeitrag Inproceedings Oct-2022
4Preiner-2022-The FMCAD 2022 Student Forum-vor.pdf.jpgPreiner, Mathias The FMCAD 2022 Student ForumKonferenzbeitrag Inproceedings Oct-2022
5Amir-2022-Verification-Aided Deep Ensemble Selection-vor.pdf.jpgAmir, Guy ; Zelazny, Tom ; Katz, Guy ; Schapira, Michael Verification-Aided Deep Ensemble SelectionKonferenzbeitrag Inproceedings Oct-2022
6Priya-2022-Bounded Model Checking for LLVM-vor.pdf.jpgPriya, Siddharth ; Su, Yusen ; Bao, Yuyan ; Zhou,Xiang ; Vizel, Yakir ; Gurfinkel, Arie Bounded Model Checking for LLVMKonferenzbeitrag Inproceedings Oct-2022
7Hjort-2022-On Applying Model Checking in Formal Verification-vor.pdf.jpgHjort, Håkan On Applying Model Checking in Formal VerificationKonferenzbeitrag Inproceedings Oct-2022
8Walter-2022-Enumerative Data Types with Constraints-vor.pdf.jpgWalter, Andrew T. ; Greve, David ; Manolios, Panagiotis Enumerative Data Types with ConstraintsKonferenzbeitrag Inproceedings Oct-2022
9Bucev-2022-Formally Verified Quite OK Image Format-vor.pdf.jpgBucev, Mario ; Kunčak, Viktor Formally Verified Quite OK Image FormatInproceedings Konferenzbeitrag Oct-2022
10Godbole-2022-Automated Conversion of Axiomatic to Operational Models Theo...-vor.pdf.jpgGodbole, Adwait ; Manerkar, Yatin A. ; Seshia, Sanjit A. Automated Conversion of Axiomatic to Operational Models: Theory and PracticeInproceedings Konferenzbeitrag Oct-2022
11Noetzli-2022-Reconstructing Fine-Grained Proofs of Rewrites Using a Domai...-vor.pdf.jpgNoetzli, Andres ; Barbosa, Haniel ; Niemetz, Aina ; Preiner, Mathias ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific LanguageKonferenzbeitrag Inproceedings Oct-2022
12Palmskog-2022-Foundations and Tools in HOL4 for Analysis of Microarchitec...-vor.pdf.jpgPalmskog, Karl ; Yao, Xiaomo ; Dong, Ning ; Guanciale, Roberto ; Dam, Mads Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order ExecutionKonferenzbeitrag Inproceedings Oct-2022
13Isac-2022-Neural Network Verification with Proof Production-vor.pdf.jpgIsac, Omri ; Barrett, Clark ; Zhang, Min ; Katz, Guy Neural Network Verification with Proof ProductionKonferenzbeitrag Inproceedings Oct-2022
14Zelazny-2022-On Optimizing Back-Substitution Methods for Neural Network V...-vor.pdf.jpgZelazny, Tom ; Wu, Haoze ; Barrett, Clark ; Katz, Guy On Optimizing Back-Substitution Methods for Neural Network VerificationKonferenzbeitrag Inproceedings Oct-2022
15Loeoew-2022-Reconciling Verified-Circuit Development and Verilog Development-vor.pdf.jpgLööw, Andreas Reconciling Verified-Circuit Development and Verilog DevelopmentKonferenzbeitrag Inproceedings Oct-2022
16Konrad-2022-Divider Verification Using Symbolic Computer Algebra and Dela...-vor.pdf.jpgKonrad, Alexander ; Scholl, Christoph ; Mahzoon, Alireza ; Große, Daniel ; Drechsler, Rolf Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care OptimizationKonferenzbeitrag Inproceedings Oct-2022
17Chen-2022-Reducing NEXP-complete problems to DQBF-vor.pdf.jpgChen, Fa-Hsun ; Huang, Shen-Chang ; Lu, Yu-Cheng ; Tan, Tony Reducing NEXP-complete problems to DQBFKonferenzbeitrag Inproceedings Oct-2022
18Kheterpal-2022-Automating Geometric Proofs of Collision Avoidance with Ac...-vor.pdf.jpgKheterpal, Nishant ; Tang, Elanor ; Jeannin, Jean-Baptiste Automating Geometric Proofs of Collision Avoidance with Active CornersInproceedings Konferenzbeitrag Oct-2022
19Daly-2022-Synthesizing Instruction Selection Rewrite Rules from RTL using...-vor.pdf.jpgDaly, Ross ; Donovick, Caleb ; Melchert, Jackson ; Setaluri, Rajsekhar ; Tsiskaridze, Nestan ; Raina, Priyanka ; Barrett, Clark ; Hanrahan, Pat Synthesizing Instruction Selection Rewrite Rules from RTL using SMTKonferenzbeitrag Inproceedings Oct-2022
20Yang-2022-INC A Scalable Incremental Weighted Sampler-vor.pdf.jpgYang, Suwei ; Liang, Victor ; Meel, Kuldeep S. INC A Scalable Incremental Weighted SamplerKonferenzbeitrag Inproceedings Oct-2022