369 citations · 428 across the 8 of their papers we have counts for
8 papers
A Deeper Look at Depth: Stable Generation Accounting for Quantifier Reasoning
Can Cebeci, Nikolaj Bjørner, George Candea +1
SMT solvers make automated verification convenient. At the same time, solvers suffer from instability, whereby seemingly inconsequential changes to the input may cause a previously…
Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants
Beatriz Borges, Negar Foroutan, Deniz Bayazit +87
AI assistants are being increasingly used by students enrolled in higher education institutions. While these tools provide opportunities for improved teaching and education, they a…
Productive Development of Scalable Network Functions with NFork
Lei Yan, Yueyang Pan, Diyu Zhou +2
Despite decades of research, developing correct and scalable concurrent programs is still challenging. Network functions (NFs) are not an exception. This paper presents NFork, a sy…
Making Smartphone Application Permissions Meaningful for the Average User
Amer Chamseddine, George Candea
Smartphones hold important private information, yet users routinely expose this information to questionable applications written by developers they know nothing about. Users may be…
Middleware-based Database Replication: The Gaps between Theory and Practice
Emmanuel Cecchet, George Candea, Anastasia Ailamaki
The need for high availability and performance in data management systems has been fueling a long running interest in database replication from both academia and industry. However,…
Microreboot -- A Technique for Cheap Recovery
George Candea, Shinichi Kawamoto, Yuichi Fujiki +2
A significant fraction of software failures in large-scale Internet systems are cured by rebooting, even when the exact failure causes are unknown. However, rebooting can be expens…