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 × Canada
1 × China
1 × Switzerland
10 × USA
2 × Ireland
Collaborated with:
N.Cooprider Y.Chen E.Eide U.Duongsaa X.Yang A.Reid A.Groce C.Zhang N.P.Lopes J.Lee C.Hur D.Menendez S.Nagarakatte W.Dietz P.Li V.S.Adve J.Rafkind A.Wick M.Flatt J.Lepreau M.A.Alipour O.Gnawali M.A.Kazandjieva P.Levis P.Cuoq C.Ellison R.J.0002 Zhengyang Liu W.Wong X.Fern Yoonseung Kim Youngju Song S.Das David Majnemer
Talks about:
softwar (3) compil (3) analyz (3) embed (3) test (3) understand (2) abstract (2) system (2) static (2) reduct (2)

Person: John Regehr

DBLP DBLP: Regehr:John

Facilitated 1 volumes:

LCTES 2008Ed

Contributed to:

PLDI 20152015
ICST 20142014
PLDI 20132013
ICSE 20122012
ISSTA 20122012
PLDI 20122012
PLDI 20112011
ISMM 20092009
LCTES 20092009
SOSP 20092009
PLDI 20072007
LCTES 20062006
LCTES 20052005
ASPLOS 20042004
ICSE 20022002
OOPSLA 20182018
PLDI 20172017

Wrote 18 papers:

PLDI-2015-LopesMNR #optimisation
Provably correct peephole optimizations with alive (NPL, DM, SN, JR), pp. 22–32.
ICST-2014-GroceAZCR #reduction #testing
Cause Reduction for Quick Testing (AG, MAA, CZ, YC, JR), pp. 243–252.
PLDI-2013-ChenGZWFER #compilation #fuzzing
Taming compiler fuzzers (YC, AG, CZ, WKW, XF, EE, JR), pp. 197–208.
ICSE-2012-DietzLRA #c #c++ #comprehension #integer
Understanding integer overflow in C/C++ (WD, PL, JR, VSA), pp. 760–770.
ISSTA-2012-GroceZECR #testing
Swarm testing (AG, CZ, EE, YC, JR), pp. 78–88.
PLDI-2012-RegehrCCEEY #c #compilation #debugging #reduction #testing
Test-case reduction for C compiler bugs (JR, YC, PC, EE, CE, XY), pp. 335–346.
PLDI-2011-YangCER #c #compilation #comprehension #debugging
Finding and understanding bugs in C compilers (XY, YC, EE, JR), pp. 283–294.
ISMM-2009-RafkindWRF #c #garbage collection #precise
Precise garbage collection for C (JR, AW, JR, MF), pp. 39–48.
LCTES-2009-YangCR #ram #stack
Eliminating the call stack to save RAM (XY, NC, JR), pp. 60–69.
SOSP-2009-ChenGKLR #fault #network
Surviving sensor network software faults (YC, OG, MAK, PL, JR), pp. 235–246.
PLDI-2007-CoopriderR #ram
Offline compression for on-chip ram (NC, JR), pp. 363–372.
LCTES-2006-CoopriderR #abstract domain #embedded
Pluggable abstract domains for analyzing embedded software (NC, JR), pp. 44–53.
LCTES-2006-RegehrD #embedded
Deriving abstract transfer functions for analyzing embedded software (JR, UD), pp. 34–43.
LCTES-2005-RegehrD
Preventing interrupt overload (JR, UD), pp. 50–58.
ASPLOS-2004-RegehrR #automation #embedded #named
HOIST: a system for automatically deriving static analyzers for embedded systems (JR, AR), pp. 133–143.
ICSE-2002-EideRRL #design pattern
Static and dynamic structure in design patterns (EE, AR, JR, JL), pp. 208–218.
OOPSLA-2018-LeeHJLRL #low level #optimisation
Reconciling high-level optimizations and low-level code in LLVM (JL, CKH, RJ0, ZL, JR, NPL), p. 28.
PLDI-2017-LeeKSHDMRL #behaviour
Taming undefined behavior in LLVM (JL, YK, YS, CKH, SD, DM, JR, NPL), pp. 633–647.
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.