SlideShare ist ein Scribd-Unternehmen logo

isca-preso

•
•
H
hangal
Technologie
1 von 26
Downloaden Sie, um offline zu lesen
TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model Sudheendra Hangal†, Durgam Vahia‡, Chaiyasit Manovit‡, Joseph Lu‡ and Sridhar Narayanan‡ tsotool@sun.com ISCA-2004 † Sun Microsystems India Pvt. Ltd., Bangalore (India) ‡ Sun Microsystems, Sunnyvale, CA (USA) P1
Goal: Find the hard memory-related bugs in Sun's multiprocessor systems P2
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso

Empfohlen

Cic Conference 28 June 2008
Cic Conference 28 June 2008Cic Conference 28 June 2008
Cic Conference 28 June 2008tompaper
 
PresentacióN1
PresentacióN1PresentacióN1
PresentacióN1still.renato
 
Calendário-2008
Calendário-2008Calendário-2008
Calendário-2008jussara cavalcanti
 
Animales 3
Animales 3Animales 3
Animales 3Juan Carlos Fernandez
 
Soy Maestra
Soy MaestraSoy Maestra
Soy Maestraficalmo
 
International Business
International BusinessInternational Business
International BusinessAllen Johnston
 
Dsc 0106
Dsc 0106Dsc 0106
Dsc 0106guest704f9b
 
Por que NewsGames?
Por que NewsGames?Por que NewsGames?
Por que NewsGames?Geraldo Seabhra
 

Empfohlen

Cic Conference 28 June 2008
Cic Conference 28 June 2008Cic Conference 28 June 2008
Cic Conference 28 June 2008tompaper
 
PresentacióN1
PresentacióN1PresentacióN1
PresentacióN1still.renato
 
Calendário-2008
Calendário-2008Calendário-2008
Calendário-2008jussara cavalcanti
 
Animales 3
Animales 3Animales 3
Animales 3Juan Carlos Fernandez
 
Soy Maestra
Soy MaestraSoy Maestra
Soy Maestraficalmo
 
International Business
International BusinessInternational Business
International BusinessAllen Johnston
 
Dsc 0106
Dsc 0106Dsc 0106
Dsc 0106guest704f9b
 
Por que NewsGames?
Por que NewsGames?Por que NewsGames?
Por que NewsGames?Geraldo Seabhra
 
El príncipe de un mundo pequeñito
El príncipe de un mundo pequeñitoEl príncipe de un mundo pequeñito
El príncipe de un mundo pequeñitoekaina
 
Hacemos la historia cada día...
Hacemos la historia cada día...Hacemos la historia cada día...
Hacemos la historia cada día...guestfbffea
 
As Ferramentas Web2
As Ferramentas Web2As Ferramentas Web2
As Ferramentas Web2ticegrupo1
 
Proyecto De Colonias Avemarianas
Proyecto De Colonias AvemarianasProyecto De Colonias Avemarianas
Proyecto De Colonias Avemarianasguest339489
 
SeñAles
SeñAlesSeñAles
SeñAlesMartintin
 
Espero
EsperoEspero
EsperoMartintin
 
Tutorial Para Crear Un Blog
Tutorial Para Crear Un BlogTutorial Para Crear Un Blog
Tutorial Para Crear Un Blogkinder2008
 
Qué Es La InformacióN
Qué Es La InformacióNQué Es La InformacióN
Qué Es La InformacióNBAILACHIDO
 
Esoterische Programmiersprachen nummer 2
Esoterische Programmiersprachen nummer 2Esoterische Programmiersprachen nummer 2
Esoterische Programmiersprachen nummer 2guestad8342
 
As Amigas Curam
As Amigas CuramAs Amigas Curam
As Amigas CuramMensagens e Poemas
 
Libguide
LibguideLibguide
Libguidegray_massey
 
Ecoblancosinlinea
EcoblancosinlineaEcoblancosinlinea
EcoblancosinlineaCristian Castro
 
St Ldp 7224d Issue1 Hebrew
St Ldp 7224d Issue1 HebrewSt Ldp 7224d Issue1 Hebrew
St Ldp 7224d Issue1 HebrewPasha Kagan
 
As Dores Da Alma
As Dores Da AlmaAs Dores Da Alma
As Dores Da AlmaBeatris Lopes
 
vida sana
vida sanavida sana
vida sanastill.renato
 
Laabuelita
LaabuelitaLaabuelita
LaabuelitaTop
 
Tsmc B Lanc Logo N Oir
Tsmc B Lanc Logo N OirTsmc B Lanc Logo N Oir
Tsmc B Lanc Logo N Oirguest704f9b
 
1149644596
11496445961149644596
1149644596guest704f9b
 
Ancient Egypt
Ancient EgyptAncient Egypt
Ancient Egyptyapsmail
 
Machine Learning
Machine LearningMachine Learning
Machine Learningbutest
 
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...Edward L S Safford III
 
Securing online password guessing attack
Securing online password guessing attackSecuring online password guessing attack
Securing online password guessing attackSaurav Sinha
 

Weitere ähnliche Inhalte

Andere mochten auch

El príncipe de un mundo pequeñito
El príncipe de un mundo pequeñitoEl príncipe de un mundo pequeñito
El príncipe de un mundo pequeñitoekaina
 
Hacemos la historia cada día...
Hacemos la historia cada día...Hacemos la historia cada día...
Hacemos la historia cada día...guestfbffea
 
As Ferramentas Web2
As Ferramentas Web2As Ferramentas Web2
As Ferramentas Web2ticegrupo1
 
Proyecto De Colonias Avemarianas
Proyecto De Colonias AvemarianasProyecto De Colonias Avemarianas
Proyecto De Colonias Avemarianasguest339489
 
Tutorial Para Crear Un Blog
Tutorial Para Crear Un BlogTutorial Para Crear Un Blog
Tutorial Para Crear Un Blogkinder2008
 
Qué Es La InformacióN
Qué Es La InformacióNQué Es La InformacióN
Qué Es La InformacióNBAILACHIDO
 
Esoterische Programmiersprachen nummer 2
Esoterische Programmiersprachen nummer 2Esoterische Programmiersprachen nummer 2
Esoterische Programmiersprachen nummer 2guestad8342
 
St Ldp 7224d Issue1 Hebrew
St Ldp 7224d Issue1 HebrewSt Ldp 7224d Issue1 Hebrew
St Ldp 7224d Issue1 HebrewPasha Kagan
 
Laabuelita
LaabuelitaLaabuelita
LaabuelitaTop
 
Tsmc B Lanc Logo N Oir
Tsmc B Lanc Logo N OirTsmc B Lanc Logo N Oir
Tsmc B Lanc Logo N Oirguest704f9b
 
Ancient Egypt
Ancient EgyptAncient Egypt
Ancient Egyptyapsmail
 

Andere mochten auch (19)

El príncipe de un mundo pequeñito
El príncipe de un mundo pequeñitoEl príncipe de un mundo pequeñito
El príncipe de un mundo pequeñito
 
Hacemos la historia cada día...
Hacemos la historia cada día...Hacemos la historia cada día...
Hacemos la historia cada día...
 
As Ferramentas Web2
As Ferramentas Web2As Ferramentas Web2
As Ferramentas Web2
 
Proyecto De Colonias Avemarianas
Proyecto De Colonias AvemarianasProyecto De Colonias Avemarianas
Proyecto De Colonias Avemarianas
 
SeñAles
SeñAlesSeñAles
SeñAles
 
Espero
EsperoEspero
Espero
 
Tutorial Para Crear Un Blog
Tutorial Para Crear Un BlogTutorial Para Crear Un Blog
Tutorial Para Crear Un Blog
 
Qué Es La InformacióN
Qué Es La InformacióNQué Es La InformacióN
Qué Es La InformacióN
 
