Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Omer Tripp

> Home > Persons

Person information

affiliation: Amazon Web Services, Santa Clara, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2014
[b1]
- view
  - electronic edition @ exlibrisgroup.com
  - no references & citations available
- export record
  dblp key:
  - phd/il/Tripp14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/il/Tripp14
Omer Tripp:
Incorporating data abstractions into concurrency control. Tel Aviv University, Israel, 2014

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BansalKT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BansalKT20
Kshitij Bansal, Eric Koskinen, Omer Tripp:
Synthesizing Precise and Useful Commutativity Conditions. J. Autom. Reason. 64(7): 1333-1359 (2020)
2019
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/CortesiT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/CortesiT19
Agostino Cortesi, Omer Tripp:
Introduction to the special issue: SAAP-2017 (Static Analysis of Android Apps: Security and Privacy). J. Comput. Lang. 52: 25 (2019)
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ZhengGSTBDZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ZhengGSTBDZ17
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang:
Z3str2: an efficient solver for strings, regular expressions, and length constraints. Formal Methods Syst. Des. 50(2-3): 249-288 (2017)
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/TateishiPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/TateishiPT13
Takaaki Tateishi, Marco Pistoia, Omer Tripp:
Path- and index-sensitive string analysis based on monadic second-order logic. ACM Trans. Softw. Eng. Methodol. 22(4): 33:1-33:33 (2013)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LiblitLMMPPSTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LiblitLMMPPSTV23
Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser:
Shifting Left for Early Detection of Machine-Learning Bugs. FM 2023: 584-597
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LuoMTSZS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LuoMTSZS23
Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf, Qiang Zhou, Daniel Sanchez:
Long-term Static Analysis Rule Quality Monitoring Using True Negatives. ICSE-SEIP 2023: 315-326
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/EffendiCMNT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/EffendiCMNT23
Sedick Baker Effendi, Berk Çirisci, Rajdeep Mukherjee, Hoan Anh Nguyen, Omer Tripp:
A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes. ICSE-SEIP 2023: 327-339
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LiblitLMT023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LiblitLMT023
Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang:
User-Assisted Code Query Optimization. SOAP@PLDI 2023: 40-46
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BanerjeeCEFHLLP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BanerjeeCEFHLLP23
Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nicolás Rosner, Aritra Sengupta, Omer Tripp, Jingbo Wang:
Compositional Taint Analysis for Enforcing Security Policies at Scale. ESEC/SIGSOFT FSE 2023: 1985-1996
2022
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/MukherjeeTLW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/MukherjeeTLW22
Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson:
Static Analysis for AWS Best Practices in Python Code. ECOOP 2022: 14:1-14:28
2021
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/LyuVHT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/LyuVHT21
Yingjun Lyu, Sasha Volokh, William G. J. Halfond, Omer Tripp:
SAND: a static analysis approach for detecting SQL antipatterns. ISSTA 2021: 270-282
2018
[c44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BansalKT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BansalKT18
Kshitij Bansal, Eric Koskinen, Omer Tripp:
Automatic Generation of Precise and Useful Commutativity Conditions. TACAS (1) 2018: 115-132
2017
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/AydinPTFP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AydinPTFP17
Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia:
Visual Configuration of Mobile Privacy Policies. FASE 2017: 338-355
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SubramanianBGT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SubramanianBGT17
Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp:
A solver for a theory of string and bit-vectors. ICSE (Companion Volume) 2017: 124-126
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BasetLST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BasetLST17
Salman Abdul Baset, Shih-Wei Li, Philippe Suter, Omer Tripp:
Identifying Android library dependencies in the presence of code obfuscation and minimization. ICSE (Companion Volume) 2017: 250-252
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/PiorkowskiPHPBT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/PiorkowskiPHPBT17
David Piorkowski, Sean Penney, Austin Z. Henley, Marco Pistoia, Margaret M. Burnett, Omer Tripp, Pietro Ferrara:
Foraging goes mobile: Foraging while debugging on mobile devices. VL/HCC 2017: 9-17
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/FerraraT0K17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/FerraraT0K17
Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen:
Using Abstract Interpretation to Correct Synchronization Faults. VMCAI 2017: 187-208
2016
[c38]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/acsac/TsankovPTVF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/TsankovPTVF16
Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara:
FASE: functionality-aware security enforcement. ACSAC 2016: 471-483
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LubenskyPLT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LubenskyPLT16
David M. Lubensky, Marco Pistoia, Ching-Yung Lin, Omer Tripp:
Cognitive mobile security: invited conference keynote. MOBILESoft 2016: 267-268
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TrippPFR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TrippPFR16
Omer Tripp, Marco Pistoia, Pietro Ferrara, Julia Rubin:
Pinpointing mobile malware using code analysis. MOBILESoft 2016: 275-276
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LigmanPTT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LigmanPTT16
Joe W. Ligman, Marco Pistoia, Omer Tripp, Gegi Thomas:
Improving design validation of mobile application user interface implementation. MOBILESoft 2016: 277-278
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChakrabortyT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChakrabortyT16
Supriyo Chakraborty, Omer Tripp:
Eavesdropping and obfuscation techniques for smartphones. MOBILESoft 2016: 291-292
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BaludaPCT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BaludaPCT16
Mauro Baluda, Marco Pistoia, Paul C. Castro, Omer Tripp:
A framework for automatic anomaly detection in mobile applications. MOBILESoft 2016: 297-298
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/0010TZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/0010TZ16
Peng Liu, Omer Tripp, Xiangyu Zhang:
IPA: improving predictive analysis with pointer analysis. ISSTA 2016: 59-69
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/SamakTR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/SamakTR16
Malavika Samak, Omer Tripp, Murali Krishna Ramanathan:
Directed synthesis of failing concurrent executions. OOPSLA 2016: 430-446
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/WeiTRD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/WeiTRD16
Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby:
Revamping JavaScript static analysis via localization and remediation of root causes of imprecision. SIGSOFT FSE 2016: 487-498
2015
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/FerraraTP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/FerraraTP15
Pietro Ferrara, Omer Tripp, Marco Pistoia:
MorphDroid: Fine-grained Privacy Verification. ACSAC 2015: 371-380
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ZhengGSTDZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ZhengGSTDZ15
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang:
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints. CAV (1) 2015: 235-254
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cisim/BarbonCFPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cisim/BarbonCFPT15
Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp:
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis. CISIM 2015: 3-23
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/CentonzePT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/CentonzePT15
Paolina Centonze, Marco Pistoia, Omer Tripp:
Access-rights Analysis in the Presence of Subjects. ECOOP 2015: 222-246
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TrippPC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TrippPC15
Omer Tripp, Marco Pistoia, Paolina Centonze:
Application- and User-Sensitive Privacy Enforcement in Mobile Systems. MOBILESoft 2015: 162-163
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/HayTP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/HayTP15
Roee Hay, Omer Tripp, Marco Pistoia:
Dynamic detection of inter-application communication vulnerabilities in Android. ISSTA 2015: 118-128
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/mdm/PistoiaTCL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mdm/PistoiaTCL15
Marco Pistoia, Omer Tripp, Paolina Centonze, Joseph W. Ligman:
Labyrinth: Visually Configurable Data-Leakage Detection in Mobile Applications. MDM (1) 2015: 279-286
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/PistoiaTFC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/PistoiaTFC15
Marco Pistoia, Omer Tripp, Pietro Ferrara, Paolina Centonze:
Automatic detection, correction, and visualization of security vulnerabilities in mobile apps. MobileDeLi 2015: 35-36
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BrutschyFTP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BrutschyFTP15
Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia:
ShamDroid: gracefully degrading functionality in the presence of limited resource access. OOPSLA 2015: 316-331
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/0010ZTZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/0010ZTZ15
Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng:
Light: replay via tightly bounded recording. PLDI 2015: 55-64
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/CortesiFPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/CortesiFPT15
Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp:
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. VMCAI 2015: 61-79
2014
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/TrippGPA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/TrippGPA14
Omer Tripp, Salvatore Guarnieri, Marco Pistoia, Aleksandr Y. Aravkin:
ALETHEIA: Improving the Usability of Static Security Analysis. CCS 2014: 762-774
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/TrippFP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/TrippFP14
Omer Tripp, Pietro Ferrara, Marco Pistoia:
Hybrid security analysis of web JavaScript code via dynamic partial evaluation. ISSTA 2014: 49-59
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/PistoiaT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/PistoiaT14
Marco Pistoia, Omer Tripp:
Integrating Security, Analytics and Application Management into the Mobile Development Lifecycle. MobileDeLi 2014: 17-18
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/LiuTZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/LiuTZ14
Peng Liu, Omer Tripp, Xiangyu Zhang:
Flint: fixing linearizability violations. OOPSLA 2014: 543-560
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/0010TZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/0010TZ14
Peng Liu, Omer Tripp, Charles Zhang:
Grail: context-aware fixing of concurrency bugs. SIGSOFT FSE 2014: 318-329
[c13]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/TrippR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/TrippR14
Omer Tripp, Julia Rubin:
A Bayesian Approach to Privacy Enforcement in Smartphones. USENIX Security Symposium 2014: 175-190
2013
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/TrippPCCG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/TrippPCCG13
Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri:
Andromeda: Accurate and Scalable Security Analysis of Web Applications. FASE 2013: 210-225
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/TrippWG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/TrippWG13
Omer Tripp, Omri Weisman, Lotem Guy:
Finding your way in the testing jungle: a learning approach to web security testing. ISSTA 2013: 347-357
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/TrippKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/TrippKS13
Omer Tripp, Eric Koskinen, Mooly Sagiv:
Turning nondeterminism into parallelism. OOPSLA 2013: 589-604
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/TrippR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/TrippR13
Omer Tripp, Noam Rinetzky:
Tightfit: adaptive parallelization with foresight. ESEC/SIGSOFT FSE 2013: 169-179
2012
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/TrippMFS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/TrippMFS12
Omer Tripp, Roman Manevich, John Field, Mooly Sagiv:
JANUS: exploiting parallelism via hindsight. PLDI 2012: 145-156
2011
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/TateishiPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/TateishiPT11
Takaaki Tateishi, Marco Pistoia, Omer Tripp:
Path- and index-sensitive string analysis based on monadic second-order logic. ISSTA 2011: 166-176
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GuarnieriPTDTB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GuarnieriPTDTB11
Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg:
Saving the world wide web from vulnerable JavaScript. ISSTA 2011: 177-187
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/TrippYFS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/TrippYFS11
Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv:
HAWKEYE: effective discovery of dataflow impediments to parallelization. OOPSLA 2011: 207-224
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/SridharanAPGTB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/SridharanAPGTB11
Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg:
F4F: taint analysis of framework-based web applications. OOPSLA 2011: 1053-1068
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/LiangTN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/LiangTN11
Percy Liang, Omer Tripp, Mayur Naik:
Learning minimal abstractions. POPL 2011: 31-42
2010
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/LiangTNS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/LiangTNS10
Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv:
A dynamic evaluation of the precision of static heap abstractions. OOPSLA 2010: 411-427
2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/TrippPFSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/TrippPFSW09
Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman:
TAJ: effective taint analysis of web applications. PLDI 2009: 87-97

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2016
[e2]
- view
- export record
  dblp key:
  - conf/issta/2016cstva
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/2016cstva
Omer Tripp, Christoph M. Wintersteiger:
Proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis co-located with The International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany, July 17th, 2016. CEUR Workshop Proceedings 1639, CEUR-WS.org 2016 [contents]
2014
[e1]
- view
- export record
  dblp key:
  - conf/ecoop/2014plas
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/2014plas
Alejandro Russo, Omer Tripp:
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014. ACM 2014, ISBN 978-1-4503-2862-3 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2022
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-04432
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-04432
Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson:
Static Analysis for AWS Best Practices in Python Code. CoRR abs/2205.04432 (2022)
2018
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-08748
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-08748
Kshitij Bansal, Eric Koskinen, Omer Tripp:
Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version). CoRR abs/1802.08748 (2018)
2016
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SubramanianBZTG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SubramanianBZTG16
Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh:
A Solver for a Theory of Strings and Bit-vectors. CoRR abs/1605.09446 (2016)
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/DolbyGMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/DolbyGMT16
Julian Dolby, Orna Grumberg, Peter Müller, Omer Tripp:
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201). Dagstuhl Reports 6(5): 56-71 (2016)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.