UB Paderborn / Katalog / Suche / in CDI

LOCKSMITH: Practical Static Race Detection for C

ACM transactions on programming languages and systems, 2011, Vol.33 (1), p.1-55

2011

Volltextzugriff (PDF)

An empirical assessment of machine learning approaches for triaging reports of static analysis tools

Empirical software engineering : an international journal, 2023-03, Vol.28 (2), p.28, Article 28

2023

Volltextzugriff (PDF)

SATune: a study-driven auto-tuning approach for configurable software verification tools

2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.330-342

2021

Volltextzugriff (PDF)

An empirical study of adaptive concretization for parallel program synthesis

Formal methods in system design, 2017-03, Vol.50 (1), p.75-95

2017

Volltextzugriff (PDF)

Kitsune: Efficient, General-Purpose Dynamic Software Updating for C

ACM transactions on programming languages and systems, 2014-10, Vol.36 (4), p.1-38, Article 13

2014

Volltextzugriff (PDF)

Checking Type Safety of Foreign Function Calls

ACM transactions on programming languages and systems, 2008-07, Vol.30 (4), p.1-63

2008

Volltextzugriff (PDF)

A Toolkit for Automated Testing of Dafny

NASA Formal Methods, 2023, Vol.13903, p.397-413

2023

Volltextzugriff (PDF)

Flow-insensitive type qualifiers

ACM transactions on programming languages and systems, 2006-11, Vol.28 (6), p.1035-1087

2006

Volltextzugriff (PDF)

A comparison of bug finding tools for Java

15th International Symposium on Software Reliability Engineering, 2004, p.245-256

2004

Volltextzugriff (PDF)

From program verification to program synthesis

SIGPLAN notices, 2010-01, Vol.45 (1), p.313-326

2010

Volltextzugriff (PDF)

SimTyper: sound type inference for Ruby using type equality prediction

Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-27

2021

Volltextzugriff (PDF)

Parallel Detection of Violations of Color Constancy

Proceedings of the National Academy of Sciences - PNAS, 2001-07, Vol.98 (14), p.8151-8156

2001

Volltextzugriff (PDF)

Absynthe: Abstract Interpretation-Guided Synthesis

Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1584-1607, Article 171

2023

Volltextzugriff (PDF)

Dr. Android and Mr. Hide: fine-grained permissions in android applications

Proceedings of the second ACM workshop on Security and privacy in smartphones and mobile devices, 2012, p.3-14

2012

Volltextzugriff (PDF)

An Autoethnography: Culturally Responsive School Leadership Through the Conscientized Critical Lens of an African American Male School Administrator

Foster, Jeffrey S

2023

Volltextzugriff (PDF)

Dynamic inference of static types for ruby

SIGPLAN notices, 2011-01, Vol.46 (1), p.459-472

2011

Volltextzugriff (PDF)

Symbolic security analysis of ruby-on-rails web applications

Proceedings of the 17th ACM conference on Computer and communications security, 2010, p.585-594

2010

Volltextzugriff (PDF)

Path-based inductive synthesis for program inversion

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011, p.492-503

2011

Volltextzugriff (PDF)

Program synthesis with algebraic library specifications

Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-25

2019

Volltextzugriff (PDF)

Lawmaking and Legislators in Pennsylvania, Volume 2, 1710-1756: A Biographical Dictionary

2017

Volltextzugriff (PDF)

Profile-guided static typing for dynamic scripting languages

SIGPLAN notices, 2009-10, Vol.44 (10), p.283-300

2009

Volltextzugriff (PDF)

Type qualifier inference for java

Proceedings of the 2007 OOPSLA Conference; Montreal; Canada; 21-25 Oct. 2007, 2007-10, Vol.42 (10), p.321-336

2007

Volltextzugriff (PDF)

Contextual effects for version-consistent dynamic software updating and safe concurrent programming

SIGPLAN notices, 2008-01, Vol.43 (1), p.37-49

2008

Volltextzugriff (PDF)

LOCKSMITH: Practical static race detection for C

ACM transactions on programming languages and systems, 2011-01, Vol.33 (1)

2011

Volltextzugriff (PDF)

Type qualifier inference for java

Conference on Object Oriented Programming Systems Languages and Applications: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications; 21-25 Oct. 2007, 2007, p.321-336

2007

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

LOCKSMITH: Practical Static Race Detection for C

An empirical assessment of machine learning approaches for triaging reports of static analysis tools

SATune: a study-driven auto-tuning approach for configurable software verification tools

An empirical study of adaptive concretization for parallel program synthesis

Kitsune: Efficient, General-Purpose Dynamic Software Updating for C

Checking Type Safety of Foreign Function Calls

A Toolkit for Automated Testing of Dafny

Flow-insensitive type qualifiers

A comparison of bug finding tools for Java

From program verification to program synthesis

SimTyper: sound type inference for Ruby using type equality prediction

Parallel Detection of Violations of Color Constancy

Absynthe: Abstract Interpretation-Guided Synthesis

Dr. Android and Mr. Hide: fine-grained permissions in android applications

An Autoethnography: Culturally Responsive School Leadership Through the Conscientized Critical Lens of an African American Male School Administrator

Dynamic inference of static types for ruby

Symbolic security analysis of ruby-on-rails web applications

Path-based inductive synthesis for program inversion

Program synthesis with algebraic library specifications

Lawmaking and Legislators in Pennsylvania, Volume 2, 1710-1756: A Biographical Dictionary

Profile-guided static typing for dynamic scripting languages

Type qualifier inference for java

Contextual effects for version-consistent dynamic software updating and safe concurrent programming

LOCKSMITH: Practical static race detection for C

Type qualifier inference for java

Aktive Filter

Suchergebnisse filtern