Esoterische Programmiersprachen nummer 2
Esoterische Programmiersprachen nummer 2Esoterische Programmiersprachen nummer 2
Esoterische Programmiersprachen nummer 2
 
As Amigas Curam
As Amigas CuramAs Amigas Curam
As Amigas Curam
 
Libguide
LibguideLibguide
Libguide
 
Ecoblancosinlinea
EcoblancosinlineaEcoblancosinlinea
Ecoblancosinlinea
 
St Ldp 7224d Issue1 Hebrew
St Ldp 7224d Issue1 HebrewSt Ldp 7224d Issue1 Hebrew
St Ldp 7224d Issue1 Hebrew
 
As Dores Da Alma
As Dores Da AlmaAs Dores Da Alma
As Dores Da Alma
 
vida sana
vida sanavida sana
vida sana
 
Laabuelita
LaabuelitaLaabuelita
Laabuelita
 
Tsmc B Lanc Logo N Oir
Tsmc B Lanc Logo N OirTsmc B Lanc Logo N Oir
Tsmc B Lanc Logo N Oir
 
1149644596
11496445961149644596
1149644596
 
Ancient Egypt
Ancient EgyptAncient Egypt
Ancient Egypt
 

Ähnlich wie isca-preso

Machine Learning
Machine LearningMachine Learning
Machine Learningbutest
 
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...Edward L S Safford III
 
Securing online password guessing attack
Securing online password guessing attackSecuring online password guessing attack
Securing online password guessing attackSaurav Sinha
 
Cyber Physical Systems – Collaborating Systems of Systems
Cyber Physical Systems – Collaborating Systems of SystemsCyber Physical Systems – Collaborating Systems of Systems
Cyber Physical Systems – Collaborating Systems of SystemsJoachim Schlosser
 
Defenses against large scale online password guessing attacks by using persu...
Defenses against large scale online password guessing attacks by using persu...Defenses against large scale online password guessing attacks by using persu...
Defenses against large scale online password guessing attacks by using persu...AbhilashPasupula
 
Human/User-Centric Security
Human/User-Centric SecurityHuman/User-Centric Security
Human/User-Centric SecurityShujun Li
 
Sun Microsystems Puppet Case Study
Sun Microsystems Puppet Case StudySun Microsystems Puppet Case Study
Sun Microsystems Puppet Case StudyPuppet
 
Machine learning_ Replicating Human Brain
Machine learning_ Replicating Human BrainMachine learning_ Replicating Human Brain
Machine learning_ Replicating Human BrainNishant Jain
 
10 tips I wish I had known before I started a Data Journey
10 tips I wish I had known before I started a Data Journey10 tips I wish I had known before I started a Data Journey
10 tips I wish I had known before I started a Data JourneyCarlos Bort
 
Important keyword to remember
Important keyword to rememberImportant keyword to remember
Important keyword to rememberIszamli Jailani
 

Ähnlich wie isca-preso (13)

Machine Learning
Machine LearningMachine Learning
Machine Learning
 
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...
 
Securing online password guessing attack
Securing online password guessing attackSecuring online password guessing attack
Securing online password guessing attack
 
Cyber Physical Systems – Collaborating Systems of Systems
Cyber Physical Systems – Collaborating Systems of SystemsCyber Physical Systems – Collaborating Systems of Systems
Cyber Physical Systems – Collaborating Systems of Systems
 
Defenses against large scale online password guessing attacks by using persu...
Defenses against large scale online password guessing attacks by using persu...Defenses against large scale online password guessing attacks by using persu...
Defenses against large scale online password guessing attacks by using persu...
 
Human/User-Centric Security
Human/User-Centric SecurityHuman/User-Centric Security
Human/User-Centric Security
 
Sun Microsystems Puppet Case Study
Sun Microsystems Puppet Case StudySun Microsystems Puppet Case Study
Sun Microsystems Puppet Case Study
 
