John L. Singleton

Registered user since Mon 25 Apr 2016

Name: John L. Singleton

Country: United States

Affiliation: SOAR Technology, Inc.

Personal website: http://cs.ucf.edu/~jls

Research interests: Programming languages, static analysis, software engineering, language-based security, formal methods

Contributions

FTfJP 2020Committee Member in Program Committee within the FTfJP-track
ICSE 2020Publicity Co-Chair in Organizing Committee
ESEC/FSE 2018Web Chair in Organizing Committee
SPLASH 2017Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
* ICSE 2018 *Author of Poster T48: An Algorithm and Tool to Infer Practical Postconditions within the Posters -track
SPLASH 2016Programme Committee in Program Committee within the OOPSLA Artifacts-track