Concepedia

Eric Lahtinen

EL

5

Publications

217

Citations

5

H-Index

2014

Active since

Affiliations

Massachusetts Institute of Technology(Current)

Eric Lahtinen is an author at Massachusetts Institute of Technology specializing in engineering, program analysis, and software testing.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisVerificationFormal MethodsSoftware DesignSystem SoftwareFormal Verification

Publications per year

2014–2017

5

Publications

5

Automatic error elimination by horizontal code transfer across multiple applications

Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long et al. · 2015 · 114 citations · Full text

Software Maintenance, Engineering, Error Control Technique +22

Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement

Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse et al. · 2015 · 40 citations · Full text

Branch-and-bound Algorithm, Engineering, Verification +21

Automatic error elimination by horizontal code transfer across multiple applications

Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long et al. · ACM SIGPLAN Notices · 2015 · 29 citations · Full text

Software Maintenance, Engineering, Error Control Technique +22

CodeCarbonCopy

Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden et al. · 2017 · 18 citations · Full text

Engineering, Data Deduplication, Software Engineering +17

Automatic Error Elimination by Multi-Application Code Transfer

Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long et al. · DSpace@MIT (Massachusetts Institute of Technology) · 2014 · 16 citations · Full text

Rows per page

1–5 of 5