BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Ireland
1 × Poland
1 × United Kingdom
2 × France
2 × Italy
4 × Canada
6 × USA
Collaborated with:
C.Flanagan J.C.Mitchell J.Yi C.Sadowski M.Burrows J.L.Wiener S.Qadeer O.Agesen Dustin Rhodes T.Disney J.R.Wilcox P.Finch
Talks about:
dynam (9) race (8) program (7) detect (6) type (6) java (5) multithread (3) languag (3) checker (3) check (3)

♂ Person: Stephen N. Freund

DBLP DBLP: Freund:Stephen_N=

Facilitated 3 volumes:

PASTE 2013Ed
GTTSE 2007SciCo
GTTSE 2005SciCo

Contributed to:

ECOOP 20132013
ISSTA 20122012
PASTE 20102010
PLDI 20102010
ESOP 20092009
PLDI 20092009
PLDI 20082008
FATES/RV 20062006
POPL 20042004
SAS 20042004
CC 20032003
ESOP 20022002
PASTE 20012001
PLDI 20002000
OOPSLA 19991999
OOPSLA 19981998
OOPSLA 19971997
ASE 20152015
PLDI 20172017

Wrote 19 papers:

ECOOP-2013-FlanaganF #detection #named
RedCard: Redundant Check Elimination for Dynamic Race Detectors (CF, SNF), pp. 255–280.
ISSTA-2012-YiDFF #concurrent #java #thread
Cooperative types for controlling thread interference in Java (JY, TD, SNF, CF), pp. 232–242.
PASTE-2010-FlanaganF #concurrent #dynamic analysis #framework #source code
The RoadRunner dynamic analysis framework for concurrent programs (CF, SNF), pp. 1–8.
PLDI-2010-FlanaganF #detection #memory management
Adversarial memory for detecting destructive races (CF, SNF), pp. 244–254.
ESOP-2009-SadowskiFF #named #parallel #source code #thread
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs (CS, SNF, CF), pp. 394–409.
PLDI-2009-FlanaganF #concurrent #detection #named #performance #precise
FastTrack: efficient and precise dynamic race detection (CF, SNF), pp. 121–133.
PLDI-2008-FlanaganFY #named #parallel #source code #thread
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs (CF, SNF, JY), pp. 293–303.
FATES-RV-2006-FlanaganF #architecture
Dynamic Architecture Extraction (CF, SNF), pp. 209–224.
POPL-2004-FlanaganF #named #parallel #source code #thread
Atomizer: a dynamic atomicity checker for multithreaded programs (CF, SNF), pp. 256–267.
SAS-2004-FlanaganF #type inference
Type Inference Against Races (CF, SNF), pp. 116–132.
CC-2003-BurrowsFW #runtime #source code #type checking
Run-Time Type Checking for Binary Programs (MB, SNF, JLW), pp. 90–105.
ESOP-2002-FlanaganFQ #source code #thread #verification
Thread-Modular Verification for Shared-Memory Programs (CF, SNF, SQ), pp. 262–277.
PASTE-2001-FlanaganF #detection #scalability #source code
Detecting race conditions in large programs (CF, SNF), pp. 90–96.
PLDI-2000-FlanaganF #concurrent #detection #java #type system
Type-based race detection for Java (CF, SNF), pp. 219–232.
OOPSLA-1999-FreundM #bytecode #framework #java #verification
A Formal Framework for the Java Bytecode Language and Verifier (SNF, JCM), pp. 147–166.
OOPSLA-1998-FreundM #bytecode #java #type system
A Type System for Object Initialization in the Java Bytecode Language (SNF, JCM), pp. 310–327.
OOPSLA-1997-AgesenFM #java
Adding Type Parameterization to the Java Language (OA, SNF, JCM), pp. 49–65.
ASE-2015-WilcoxFFF #array #concurrent #detection #precise
Array Shadow State Compression for Precise Dynamic Race Detection (T) (JRW, PF, CF, SNF), pp. 155–165.
PLDI-2017-RhodesFF #concurrent #detection #named #static analysis
BigFoot: static check placement for dynamic race detection (DR, CF, SNF), pp. 141–156.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.