Shaz Qadeer: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Conflict exceptions

Lucia, Brandon, Ceze, Luis, Strauss, Karin, Qadeer, Shaz, Boehm, Hans-J.

Journal:

ACM SIGARCH Computer Architecture News

Year:

2010

Language:

english

File:

PDF, 549 KB

english, 2010

2

Predicate abstraction for software verification

Flanagan, Cormac, Qadeer, Shaz

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 239 KB

english, 2002

3

Unifying type checking and property checking for low-level code

Condit, Jeremy, Hackett, Brian, Lahiri, Shuvendu K., Qadeer, Shaz

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 300 KB

english, 2009

4

Runtime Refinement Checking of Concurrent Data Structures

Serdar Tasiran, Shaz Qadeer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 265 KB

english, 2005

5

Transactions for Software Model Checking

Cormac Flanagan, Shaz Qadeer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 214 KB

english, 2003

6

A low-level memory model and an accompanying reachability predicate

Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamarić

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 1.36 MB

english, 2009

7

Modular verification of multithreaded programs

Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 330 KB

english, 2005

8

Runtime verification of concurrency-specific correctness criteria

Shaz Qadeer, Serdar Tasiran

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 570 KB

english, 2012

9

Preface

Gopalakrishnan, Ganesh L., Qadeer, Shaz

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 98 KB

english, 2012

10

[Lecture Notes in Computer Science] Computer Aided Verification Volume 6806 || Using Coverage to Deploy Formal Verification in a Simulation World

Gopalakrishnan, Ganesh, Qadeer, Shaz

Year:

2011

Language:

english

File:

PDF, 239 KB

english, 2011

11

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 || Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications

Qadeer, Shaz, Tasiran, Serdar

Year:

2013

Language:

english

File:

PDF, 40 KB

english, 2013

12

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 || Path-Aware Time-Triggered Runtime Verification

Qadeer, Shaz, Tasiran, Serdar

Year:

2013

Language:

english

File:

PDF, 469 KB

english, 2013

13

[IEEE 2011 IEEE Symposium on Security and Privacy (SP) - Oakland, CA, USA (2011.05.22-2011.05.25)] 2011 IEEE Symposium on Security and Privacy - How to Shop for Free Online -- Security Analysis of Cashier-as-a-Service Based Web Stores

Wang, Rui, Chen, Shuo, Wang, XiaoFeng, Qadeer, Shaz

Year:

2011

Language:

english

File:

PDF, 786 KB

english, 2011

14

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 ||

Qadeer, Shaz, Tasiran, Serdar

Year:

2013

Language:

english

File:

PDF, 5.87 MB

english, 2013

15

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 || Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic

Qadeer, Shaz, Tasiran, Serdar

Year:

2013

Language:

english

File:

PDF, 283 KB

english, 2013

16

[Lecture Notes in Computer Science] Computer Aided Verification Volume 6806 || Bug-Assist: Assisting Fault Localization in ANSI-C Programs

Gopalakrishnan, Ganesh, Qadeer, Shaz

Year:

2011

Language:

english

File:

PDF, 254 KB

english, 2011

17

[IEEE 2012 ACM/IEEE 39th International Symposium on Computer Architecture (ISCA) - Portland, OR, USA (2012.06.9-2012.06.13)] 2012 39th Annual International Symposium on Computer Architecture (ISCA) - RADISH: Always-on sound and complete race detection in software and hardware

Devietti, Joseph, Wood, Benjamin P., Strauss, Karin, Ceze, Luis, Grossman, Dan, Qadeer, Shaz

Year:

2012

Language:

english

File:

PDF, 5.74 MB

english, 2012

18

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Deconstructing concurrency heisenbugs

Ball, Thomas, Burckhardt, Sebastian, de Halleux, Jonathan, Musuvathi, Madanlal, Qadeer, Shaz

Year:

2009

Language:

english

File:

PDF, 88 KB

english, 2009

19

Piranha

Barroso, Luiz André, Gharachorloo, Kourosh, McNamara, Robert, Nowatzyk, Andreas, Qadeer, Shaz, Sano, Barton, Smith, Scott, Stets, Robert, Verghese, Ben

