Nina Narodytska
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
72
Venues
20
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
72 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Cubing for Tuning. | Haoze Wu, Clark W. Barrett, Nina Narodytska |
| 2025 | CAIN | Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study). | Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha |
| 2025 | FMCAD | Integrating Large Language Models in Automated Program Verification. | Nina Narodytska |
| 2025 | FMCAD | Per-Instance Subproblem Generation for Strategy Selection in SMT. | Amalee Wilson, Nina Narodytska, Clark W. Barrett, Haoze Wu |
| 2025 | SIGCOMM | Agua: A Concept-Based Explainer for Learning-Enabled Systems. | Sagar Patel, Dongsu Han, Nina Narodytska, Sangeetha Abdu Jyothi |
| 2024 | AAAI | CrystalBox: Future-Based Explanations for Input-Driven Deep RL Systems. | Sagar Patel, Sangeetha Abdu Jyothi, Nina Narodytska |
| 2024 | HOTNETS | Toward Trustworthy Learning-Enabled Systems with Concept-Based Explanations. | Sagar Patel, Dongsu Han, Nina Narodytska, Sangeetha Abdu Jyothi |
| 2024 | ICLR | Lemur: Integrating Large Language Models in Automated Program Verification. | Haoze Wu, Clark W. Barrett, Nina Narodytska |
| 2023 | AAAI | Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. | Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, Joo Marques-Silva |
| 2023 | FMCAD | The FMCAD 2023 Student Forum. | Mikolas Janota, Nina Narodytska |
| 2022 | AAAI | Constraint-Driven Explanations for Black-Box ML Models. | Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, Joo Marques-Silva, Moshe Y. Vardi |
| 2022 | SAT | Analysis of Core-Guided MaxSat Using Cores and Correction Sets. | Nina Narodytska, Nikolaj S. Bjrner |
| 2021 | ICML | Explanations for Monotonic Classifiers. | Joo Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska |
| 2021 | IJCAI | Reasoning-Based Learning of Interpretable ML Models. | Alexey Ignatiev, Joo Marques-Silva, Nina Narodytska, Peter J. Stuckey |
| 2021 | INFOCOM | Analyzing Learning-Based Networked Systems with Formal Verification. | Arnaud Dethise, Marco Canini, Nina Narodytska |
| 2020 | ECAI | Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis. | Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le, Nina Narodytska |
| 2020 | ICLR | In Search for a SAT-friendly Binarized Neural Network Architecture. | Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh |
| 2020 | OSDI | Building Scalable and Flexible Cluster Managers Using Declarative Programming. | Lalith Suresh, Joo Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch |
| 2019 | AAAI | Abduction-Based Explanations for Machine Learning Models. | Alexey Ignatiev, Nina Narodytska, Joo Marques-Silva |
| 2019 | FMCAD | BDD-Based Algorithms for Packet Classification. | Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc |
| 2019 | HotOS | Synthesizing Cluster Management Code for Distributed Systems. | Lalith Suresh, Joo Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki |
| 2019 | ICLR | RelGAN: Relational Generative Adversarial Networks for Text Generation. | Weili Nie, Nina Narodytska, Ankit Patel |
| 2019 | PLDI | Simple and precise static analysis of untrusted Linux kernel extensions. | Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv |
| 2019 | SAT | Assessing Heuristic Machine Learning Explanations with Model Counting. | Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joo Marques-Silva |
| 2018 | AAAI | Verifying Properties of Binarized Deep Neural Networks. | Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh |
| 2018 | CADE | A SAT-Based Approach to Learn Explainable Decision Sets. | Alexey Ignatiev, Filipe Pereira, Nina Narodytska, Joo Marques-Silva |
| 2018 | FMCAD | Formal Verification of Deep Neural Networks. | Nina Narodytska |
| 2018 | IJCAI | Network Approximation using Tensor Sketching. | Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin |
| 2018 | IJCAI | Formal Analysis of Deep Binarized Neural Networks. | Nina Narodytska |
| 2018 | IJCAI | Core-Guided Minimal Correction Set and Core Enumeration. | Nina Narodytska, Nikolaj S. Bjrner, Maria-Cristina V. Marinescu, Mooly Sagiv |
| 2018 | IJCAI | Learning Optimal Decision Trees with SAT. | Nina Narodytska, Alexey Ignatiev, Filipe Pereira, Joo Marques-Silva |
| 2018 | SAT | Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. | Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjrner, Mooly Sagiv |
| 2017 | CVPR | Simple Black-Box Adversarial Attacks on Deep Neural Networks. | Nina Narodytska, Shiva Prasad Kasiviswanathan |
| 2016 | CAV | A SAT-Based Counterexample Guided Method for Unbounded Synthesis. | Alexander Legg, Nina Narodytska, Leonid Ryzhyk |
| 2016 | ECAI | Adaptive Condorcet-Based Stopping Rules Can Be Efficient. | Omer Reingold, Nina Narodytska |
| 2015 | AAAI | SAT-Based Strategy Extraction in Reachability Games. | Niklas En, Alexander Legg, Nina Narodytska, Leonid Ryzhyk |
| 2015 | IJCAI | Equilibria Under the Probabilistic Serial Rule. | Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh |
| 2015 | IJCAI | Maximum Satisfiability Using Cores and Correction Sets. | Nikolaj S. Bjrner, Nina Narodytska |
| 2014 | AAAI | Controlling Elections by Replacing Candidates: Theoretical and Experimental Results. | Andrea Loreggia, Nina Narodytska, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2014 | AAAI | Maximum Satisfiability Using Core-Guided MaxSAT Resolution. | Nina Narodytska, Fahiem Bacchus |
| 2014 | AAAI | A Game-Theoretic Analysis of Catalog Optimization. | Joel Oren, Nina Narodytska, Craig Boutilier |
| 2014 | CAV | Solving Games without Controllable Predecessor. | Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker |
| 2014 | ECAI | How Hard Is It to Control an Election by Breaking Ties? | Nicholas Mattei, Nina Narodytska, Toby Walsh |
| 2014 | ECAI | The Computational Impact of Partial Votes on Strategic Voting. | Nina Narodytska, Toby Walsh |
| 2014 | PRICAI | Reasoning about Constraint Models. | Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh |
| 2014 | SAT | Cores in Core Based MaxSat Algorithms: An Analysis. | Fahiem Bacchus, Nina Narodytska |
| 2013 | AAAI | Ties Matter: Complexity of Manipulation when Tie-Breaking with a Random Vote. | Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh |
| 2013 | AAAI | Strategic Behavior when Allocating Indivisible Goods Sequentially. | Thomas Kalinowski, Nina Narodytska, Toby Walsh, Lirong Xia |
| 2013 | CP | Breaking Symmetry with Different Orderings. | Nina Narodytska, Toby Walsh |
| 2013 | CPAIOR | An Adaptive Model Restarts Heuristic. | Nina Narodytska, Toby Walsh |
| 2013 | IJCAI | Constraint Acquisition via Partial Queries. | Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2013 | IJCAI | On the Complexity of Global Scheduling Constraints under Structural Restrictions. | Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh |
| 2013 | IJCAI | A Social Welfare Optimal Sequential Allocation Procedure. | Thomas Kalinowski, Nina Narodytska, Toby Walsh |
| 2013 | IJCAI | Three Generalizations of the FOCUS Constraint. | Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh |
| 2012 | AAAI | Eliminating the Weakest Link: Making Manipulation Intractable? | Jessica Davies, Nina Narodytska, Toby Walsh |
| 2012 | CP | The SeqBin Constraint Revisited. | George Katsirelos, Nina Narodytska, Toby Walsh |
| 2012 | ECAI | Combining Voting Rules Together. | Nina Narodytska, Toby Walsh, Lirong Xia |
| 2011 | AAAI | Complexity of and Algorithms for Borda Manipulation. | Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh |
| 2011 | AAAI | Manipulation of Nanson's and Baldwin's Rules. | Nina Narodytska, Toby Walsh, Lirong Xia |
| 2011 | CPAIOR | The AllDifferent Constraint with Precedences. | Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2011 | IJCAI | Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable. | Michael R. Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska, Frances A. Rosamond |
| 2010 | AAAI | Propagating Conjunctions of AllDifferent Constraints. | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2010 | CP | Decomposition of the NValue Constraint. | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2010 | CP | On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. | George Katsirelos, Nina Narodytska, Toby Walsh |
| 2009 | CP | Restricted Global Grammar Constraints. | George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh |
| 2009 | CPAIOR | Reformulating Global Grammar Constraints. | George Katsirelos, Nina Narodytska, Toby Walsh |
| 2009 | IJCAI | Decompositions of All Different, Global Cardinality and Related Constraints. | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2009 | IJCAI | Circuit Complexity and Decompositions of Global Constraints. | Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh |
| 2008 | CP | Flow-Based Propagators for the SEQUENCE and Related Global Constraints. | Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2008 | CPAIOR | The Weighted CfgConstraint. | George Katsirelos, Nina Narodytska, Toby Walsh |
| 2007 | CP | Encodings of the Sequence Constraint. | Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh |
| 2007 | IJCAI | Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. | Nina Narodytska, Toby Walsh |