Isys20261 lecture 14
Isys20261 lecture 14Isys20261 lecture 14
Isys20261 lecture 14
 
Machine learning_ Replicating Human Brain
Machine learning_ Replicating Human BrainMachine learning_ Replicating Human Brain
Machine learning_ Replicating Human Brain
 
10 tips I wish I had known before I started a Data Journey
10 tips I wish I had known before I started a Data Journey10 tips I wish I had known before I started a Data Journey
10 tips I wish I had known before I started a Data Journey
 
01intro
01intro01intro
01intro
 
Important keyword to remember
Important keyword to rememberImportant keyword to remember
Important keyword to remember
 
ML.pdf
ML.pdfML.pdf
ML.pdf
 

Mehr von hangal

Maclean.pptx
Maclean.pptxMaclean.pptx
Maclean.pptxhangal
 
Maclean.pptx
Maclean.pptxMaclean.pptx
Maclean.pptxhangal
 
Maclean.pptx
Maclean.pptxMaclean.pptx
Maclean.pptxhangal
 
Unifi
Unifi Unifi
Unifi hangal
 
Dunbar
DunbarDunbar
Dunbarhangal
 
DIDUCE: ICSE-2002 presentation
DIDUCE: ICSE-2002 presentationDIDUCE: ICSE-2002 presentation
DIDUCE: ICSE-2002 presentationhangal
 
IODINE - DAC presentation
IODINE - DAC presentationIODINE - DAC presentation
IODINE - DAC presentationhangal
 
TSOtool - ISCA presentation
TSOtool - ISCA presentationTSOtool - ISCA presentation
TSOtool - ISCA presentationhangal
 

Mehr von hangal (8)

Maclean.pptx
Maclean.pptxMaclean.pptx
Maclean.pptx
 
Maclean.pptx
Maclean.pptxMaclean.pptx
Maclean.pptx
 
Maclean.pptx
Maclean.pptxMaclean.pptx
Maclean.pptx
 
Unifi
Unifi Unifi
Unifi
 
Dunbar
DunbarDunbar
Dunbar
 
DIDUCE: ICSE-2002 presentation
DIDUCE: ICSE-2002 presentationDIDUCE: ICSE-2002 presentation
DIDUCE: ICSE-2002 presentation
 
IODINE - DAC presentation
IODINE - DAC presentationIODINE - DAC presentation
IODINE - DAC presentation
 
TSOtool - ISCA presentation
TSOtool - ISCA presentationTSOtool - ISCA presentation
TSOtool - ISCA presentation
 

Kürzlich hochgeladen

Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptx
Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptxPasskey Providers and Enabling Portability: FIDO Paris Seminar.pptx
Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptxLoriGlavin3
 
A Framework for Development in the AI Age
A Framework for Development in the AI AgeA Framework for Development in the AI Age
A Framework for Development in the AI AgeCprime
 
A Journey Into the Emotions of Software Developers
A Journey Into the Emotions of Software DevelopersA Journey Into the Emotions of Software Developers
A Journey Into the Emotions of Software DevelopersNicole Novielli
 
Decarbonising Buildings: Making a net-zero built environment a reality
Decarbonising Buildings: Making a net-zero built environment a realityDecarbonising Buildings: Making a net-zero built environment a reality
Decarbonising Buildings: Making a net-zero built environment a realityIES VE
 
A Deep Dive on Passkeys: FIDO Paris Seminar.pptx
A Deep Dive on Passkeys: FIDO Paris Seminar.pptxA Deep Dive on Passkeys: FIDO Paris Seminar.pptx
A Deep Dive on Passkeys: FIDO Paris Seminar.pptxLoriGlavin3
 
TeamStation AI System Report LATAM IT Salaries 2024
TeamStation AI System Report LATAM IT Salaries 2024TeamStation AI System Report LATAM IT Salaries 2024
TeamStation AI System Report LATAM IT Salaries 2024Lonnie McRorey
 