Journal:

ACM SIGARCH Computer Architecture News

Year:

2000

Language:

english

File:

PDF, 187 KB

english, 2000

20

[ACM Press the ACM SIGPLAN 2003 conference - San Diego, California, USA (2003.06.09-2003.06.11)] Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03 - A type and effect system for atomicity

Flanagan, Cormac, Qadeer, Shaz

Year:

2003

Language:

english

File:

PDF, 260 KB

english, 2003

21

An assume-guarantee rule for checking simulation

Henzinger, Thomas A., Qadeer, Shaz, Rajamani, Sriram K., Tasiran, Serdar

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2002

Language:

english

File:

PDF, 173 KB

english, 2002

22

[Lecture Notes in Computer Science] Computer Aided Verification Volume 6806 || KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs

Gopalakrishnan, Ganesh, Qadeer, Shaz

Year:

2011

Language:

english

File:

PDF, 145 KB

english, 2011

23

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 || Scalable Dynamic Partial Order Reduction

Qadeer, Shaz, Tasiran, Serdar

Year:

2013

Language:

english

File:

PDF, 274 KB

english, 2013

24

[Lecture Notes in Computer Science] Computer Aided Verification Volume 6806 || Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP

Gopalakrishnan, Ganesh, Qadeer, Shaz

Year:

2011

Language:

english

File:

PDF, 377 KB

english, 2011

25

[Lecture Notes in Computer Science] Computer Aided Verification Volume 6806 || PRISM 4.0: Verification of Probabilistic Real-Time Systems

Gopalakrishnan, Ganesh, Qadeer, Shaz

Year:

2011

Language:

english

File:

PDF, 187 KB

english, 2011

26

Goldilocks

Elmas, Tayfun, Qadeer, Shaz, Tasiran, Serdar

Journal:

Communications of the ACM

Year:

2010

Language:

english

File:

PDF, 370 KB

english, 2010

27

The Design and Implementation of a Verification Technique for GPU Kernels

Betts, Adam, Chong, Nathan, Donaldson, Alastair F., Ketema, Jeroen, Qadeer, Shaz, Thomson, Paul, Wickerson, John

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2015

Language:

english

File:

PDF, 1.78 MB

english, 2015

28

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Goldilocks

Elmas, Tayfun, Qadeer, Shaz, Tasiran, Serdar

Year:

2007

Language:

english

File:

PDF, 321 KB

english, 2007

29

Iterative context bounding for systematic testing of multithreaded programs

Musuvathi, Madanlal, Qadeer, Shaz

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 324 KB

english, 2007

30

Types for atomicity

Flanagan, Cormac, Freund, Stephen N., Lifshin, Marina, Qadeer, Shaz

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2008

Language:

english

File:

PDF, 966 KB

english, 2008

31

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - A calculus of atomic actions

Elmas, Tayfun, Qadeer, Shaz, Tasiran, Serdar

Year:

2008

Language:

english

File:

PDF, 314 KB

english, 2008

32

[ACM Press the 7th Workshop - Chicago, Illinois (2009.07.19-2009.07.20)] Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 - An annotation assistant for interactive debugging of programs with common synchronization idioms

Elmas, Tayfun, Sezgin, Ali, Tasiran, Serdar, Qadeer, Shaz

Year:

2009

Language:

english

File:

PDF, 166 KB

english, 2009

33

[ACM Press the 37th annual international symposium - Saint-Malo, France (2010.06.19-2010.06.23)] Proceedings of the 37th annual international symposium on Computer architecture - ISCA '10 - Conflict exceptions

Lucia, Brandon, Ceze, Luis, Strauss, Karin, Qadeer, Shaz, Boehm, Hans-J.

Year:

2010

Language:

english

File:

PDF, 549 KB

english, 2010

34

