재정 지원 요구사항을 통해 공개된 자료 - George Candea자세히 알아보기
제공된 곳이 있음: 11
Failure sketching: A technique for automated root cause diagnosis of in-production failures
B Kasikci, B Schubert, C Pereira, G Pokam, G Candea
SOSP (ACM Symposium on Operating Systems Principles), 344-360, 2015
재정 지원 요구사항 정책: European Commission
Prototyping Symbolic Execution Engines for Interpreted Languages
S Bucur, G Candea, J Kinder
ASPLOS (International Conference on Architectural Support for Programming …, 2014
재정 지원 요구사항 정책: European Commission
High system-code security with low overhead
J Wagner, V Kuznetsov, G Candea, J Kinder
S&P (IEEE Symposium on Security and Privacy), 866-879, 2015
재정 지원 요구사항 정책: UK Engineering and Physical Sciences Research Council, European Commission
A formally verified NAT
A Zaostrovnykh, S Pirelli, L Pedrosa, K Argyraki, G Candea
SIGCOMM Conference, 141-154, 2017
재정 지원 요구사항 정책: Swiss National Science Foundation
Reconstructing core dumps
J Rößler, A Zeller, G Fraser, C Zamfir, G Candea
ICST (IEEE Intl. Conf. on Software Testing, Verification and Validation …, 2013
재정 지원 요구사항 정책: German Research Foundation
Verifying Software Network Functions with No Verification Expertise
A Zaostrovnykh, S Pirelli, R Iyer, M Rizzo, L Pedrosa, K Argyraki, ...
SOSP (ACM Symposium on Operating Systems Principles), 275-290, 2019
재정 지원 요구사항 정책: Swiss National Science Foundation
Efficient Tracing of Cold Code via Bias-Free Sampling
B Kasikci, T Ball, G Candea, J Erickson, M Musuvathi
USENIX Annual Technical Conference (USENIX ATC), 2014
재정 지원 요구사항 정책: European Commission
Automated classification of data races under both strong and weak memory models
B Kasikci, C Zamfir, G Candea
TOPLAS (ACM Transactions on Programming Languages and Systems) 37 (3), 1-44, 2015
재정 지원 요구사항 정책: European Commission
Lockout: Efficient testing for deadlock bugs
A Kheradmand, B Kasikci, G Candea
Workshop on Determinism and Correctness in Parallel Programming (WoDet), 2014
재정 지원 요구사항 정책: European Commission
Finding Trojan Message Vulnerabilities in Distributed Systems
R Banabic, R Guerraoui, G Candea
ASPLOS (International Conference on Architectural Support for Programming …, 2014
재정 지원 요구사항 정책: Swiss National Science Foundation
Failure sketches: A better way to debug
B Kasikci, C Pereira, G Pokam, B Schubert, M Musuvathi, G Candea
HotOS (15th Workshop on Hot Topics in Operating Systems), 2015
재정 지원 요구사항 정책: European Commission
발행인 및 자금 지원 정보는 컴퓨터 프로그램에서 자동으로 결정됩니다.