Shaz Qadeer: search on Z-Library

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

Don't use scam websites

51

[ACM Press the 42nd ACM technical symposium - Dallas, TX, USA (2011.03.09-2011.03.12)] Proceedings of the 42nd ACM technical symposium on Computer science education - SIGCSE '11 - Practical parallel and concurrent programming

Sadowski, Caitlin, Ball, Thomas, Bishop, Judith, Burckhardt, Sebastian, Gopalakrishnan, Ganesh, Mayo, Joseph, Musuvathi, Madanlal, Qadeer, Shaz, Toub, Stephen

Year:

2011

Language:

english

File:

PDF, 543 KB

english, 2011

52

[ACM Press the 2004 ACM SIGSOFT international symposium - Boston, Massachusetts, USA (2004.07.11-2004.07.14)] Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 - Exploiting purity for atomicity

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

Year:

2004

Language:

english

File:

PDF, 136 KB

english, 2004

53

[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 - Iterative context bounding for systematic testing of multithreaded programs

Musuvathi, Madanlal, Qadeer, Shaz

Year:

2007

Language:

english

File:

PDF, 324 KB

english, 2007

54

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs

Lal, Akash, Qadeer, Shaz

Year:

2015

Language:

english

File:

PDF, 1.32 MB

english, 2015

55

[ACM Press the 2005 ACM SIGPLAN conference - Chicago, IL, USA (2005.06.12-2005.06.15)] Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI '05 - VYRD

Elmas, Tayfun, Tasiran, Serdar, Qadeer, Shaz

Year:

2005

Language:

english

File:

PDF, 668 KB

english, 2005

56

[IEEE 2015 IEEE Symposium on Security and Privacy (SP) - San Jose, CA, USA (2015.5.17-2015.5.21)] 2015 IEEE Symposium on Security and Privacy - Securing Multiparty Online Services Via Certification of Symbolic Transactions

Chen, Eric Y., Chen, Shuo, Qadeer, Shaz, Wang, Rui

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

57

[ACM Press the 2013 ACM SIGPLAN international conference - Indianapolis, Indiana, USA (2013.10.29-2013.10.31)] Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - OOPSLA '13 - Barrier invariants

Chong, Nathan, Donaldson, Alastair F., Kelly, Paul H.J., Ketema, Jeroen, Qadeer, Shaz

Year:

2013

Language:

english

File:

PDF, 1015 KB

english, 2013

58

[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 - Unifying type checking and property checking for low-level code

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

Year:

2008

Language:

english

File:

PDF, 300 KB

english, 2008

59

[ACM Press the 5th ACM workshop - Austin, Texas, USA (2011.01.29-2011.01.29)] Proceedings of the 5th ACM workshop on Programming languages meets program verification - PLPV '11 - Linear maps

Lahiri, Shuvendu K., Qadeer, Shaz, Walker, David

Year:

2011

Language:

english

File:

PDF, 519 KB

english, 2011

60

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Delay-bounded scheduling

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

Year:

2011

Language:

english

File:

PDF, 741 KB

english, 2011

61

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Back to the future

Lahiri, Shuvendu, Qadeer, Shaz

Year:

2008

Language:

english

File:

PDF, 376 KB

english, 2008

62

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - A program transformation for faster goal-directed search

Lai, Akash, Qadeer, Shaz

Year:

2014

Language:

english

File:

PDF, 1.58 MB

english, 2014

63

RADISH

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

Journal:

ACM SIGARCH Computer Architecture News

Year:

2012

Language:

english

File:

PDF, 5.78 MB

english, 2012

64

Summarizing procedures in concurrent programs

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

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 169 KB

english, 2004

65

GPUVerify

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

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 901 KB

english, 2012

66

A type and effect system for atomicity

Flanagan, Cormac, Qadeer, Shaz

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 260 KB

english, 2003

67

Fair stateless model checking

Musuvathi, Madanlal, Qadeer, Shaz

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 830 KB

english, 2008

68

Barrier invariants

Chong, Nathan, Donaldson, Alastair F., Kelly, Paul H.J., Ketema, Jeroen, Qadeer, Shaz

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 1015 KB

english, 2013

69

[ACM Press the 2015 10th Joint Meeting - Bergamo, Italy (2015.08.30-2015.09.04)] Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - Systematic testing of asynchronous reactive systems

Desai, Ankush, Qadeer, Shaz, Seshia, Sanjit A.

Year:

2015

Language:

english

File:

PDF, 1.24 MB

english, 2015

70

[IEEE 2016 IEEE Cybersecurity Development (SecDev) - Boston, MA, USA (2016.11.3-2016.11.4)] 2016 IEEE Cybersecurity Development (SecDev) - Self-Verifying Execution (Position Paper)

McCutchen, Matt, Song, Daniel, Chen, Shuo, Qadeer, Shaz

Year:

2016

Language:

english

File:

PDF, 302 KB

english, 2016

71

[ACM Press Conference record of the 33rd ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, USA (2006.01.11-2006.01.13)] Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 - Verifying properties of well-founded linked lists

Lahiri, Shuvendu K., Qadeer, Shaz

Year:

2006

Language:

english

File:

PDF, 176 KB

english, 2006

72

[ACM Press the 8th International Conference - Pittsburgh, Pennsylvania (2017.04.18-2017.04.20)] Proceedings of the 8th International Conference on Cyber-Physical Systems - ICCPS '17 - DRONA

Desai, Ankush, Saha, Indranil, Yang, Jianqiao, Qadeer, Shaz, Seshia, Sanjit A.

Year:

2017

Language:

english

File:

PDF, 1.08 MB

english, 2017

73

[IEEE 2017 Formal Methods in Computer-Aided Design (FMCAD) - Vienna (2017.10.2-2017.10.6)] 2017 Formal Methods in Computer Aided Design (FMCAD) - Lasso detection using partial-state caching

Mudduluru, Rashmi, Deligiannis, Pantazis, Desai, Ankush, Lal, Akash, Qadeer, Shaz

Year:

2017

Language:

english

File:

PDF, 182 KB

english, 2017

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Български