Time Series Foundation Models - current state and future directions
Time Series Foundation Models - current state and future directionsTime Series Foundation Models - current state and future directions
Time Series Foundation Models - current state and future directionsNathaniel Shimoni
 
Sample pptx for embedding into website for demo
Sample pptx for embedding into website for demoSample pptx for embedding into website for demo
Sample pptx for embedding into website for demoHarshalMandlekar2
 
Data governance with Unity Catalog Presentation
Data governance with Unity Catalog PresentationData governance with Unity Catalog Presentation
Data governance with Unity Catalog PresentationKnoldus Inc.
 
Moving Beyond Passwords: FIDO Paris Seminar.pdf
Moving Beyond Passwords: FIDO Paris Seminar.pdfMoving Beyond Passwords: FIDO Paris Seminar.pdf
Moving Beyond Passwords: FIDO Paris Seminar.pdfLoriGlavin3
 
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024BookNet Canada
 
How to write a Business Continuity Plan
How to write a Business Continuity PlanHow to write a Business Continuity Plan
How to write a Business Continuity PlanDatabarracks
 
Arizona Broadband Policy Past, Present, and Future Presentation 3/25/24
Arizona Broadband Policy Past, Present, and Future Presentation 3/25/24Arizona Broadband Policy Past, Present, and Future Presentation 3/25/24
Arizona Broadband Policy Past, Present, and Future Presentation 3/25/24Mark Goldstein
 
The Ultimate Guide to Choosing WordPress Pros and Cons
The Ultimate Guide to Choosing WordPress Pros and ConsThe Ultimate Guide to Choosing WordPress Pros and Cons
The Ultimate Guide to Choosing WordPress Pros and ConsPixlogix Infotech
 
[Webinar] SpiraTest - Setting New Standards in Quality Assurance
[Webinar] SpiraTest - Setting New Standards in Quality Assurance[Webinar] SpiraTest - Setting New Standards in Quality Assurance
[Webinar] SpiraTest - Setting New Standards in Quality AssuranceInflectra
 
How to Effectively Monitor SD-WAN and SASE Environments with ThousandEyes
How to Effectively Monitor SD-WAN and SASE Environments with ThousandEyesHow to Effectively Monitor SD-WAN and SASE Environments with ThousandEyes
How to Effectively Monitor SD-WAN and SASE Environments with ThousandEyesThousandEyes
 
(How to Program) Paul Deitel, Harvey Deitel-Java How to Program, Early Object...
(How to Program) Paul Deitel, Harvey Deitel-Java How to Program, Early Object...(How to Program) Paul Deitel, Harvey Deitel-Java How to Program, Early Object...
(How to Program) Paul Deitel, Harvey Deitel-Java How to Program, Early Object...AliaaTarek5
 
The Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptx
The Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptxThe Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptx
The Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptxLoriGlavin3
 
Long journey of Ruby standard library at RubyConf AU 2024
Long journey of Ruby standard library at RubyConf AU 2024Long journey of Ruby standard library at RubyConf AU 2024
Long journey of Ruby standard library at RubyConf AU 2024Hiroshi SHIBATA
 
Take control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test SuiteTake control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test SuiteDianaGray10
 

Kürzlich hochgeladen (20)

Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptx
Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptxPasskey Providers and Enabling Portability: FIDO Paris Seminar.pptx
Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptx
 
A Framework for Development in the AI Age
A Framework for Development in the AI AgeA Framework for Development in the AI Age
A Framework for Development in the AI Age
 
A Journey Into the Emotions of Software Developers
A Journey Into the Emotions of Software DevelopersA Journey Into the Emotions of Software Developers
A Journey Into the Emotions of Software Developers
 
Decarbonising Buildings: Making a net-zero built environment a reality
Decarbonising Buildings: Making a net-zero built environment a realityDecarbonising Buildings: Making a net-zero built environment a reality
Decarbonising Buildings: Making a net-zero built environment a reality
 
