Pavol Cerny

Identifiers

• name variant Pavol Cerny 0.60 · backfill

Papers (11)

1. Efficient Detection and Quantification of Timing Leaks with Neural Networks cs.CR · 2019 · author #2
2. Quantitative Mitigation of Timing Side Channels cs.CR · 2019 · author #2
3. Type-directed Bounding of Collections in Reactive Programs cs.PL · 2018 · author #2
4. Differential Performance Debugging with Discriminant Regression Trees cs.AI · 2017 · author #2
5. Discriminating Traces with Time cs.PL · 2017 · author #2
6. Optimal Consistent Network Updates in Polynomial Time cs.NI · 2016 · author #1
7. Event-Driven Network Programming cs.PL · 2015 · author #4
8. Synthesis through Unification cs.PL · 2015 · author #2
9. Efficient Synthesis of Network Updates cs.PL · 2014 · author #3
10. Quantitative Synthesis for Concurrent Programs cs.PL · 2011 · author #1
11. Algorithmic Verification of Single-Pass List Processing Programs cs.PL · 2010 · author #2

Mentions

• 1507.07049 #4 · backfill · confidence 0.70 Pavol Cerny
• 1505.05868 #2 · backfill · confidence 0.70 Pavol Cerny
• 1403.5843 #3 · backfill · confidence 0.70 Pavol Cerny
• 1104.4306 #1 · backfill · confidence 0.70 Pavol Cerny
• 1007.4958 #2 · backfill · confidence 0.70 Pavol Cerny

Frequent Coauthors

• Ashutosh Trivedi 5 shared papers
• Saeid Tizpaz-Niari 4 shared papers
• Bor-Yuh Evan Chang 3 shared papers
• Jedidiah McClurg 3 shared papers
• Nate Foster 3 shared papers
• Arjun Radhakrishna 2 shared papers
• Hossein Hojjat 2 shared papers
• Rajeev Alur 2 shared papers
• Sriram Sankaranarayanan 2 shared papers
• Krishnendu Chatterjee 1 shared papers
• Nilesh Jagnik 1 shared papers
• Rohit Singh 1 shared papers
• Thomas Henzinger 1 shared papers
• Tianhan Lu 1 shared papers