“Cristiano is a focused worker, whose discipline and determination are inspiring to his colleagues. He is always striving to not leave anything unfinished, paying attention to details without leaving the big picture behind. He is smart and has a good sense of humor, is adaptive and works extremelly well in teamwork.”
Cristiano Pereira
Santa Clara, California, United States
363 followers
360 connections
Santa Clara, California, United States
363 followers
360 connections
About
Extensive R&D experience on HW/SW co-design, binary translation/instrumentation, program…
Activity
-
I congratulate Congress for voting to approve funding for the CHIPS Act. This is a critical step to support the entire U.S. semiconductor industry…
I congratulate Congress for voting to approve funding for the CHIPS Act. This is a critical step to support the entire U.S. semiconductor industry…
Liked by Cristiano Pereira
-
“Minha vida profissional foi toda construída na UFMG, no ICEx e no DCC, desde os tempos de estudante”, diz professor do DCC/UFMG Saiba mais:…
“Minha vida profissional foi toda construída na UFMG, no ICEx e no DCC, desde os tempos de estudante”, diz professor do DCC/UFMG Saiba mais:…
Liked by Cristiano Pereira
-
Congratulations to Associate Professor Daniela Seabra Oliveira, currently serving as an NSF RINGS program director, recent winner of 2022 NSF…
Congratulations to Associate Professor Daniela Seabra Oliveira, currently serving as an NSF RINGS program director, recent winner of 2022 NSF…
Liked by Cristiano Pereira
Education
Publications
-
AsyncClock: Scalable Inference of Asynchronous Event Causality
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems
-
Failure sketching: a technique for automated root cause diagnosis of in-production failures
Proceedings of the 25th Symposium on Operating Systems Principles
-
Failure sketches: A better way to debug
15th Workshop on Hot Topics in Operating Systems, HotOS XV
-
Race detection for event-driven mobile applications
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
-
DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing
Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization
-
Concurrent predicates: A debugging technique for every parallel programmer.
Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques
-
Selective mutation testing for concurrent code
Proceedings of the 2013 International Symposium on Software Testing and Analysis
-
QuickRec: prototyping an intel architecture extension for record and replay of multithreaded programs
Proceedings of the 40th Annual International Symposium on Computer Architecture
-
Cyrus: Unintrusive application-level record-replay for replay parallelism
Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems
-
Maple: A coverage-driven testing tool for multithreaded programs
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
-
PinADX: an interface for customizable debugging with dynamic instrumentation
Proceedings of the Tenth International Symposium on Code Generation and Optimization
-
Virtues and obstacles of hardware-assisted multiprocessor execution replay
https://www.usenix.org/conference/hotpar-10/virtues-and-obstacles-hardware-assisted-multi-processor-execution-replay
-
Architecting a chunk-based memory race recorder in modern cmps
42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO)
-
Offline symbolic analysis for multi-processor execution replay
42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO)
-
Hardware and software approaches for deterministic multi-processor replay of concurrent programs
Intel® Technology Journal
-
Reproducible simulation of multi-threaded workloads for architecture design exploration
IEEE International Symposium on Workload Characterization
-
Reproducible User-level Simulation of Multi-threaded Workloads
UC San Diego Doctoral Dissertation
-
Recording shared memory dependencies for application-level replay debugging
Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
-
Dynamic phase analysis for cycle-close trace generation
Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
-
Automatic logging of operating system to guide application-level architecture simulation
SIGMETRICS '06/Performance '06 Proceedings of the joint international conference on Measurement and modeling of computer systems
-
Software profiling for deterministic replay debugging of user code
INTERNATIONAL CONFERENCE ON INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS, AND TECHNIQUES
-
Energy aware wireless systems with adaptive power-fidelity tradeoffs
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
-
Leakage aware dynamic voltage scaling for real-time embedded systems
Proceedings of the 41st annual Design Automation Conference
-
JADE: An embedded systems specification, code generation and optimization tool
Proceedings 13th Symposium on Integrated Circuits and Systems Design
-
Code generation and optimization for embedded systems specified in SDL
Federal University of Minas Gerais, Master Thesis
-
Coreracer: A practical memory race recorder for multicore x86 tso processors
2011 44th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO)
Patents
-
Methods and Systems to Identify and Reproduce Concurrency Violations in Multi-threaded Programs
Issued US US 20140115604 A1
Methods and systems to identify and reproduce concurrency violations in multi-threaded programs are disclosed. An example method disclosed herein comprises determining whether a condition is met and serializing an operation of a first thread of a multi-threaded program relative to an operation of a second thread of the multi-threaded program. The serialization of the operations of the first and second threads results in a concurrency violation or bug thereby causing the multi-threaded program…
Methods and systems to identify and reproduce concurrency violations in multi-threaded programs are disclosed. An example method disclosed herein comprises determining whether a condition is met and serializing an operation of a first thread of a multi-threaded program relative to an operation of a second thread of the multi-threaded program. The serialization of the operations of the first and second threads results in a concurrency violation or bug thereby causing the multi-threaded program to crash. In this way, the operations of the first and second threads of the multi-threaded program that are responsible for the concurrency violation are identified and can be revised to remove the bug.
Other inventors -
Languages
-
Portuguese
Native or bilingual proficiency
Recommendations received
1 person has recommended Cristiano
Join now to viewMore activity by Cristiano
-
Somos destaque na Exame! Acelerando forte rumo aos R$ 100 Milhões em 2022, somos 500 colaboradores na holding e conquistamos 55% de crescimento em…
Somos destaque na Exame! Acelerando forte rumo aos R$ 100 Milhões em 2022, somos 500 colaboradores na holding e conquistamos 55% de crescimento em…
Liked by Cristiano Pereira
-
I am thrilled and honored to be named an Intel Fellow today and grateful to my colleagues, collaborators, and mentors. Thank you #intel
I am thrilled and honored to be named an Intel Fellow today and grateful to my colleagues, collaborators, and mentors. Thank you #intel
Liked by Cristiano Pereira
-
Hoje comemoro 25 anos de Group Software! Nesse período experimentei conquistas que jamais imaginei que poderia alcançar... São mais de 10 mil…
Hoje comemoro 25 anos de Group Software! Nesse período experimentei conquistas que jamais imaginei que poderia alcançar... São mais de 10 mil…
Liked by Cristiano Pereira
-
Acabo de ver que a data na chamada está errada ! Na verdade é hoje... 15/9 Espero todos lá ! Obrigado pelo apoio Antonio Estrella Valeria Guerra…
Acabo de ver que a data na chamada está errada ! Na verdade é hoje... 15/9 Espero todos lá ! Obrigado pelo apoio Antonio Estrella Valeria Guerra…
Liked by Cristiano Pereira
-
Hoje participamos do Kick Off de Cloud Solutions da TIVIT liderado pelo Andre Frederico. Falamos sobre a evolução dos resultados alcançados no…
Hoje participamos do Kick Off de Cloud Solutions da TIVIT liderado pelo Andre Frederico. Falamos sobre a evolução dos resultados alcançados no…
Liked by Cristiano Pereira
Other similar profiles
Explore collaborative articles
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
Explore MoreOthers named Cristiano Pereira in United States
-
Cristiano Pereira
ProJect Manager
-
Cristiano Ricardo Pereira
Quality Coordinator | Supplier Quality Engineer | Leadership Team
-
Cristiano Pereira
--
-
Cristiano Novack Amaral Pereira
--
23 others named Cristiano Pereira in United States are on LinkedIn
See others named Cristiano Pereira