A Deep Dive on Passkeys: FIDO Paris Seminar.pptx
A Deep Dive on Passkeys: FIDO Paris Seminar.pptxA Deep Dive on Passkeys: FIDO Paris Seminar.pptx
A Deep Dive on Passkeys: FIDO Paris Seminar.pptx
 
TeamStation AI System Report LATAM IT Salaries 2024
TeamStation AI System Report LATAM IT Salaries 2024TeamStation AI System Report LATAM IT Salaries 2024
TeamStation AI System Report LATAM IT Salaries 2024
 
Time Series Foundation Models - current state and future directions
Time Series Foundation Models - current state and future directionsTime Series Foundation Models - current state and future directions
Time Series Foundation Models - current state and future directions
 
Sample pptx for embedding into website for demo
Sample pptx for embedding into website for demoSample pptx for embedding into website for demo
Sample pptx for embedding into website for demo
 
Data governance with Unity Catalog Presentation
Data governance with Unity Catalog PresentationData governance with Unity Catalog Presentation
Data governance with Unity Catalog Presentation
 
Moving Beyond Passwords: FIDO Paris Seminar.pdf
Moving Beyond Passwords: FIDO Paris Seminar.pdfMoving Beyond Passwords: FIDO Paris Seminar.pdf
Moving Beyond Passwords: FIDO Paris Seminar.pdf
 
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
 
How to write a Business Continuity Plan
How to write a Business Continuity PlanHow to write a Business Continuity Plan
How to write a Business Continuity Plan
 
Arizona Broadband Policy Past, Present, and Future Presentation 3/25/24
Arizona Broadband Policy Past, Present, and Future Presentation 3/25/24Arizona Broadband Policy Past, Present, and Future Presentation 3/25/24
Arizona Broadband Policy Past, Present, and Future Presentation 3/25/24
 
The Ultimate Guide to Choosing WordPress Pros and Cons
The Ultimate Guide to Choosing WordPress Pros and ConsThe Ultimate Guide to Choosing WordPress Pros and Cons
The Ultimate Guide to Choosing WordPress Pros and Cons
 
[Webinar] SpiraTest - Setting New Standards in Quality Assurance
[Webinar] SpiraTest - Setting New Standards in Quality Assurance[Webinar] SpiraTest - Setting New Standards in Quality Assurance
[Webinar] SpiraTest - Setting New Standards in Quality Assurance
 
How to Effectively Monitor SD-WAN and SASE Environments with ThousandEyes
How to Effectively Monitor SD-WAN and SASE Environments with ThousandEyesHow to Effectively Monitor SD-WAN and SASE Environments with ThousandEyes
How to Effectively Monitor SD-WAN and SASE Environments with ThousandEyes
 
(How to Program) Paul Deitel, Harvey Deitel-Java How to Program, Early Object...
(How to Program) Paul Deitel, Harvey Deitel-Java How to Program, Early Object...(How to Program) Paul Deitel, Harvey Deitel-Java How to Program, Early Object...
(How to Program) Paul Deitel, Harvey Deitel-Java How to Program, Early Object...
 
The Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptx
The Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptxThe Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptx
The Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptx
 
Long journey of Ruby standard library at RubyConf AU 2024
Long journey of Ruby standard library at RubyConf AU 2024Long journey of Ruby standard library at RubyConf AU 2024
Long journey of Ruby standard library at RubyConf AU 2024
 
Take control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test SuiteTake control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test Suite
 

isca-preso

  • 1. TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model Sudheendra Hangal†, Durgam Vahia‡, Chaiyasit Manovit‡, Joseph Lu‡ and Sridhar Narayanan‡ tsotool@sun.com ISCA-2004 † Sun Microsystems India Pvt. Ltd., Bangalore (India) ‡ Sun Microsystems, Sunnyvale, CA (USA) P1
  • 2. Goal: Find the hard memory-related bugs in Sun's multiprocessor systems P2