[ACM Press the ACM international conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12 - GPUVerify

Betts, Adam, Chong, Nathan, Donaldson, Alastair, Qadeer, Shaz, Thomson, Paul

Year:

2012

Language:

english

File:

PDF, 901 KB

english, 2012

35

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - P

Desai, Ankush, Gupta, Vivek, Jackson, Ethan, Qadeer, Shaz, Rajamani, Sriram, Zufferey, Damien

Year:

2013

Language:

english

File:

PDF, 944 KB

english, 2013

36

P

Desai, Ankush, Gupta, Vivek, Jackson, Ethan, Qadeer, Shaz, Rajamani, Sriram, Zufferey, Damien

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 944 KB

english, 2013

37

[ACM Press the 2014 Joint International Workshop - San Jose, CA, USA (2014.07.22-2014.07.22)] Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, Debugging, and Analytics (PERTEA) - WODA+PERTEA 2014 - P: a domain-specific language for asynchronous event-driven programming (invited talk abstract)

Year:

2014

Language:

english

File:

PDF, 97 KB

english, 2014

38

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Summarizing procedures in concurrent programs

Qadeer, Shaz, Rajamani, Sriram K., Rehof, Jakob

Year:

2004

Language:

english

File:

PDF, 169 KB

english, 2004

39

Back to the future

Lahiri, Shuvendu, Qadeer, Shaz

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 376 KB

english, 2008

40

VYRD

Elmas, Tayfun, Tasiran, Serdar, Qadeer, Shaz

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 668 KB

english, 2005

41

Delay-bounded scheduling

Emmi, Michael, Qadeer, Shaz, Rakamarić, Zvonimir

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 741 KB

english, 2011

42

Exploiting purity for atomicity

Flanagan, Cormac, Freund, Stephen N., Qadeer, Shaz

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 136 KB

english, 2004

43

[ACM Press the 34th annual conference - Anaheim, California, United States (1997.06.09-1997.06.13)] Proceedings of the 34th annual conference on Design automation conference - DAC '97 - Formal verification of FIRE

Jang, Jae-Young, Qadeer, Shaz, Kaufmann, Matt, Pixley, Carl

Year:

1997

Language:

english

File:

PDF, 91 KB

english, 1997

44

[ACM Press the ACM SIGSOFT 20th International Symposium - Cary, North Carolina (2012.11.11-2012.11.16)] Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '12 - Asynchronous programs with prioritized task-buffers

Emmi, Michael, Lal, Akash, Qadeer, Shaz

Year:

2012

Language:

english

File:

PDF, 1.05 MB

english, 2012

45

[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - Powering the static driver verifier using corral

Lal, Akash, Qadeer, Shaz

Year:

2014

Language:

english

File:

PDF, 475 KB

english, 2014

46

[ACM Press the 27th annual international symposium - Vancouver, British Columbia, Canada (2000..-..)] Proceedings of the 27th annual international symposium on Computer architecture - ISCA '00 - Piranha

Barroso, Luiz André, Gharachorloo, Kourosh, McNamara, Robert, Nowatzyk, Andreas, Qadeer, Shaz, Sano, Barton, Smith, Scott, Stets, Robert, Verghese, Ben

Year:

2000

Language:

english

File:

PDF, 187 KB

english, 2000

47

[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - Predicate abstraction for software verification

Flanagan, Cormac, Qadeer, Shaz

Year:

2002

Language:

english

File:

PDF, 239 KB

english, 2002

48

Sequential optimization in the absence of global reset

Singhal, Vigyan, Pixley, Carl, Aziz, Adnan, Qadeer, Shaz, Brayton, Robert

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2003

Language:

english

File:

PDF, 293 KB

english, 2003

49

[ACM Press the ACM SIGPLAN 2004 conference - Washington DC, USA (2004.06.09-2004.06.11)] Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation - PLDI '04 - KISS

Qadeer, Shaz, Wu, Dinghao

Year:

2004

Language:

english

File:

PDF, 200 KB

english, 2004

50

[ACM Press the 2008 ACM SIGPLAN conference - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08 - Fair stateless model checking

Musuvathi, Madanlal, Qadeer, Shaz

Year:

2008

Language:

english

File:

PDF, 830 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски