Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Černý, Pavol
81  Ergebnisse:
Personensuche X
?
1

Quantitative estimation of side-channel leaks with neural n..:

Tizpaz-Niari, Saeid ; Černý, Pavol ; Sankaranarayanan, Sriram.
International Journal on Software Tools for Technology Transfer.  23 (2021)  4 - p. 641-654 , 2021
Link: https://doi.org/10.1007/..
 
?
2

Detecting and understanding real-world differential perform..:

, In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis,
Tizpaz-Niari, Saeid ; Černý, Pavol ; Trivedi, Ashutosh - p. 189-199 , 2020
Link: https://dl.acm.org/doi/1..
 
?
3

Efficient Detection and Quantification of Timing Leaks with..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Tizpaz-Niari, Saeid ; Černý, Pavol ; Sankaranarayanan, Sriram. - p. 329-348 , 2019
Link: https://doi.org/10.1007/..
 
?
4

Sequential programming for replicated data stores:

Lewchenko, Nicholas V. ; Radhakrishna, Arjun ; Gaonkar, Akash.
Proceedings of the ACM on Programming Languages.  3 (2019)  ICFP - p. 1-28 , 2019
Link: https://doi.org/10.1145/..
 
?
5

Quantitative Mitigation of Timing Side Channels:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Tizpaz-Niari, Saeid ; Černý, Pavol ; Trivedi, Ashutosh - p. 140-160 , 2019
Link: https://doi.org/10.1007/..
 
?
6

Sequential programming for replicated data stores:

Lewchenko, Nicholas V. ; Radhakrishna, Arjun ; Gaonkar, Akash.
Proceedings of the ACM on Programming Languages.  3 (2019)  ICFP - p. 1-28 , 2019
Link: https://dl.acm.org/doi/1..
 
?
7

Type-Directed Bounding of Collections in Reactive Programs:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Lu, Tianhan ; Černý, Pavol ; Chang, Bor-Yuh Evan. - p. 275-296 , 2019
Link: https://doi.org/10.1007/..
 
?
8

DroidStar : callback typestates for Android classes:

, In: Proceedings of the 40th International Conference on Software Engineering,
Radhakrishna, Arjun ; Lewchenko, Nicholas V. ; Meier, Shawn... - p. 1160-1170 , 2018
Link: https://dl.acm.org/doi/1..
 
?
9

Optimizing horn solvers for network repair:

, In: Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design,
Hojjat, Hossein ; Rümmer, Philipp ; McClurg, Jedidiah.. - p. 73-80 , 2016
Link: https://dl.acm.org/doi/1..
 
?
10

Event-driven network programming:

McClurg, Jedidiah ; Hojjat, Hossein ; Foster, Nate.
ACM SIGPLAN Notices.  51 (2016)  6 - p. 369-385 , 2016
Link: https://doi.org/10.1145/..
 
?
11

Program synthesis for networks:

, In: Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design,
Černý, Pavol - p. 7 ff. , 2016
Link: https://dl.acm.org/doi/1..
 
?
12

From non-preemptive to preemptive scheduling using synchron..:

Černý, Pavol ; Clarke, Edmund M. ; Henzinger, Thomas A....
Formal Methods in System Design.  50 (2016)  2-3 - p. 97-139 , 2016
Link: https://doi.org/10.1007/..
 
?
13

Event-driven network programming:

, In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation,
McClurg, Jedidiah ; Hojjat, Hossein ; Foster, Nate. - p. 369-385 , 2016
Link: https://dl.acm.org/doi/1..
 
?
14

Performance search engine driven by prior knowledge of opti..:

, In: Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming,
Kim, Youngsung ; Černý, Pavol ; Dennis, John - p. 25-30 , 2015
Link: https://dl.acm.org/doi/1..
 
?
15

Efficient synthesis of network updates:

, In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation,
McClurg, Jedidiah ; Hojjat, Hossein ; Černý, Pavol. - p. 196-207 , 2015
Link: https://dl.acm.org/doi/1..
 
1-15