BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × The Netherlands
1 × USA
Collaborated with:
W.D.Meuter C.D.Roover C.Noguera Q.Stievenart V.Jonckers Q.Stiévenart
Talks about:
program (3) javascript (2) abstract (2) higher (2) detect (2) order (2) interpret (1) parallel (1) function (1) determin (1)

Person: Jens Nicolay

DBLP DBLP: Nicolay:Jens

Contributed to:

PPDP 20152015
SCAM 20152015
SCAM 20132013
SCAM 20112011
ECOOP 20172017

Wrote 5 papers:

PPDP-2015-StievenartNMR #abstract interpretation #concurrent #debugging #detection #higher-order #source code
Detecting concurrency bugs in higher-order programs through abstract interpretation (QS, JN, WDM, CDR), pp. 232–243.
SCAM-2015-NicolayNRM #detection #javascript
Detecting function purity in JavaScript (JN, CN, CDR, WDM), pp. 101–110.
SCAM-2013-NicolayNRM #javascript #type inference #using
Determining dynamic coupling in JavaScript using object type inference (JN, CN, CDR, WDM), pp. 126–135.
SCAM-2011-NicolayRMJ #automation #higher-order #parallel #source code
Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs (JN, CDR, WDM, VJ), pp. 185–194.
ECOOP-2017-StievenartNMR #abstraction #source code #static analysis
Mailbox Abstractions for Static Analysis of Actor Programs (QS, JN, WDM, CDR), p. 30.

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.