Ruzica Piskac | DeepAI

AI Chat

Featured Co-authors

Bernd Finkbeiner
77 publications
Sumit Gulwani
26 publications
Slobodan Mitrović
21 publications
Jakub Szefer
19 publications
Bettina Könighofer
15 publications
Viktor Kuncak
14 publications
Vu Le
13 publications
Todd Mytkowicz
13 publications
Shuvendu K. Lahiri
12 publications
Jose Cambronero
10 publications
Gustavo Soares
9 publications

∙ 07/04/2023

Analyzing Intentional Behavior in Autonomous Agents under Uncertainty

Principled accountability for autonomous decision-making in uncertain en...

0 Filip Cano Córdoba, et al. ∙

∙ 05/09/2023

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions

Principled accountability in the aftermath of harms is essential to the ...

0 Samuel Judson, et al. ∙

∙ 04/04/2023

Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code

Although cryptographic algorithms may be mathematically secure, it is of...

0 Ferhat Erata, et al. ∙

∙ 09/29/2022

Repairing Bugs in Python Assignments Using Large Language Models

Students often make mistakes on their introductory programming assignmen...

0 Jialu Zhang, et al. ∙

∙ 06/03/2022

Automated Feedback Generation for Competition-Level Code

Competitive programming has become a popular way for programmers to test...

0 Jialu Zhang, et al. ∙

∙ 02/06/2022

IVeri: Privacy-Preserving Interdomain Verification

In an interdomain network, autonomous systems (ASes) often establish pee...

0 Ning Luo, et al. ∙

∙ 01/27/2022

ETAP: Energy-aware Timing Analysis of Intermittent Programs

Energy harvesting battery-free embedded devices rely only on ambient ene...

0 Ferhat Erata, et al. ∙

∙ 11/23/2021

Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts?

Program merging is standard practice when developers integrate their ind...

0 Jialu Zhang, et al. ∙

∙ 10/13/2020

Succinct Explanations With Cascading Decision Trees

Classic decision tree learning is a binary classification algorithm that...

0 Jialu Zhang, et al. ∙

∙ 02/07/2020

Grammar Filtering For Syntax-Guided Synthesis

Programming-by-example (PBE) is a synthesis paradigm that allows users t...

0 Kairo Morton, et al. ∙

∙ 03/20/2019

Identifying Maximal Non-Redundant Integer Cone Generators

A non-redundant integer cone generator (NICG) of dimension d is a set S ...

0 Slobodan Mitrović, et al. ∙

∙ 05/11/2018

Statically Verifying Continuous Integration Configurations

Continuous Integration (CI) testing is a popular software development te...

0 Mark Santolucito, et al. ∙

∙ 03/28/2018

Vehicle Platooning Simulations with Functional Reactive Programming

Functional languages have provided major benefits to the verification co...

0 Bernd Finkbeiner, et al. ∙

∙ 12/01/2017

Synthesizing Functional Reactive Programs

We present the first method to synthesize functional reactive programs f...

0 Bernd Finkbeiner, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world